Math.CommutativeAlgebra.GroebnerBasis
gb
memberI
sumI
productI
intersectI
quotientI
eliminate
mbasisQA
ltIdeal
hilbertFunQA
hilbertSeriesQA
hilbertSeriesQA'
hilbertPolyQA
hilbertPolyQA'