Math.CommutativeAlgebra.GroebnerBasis

sPoly

isGB

gb1

pairWith

reduce

gb2

(!)

gb2a

gb3

gb4

mergeBy

gb

sugar

cmpNormal

cmpSug

memberGB

memberI

sumI

productI

intersectI

toElimFst

toElimSnd

isElimFst

fromElimSnd

eliminateFst

quotientI

quotientP

eliminate

mbasis

mbasisQA

ltIdeal

numMonomials

hilbertFunQA

hilbertSeriesQA1

hilbertSeriesQA

hilbertSeriesQA'

hilbertPolyQA

hilbertPolyQA'

dim

dim'