Monomial divisibility diagrams represent monomial ideals as compact DAGs via maximal subtree sharing, enabling faster membership queries than generator lists with divmasks and delivering speed-ups in Gröbner basis algorithms.
Practical Groebner Basis Computation
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
We report on our experiences exploring state of the art Groebner basis computation. We investigate signature based algorithms in detail. We also introduce new practical data structures and computational techniques for use in both signature based Groebner basis algorithms and more traditional variations of the classic Buchberger algorithm. Our conclusions are based on experiments using our new freely available open source standalone C++ library.
fields
cs.SC 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
A data structure for monomial ideals with applications to signature Gr\"obner bases
Monomial divisibility diagrams represent monomial ideals as compact DAGs via maximal subtree sharing, enabling faster membership queries than generator lists with divmasks and delivering speed-ups in Gröbner basis algorithms.