ProductOrder -- product ordering

ProductOrder -- product ordering

The self initializing type ProductOrder is a member of the class SelfInitializingType. Each object of class ProductOrder is also a member of class BasicList.

More general types (whose methods may also apply) :

BasicList -- the class of all basic lists

ProductOrder{n1, ..., nr} -- an optional argument of MonomialOrder in monoids handled by the engine to indicate that the monomial order is the product of r graded reverse lex orders, each with n1, n2, ..., nr variables.

Caveat:

If the number of degree vectors is greater than one, the grading in each block only uses the first degree vector. This will eventually change.