Function
src/algebra/algorithms/groebnerBase.ts:909eliminate
eliminate(polys: readonly SparsePolynomial[], vars: readonly string[], keepVars: readonly string[], opts?: Omit<GroebnerBasisOptions, "order">): SparsePolynomial[]Computes the part of the ideal that lies in the polynomial ring generated by keepVars.
throws
GroebnerBudgetExceeded Thrown when a configured budget is exceeded.
Parameters
| Name | Type | Description |
|---|---|---|
polys | readonly SparsePolynomial[] | Exact integer-coefficient generators. |
vars | readonly string[] | All variables in exponent-index order. Variables to eliminate must precede retained variables for lexicographic elimination. |
keepVars | readonly string[] | Variables to retain, expected to be a suffix of vars. |
opts | Omit<GroebnerBasisOptions, "order"> | Reduction, pair strategy, and budgets; order is always LEX. |
Returns
SparsePolynomial[] — New basis polynomials involving only retained variables.