A library for computing a primary and the irreducible decompositions of a
monomial ideal using several methods.
In this library we also take advantage of the fact that the ideal is
monomial to make some computations that are Grobner free in this case
(radical, intersection, quotient...).