Singular Manual: Product orderings

| ### B.2.7 Product orderings Let 548#548 and 609#609be two ordered sets of variables, 379#379 a monomial ordering on 549#549 and 610#610 a monomial ordering on 611#611. The product ordering (or block ordering) 612#612 on 613#613 is the following: 614#614 or (615#615 and 616#616). 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.3.2, 2023, generated by texi2html.