API
src/algebra/algorithms/groebnerBase.ts:39GroebnerStats
Deterministic work counters captured when a Groebner resource budget is exceeded.
Members
basisAppends: numberPropertyNonzero reduced S-polynomials appended to the working basis.
pairsPopped: numberPropertyCritical pairs removed from the processing queue.
pairsReducedToZero: numberPropertyProcessed pairs whose reduced S-polynomial was zero.
pairsSkippedChain: numberPropertyPairs skipped by Buchberger's chain criterion.
pairsSkippedProduct: numberPropertyPairs skipped because their leading monomials are relatively prime.
