Singular Manual: Product orderings

| ### B.2.7 Product orderings Let 550#550 and 611#611be two ordered sets of variables, 381#381 a monomial ordering on 551#551 and 612#612 a monomial ordering on 613#613. The product ordering (or block ordering) 614#614 on 615#615 is the following: 616#616 or (617#617 and 618#618). Inductively one defines the product ordering of more than two monomial orderings. In SINGULAR, any of the above global orderings, local orderings or matrix orderings may be combined (in an arbitrary manner and length) to a product ordering. E.g., `(lp(3), M(1, 2, 3, 1, 1, 1, 1, 0, 0), ds(4), ws(1,2,3))` defines: `lp` on the first 3 variables, the matrix ordering `M(1, 2, 3, 1, 1, 1, 1, 0, 0)` on the next 3 variables, `ds` on the next 4 variables and `ws(1,2,3)` on the last 3 variables.

User manual for Singular version 4.4.0, 2024, generated by texi2html.