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'