Definition at line 386 of file monoid.cpp.
References monomial_size(), nslots_, and num_parts().
Referenced by Matrix::elim_keep(), Matrix::elim_vars(), and sagbi::subduct().