MonomialOrder
MonomialOrder
-- a key used with monoids to indicate a monomial order other than the default (graded reverse lexicographic)
Values:
GRevLex
-- graded reverse lexicographic order (the default)
GLex
-- graded lexicographic order
Lex
-- lexicographic order
RevLex
-- reverse lexicographic order
Eliminate
-- elimination order
ProductOrder
-- product order
Eventually, more general monomial orders will be allowed.