B.2.7 Product orderings

Let and be two ordered sets of variables, a monomial ordering on and a monomial ordering on . The product ordering (or block ordering) on is the following:
         or ( and ).

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.