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

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

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 -- use the natural elmination order in a pushForward1 computation

See also:

Default value: EliminationOrder -- use the natural elmination order in a pushForward1 computation

Function: pushForward1 -- the main computational component of pushForward

Option name: MonomialOrder -- monomial ordering