Function
src/algebra/algorithms/groebnerBase.ts:888groebnerBasisWithOptions
groebnerBasisWithOptions(polys: readonly MultiPoly[], opts?: GroebnerBasisOptions): MultiPoly[]Computes a Groebner basis with ordering, strategy, and budget control.
throws
GroebnerBudgetExceeded Thrown after a configured pair-count or basis-size limit is exceeded.
Parameters
| Name | Type | Description |
|---|---|---|
polys | readonly MultiPoly[] | Exact integer-coefficient generators with consistent variable indices. |
opts | GroebnerBasisOptions | Ordering, normalization, pair-selection, and deterministic budget options. |
Returns
MultiPoly[] — New basis polynomials. Work statistics are exposed only when a budget is exceeded; successful calls return the basis itself.