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