next | previous | forward | backward | up | top | index | toc | home

pushForward1(..., MonomialOrder => ...) -- specify the elimination order to use in pushForward1

Description

MonomialOrder => x -- a keyword for an optional argument to pushForward1 which tells which monomial order to use for the Groebner basis computation involved.

Possible values:

  • MonomialOrder => EliminationOrder -- use the natural elimination order (the default)
  • MonomialOrder => ProductOrder -- use the product order
  • MonomialOrder => LexOrder -- use lexical order

Further information

See also