Definition at line 162 of file res-monomial-sorter.hpp.
References mMonoid, mMonoms, and setMonoms().
Referenced by check_poly().