EliminationOrder
EliminationOrder
-- a value for the
MonomialOrder
option to
pushForward1
which specifies the natural elimination order be used.
