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 n -- elimination order, eliminating first n variables
  • ProductOrder{n1, n2, ..., nv} -- product order

    • Eventually, more general monomial orders will be allowed.

    Go to main index.

    Go to concepts index.