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.

Go to main index.

Go to concepts index.