Eliminate
Eliminate n -- an optional argument of
MonomialOrder in monoids handled by the engine to
indicate that the monomial order is the elimination order eliminating the
first n variables, refined by the graded reverse lexicographic order.
Caveat: If the number of degree vectors is greater than one, this
is currently only graded using the first degree vector. This will
eventually change.
