pushForward1 => MonomialOrder
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
See also
EliminationOrder
.