Function
src/algebra/algorithms/groebnerBase.ts:910eliminate
eliminate(polys: MultiPoly[], vars: string[], keepVars: string[], opts?: Omit<GroebnerBasisOptions, "order">): MultiPoly[]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 | MultiPoly[] | Exact integer-coefficient generators. |
vars | string[] | All variables in exponent-index order. Variables to eliminate must precede retained variables for lexicographic elimination. |
keepVars | 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
MultiPoly[] — New basis polynomials involving only retained variables.