A data structure for monomial ideals with applications to signature Gröbner bases

Pierre Lairez, Rafael Mohr, Théo Ternier

We introduce monomial divisibility diagrams (MDDs), a data structure for monomial ideals that supports insertion of new generators and fast membership tests. MDDs stem from a canon…