— irreducible decomposition of monomial ideals by inductive splitting and deletion of redundant factors

Class:
Algorithm