Definition at line 451 of file monideal.cpp.
References mi, next(), p, and remove1().
Referenced by partition_table::partition().