Definition at line 322 of file NCReduction.cpp.
323 {
324 int cmp =
mRing.monoid().compare(a.first, b.first);
328
329 std::cout << "Unexpected monomial comparison error in heap." << std::endl << std::flush;
331 }
const FreeAlgebra & mRing
References EQ, EQ, Error, GT, GT, LT, LT, and mRing.