Definition at line 216 of file monomial-ideal.cpp.
References MinimalPrimes::codimension(), and ERROR.