Eliminate -- elimination ordering

Eliminate -- elimination ordering

The self initializing type Eliminate is a member of the class SelfInitializingType. Each object of class Eliminate is also a member of class BasicList.

More general types (whose methods may also apply) :

BasicList -- the class of all basic lists

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.

Methods for using an object of class Eliminate :

expression Eliminate

new Eliminate from ZZ