Function
src/algebra/algorithms/groebnerBase.ts:996reduceByBasis
reduceByBasis(f: MultiPoly, basis: readonly MultiPoly[], order: MonomialOrder): MultiPolyReduces 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. Reduction works from normalized polynomial copies, leaving the supplied objects alone.
Parameters
| Name | Type | Description |
|---|---|---|
f | MultiPoly | Polynomial to reduce. |
basis | readonly MultiPoly[] | Reducers, normally a Groebner basis. |
order | MonomialOrder | Monomial order used to select leading terms. |
Returns
MultiPoly — The primitive-normalized remainder.