Definition at line 626 of file NCReduction.cpp.
References mMap, mMonomEq, and mRing.
Referenced by addPolynomial(), addPolynomial(), MapPolynomialHeap(), and operator=().