Elimination Order

A monomial ordering (often a block order or a lex order with a chosen variable precedence) engineered so that monomials involving certain 'elimination' variables are larger than any monomial in the remaining variables. Such an order makes elimination of those variables via polynomial basis computations (e.g., Gröbner bases) possible by ensuring leading terms encode eliminated-variable information.