Function
src/algebra/algorithms/groebnerBase.ts:887groebnerBasisWithOptions
groebnerBasisWithOptions(polys: readonly SparsePolynomial[], opts?: GroebnerBasisOptions): SparsePolynomial[]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 SparsePolynomial[] | Exact sparse integer-coefficient generators in one ring. |
opts | GroebnerBasisOptions | Ordering, normalization, pair-selection, and deterministic budget options. |
Returns
SparsePolynomial[] — New basis polynomials. Work statistics are exposed only when a budget is
exceeded; successful calls return the basis itself.