Definition at line 226 of file monoid.hpp.
References EQ, GT, and LT.
Referenced by MarkedGB::add_marked_elems(), check_nterm_multiples(), EngineMonomial::compare(), ChineseRemainder::CRA(), and is_equal().