Function
src/algebra/algorithms/groebnerBase.ts:995reduceByBasis
reduceByBasis(f: SparsePolynomial, basis: readonly SparsePolynomial[], order: MonomialOrder): SparsePolynomialReduces a polynomial by a basis or arbitrary reducer set using fraction-free arithmetic.
remarks
This does not compute or verify a Groebner basis. The result is a canonical ideal
normal form only when basis is already a basis for the selected order.
Parameters
| Name | Type | Description |
|---|---|---|
f | SparsePolynomial | Polynomial to reduce. |
basis | readonly SparsePolynomial[] | Reducers, normally a Groebner basis. |
order | MonomialOrder | Monomial order used to select leading terms. |
Returns
SparsePolynomial — The primitive-normalized remainder.