Deterministic work counters captured when a Groebner resource budget is exceeded.

Members

basisAppends: numberProperty

Nonzero reduced S-polynomials appended to the working basis.

pairsPopped: numberProperty

Critical pairs removed from the processing queue.

pairsReducedToZero: numberProperty

Processed pairs whose reduced S-polynomial was zero.

pairsSkippedChain: numberProperty

Pairs skipped by Buchberger's chain criterion.

pairsSkippedProduct: numberProperty

Pairs skipped because their leading monomials are relatively prime.