Definition at line 266 of file NCReduction.cpp.
267 {
268 int cmp =
mRing.monoid().compare(a.first, b.first);
272
273 std::cout << "Unexpected monomial comparison error in heap." << std::endl << std::flush;
275 }
const FreeAlgebra & mRing
References EQ, EQ, Error, GT, GT, LT, LT, and mRing.