arguments: monideal >> monideal
Yields a monomial ideal whose monomials are in one to one correspondence with the associated primes of minimal codimension. Each monomial corresponds to the prime monomial ideal generated by the variables its support.