Definition at line 129 of file res-monomial-sorter.hpp.
Referenced by ordered(), ResMonomialSorter(), setMonoms(), sort(), and toMonomial().