API

GroebnerBasisOptions

src/algebra/algorithms/groebnerBase.ts:53

Controls monomial order, result normalization, pair strategy, and deterministic budgets.

Members

maxBasisSize: numberProperty

Hard cap on basis size (including initial generators).

maxPairsPopped: numberProperty

Hard cap on Buchberger pair iterations (deterministic, not time-based).

order: MonomialOrderProperty

Monomial order; defaults to

`LEX`

. Variable priority follows exponent index order.

reduced: booleanProperty

If true (default), return a reduced/normalized basis (canonicalize/interreduce/primitive normalize). If false, returns the raw Buchberger basis as produced by the pair loop.

strategy: "sugar" | "fifo"Property

Pair selection strategy. - 'sugar' (default): use sugar degree heuristic for better performance - 'fifo': simple first-in first-out (original behavior)