Definition at line 238 of file NCReduction.cpp.
Referenced by addPolynomial(), addPolynomial(), clear(), isZero(), removeLeadTerm(), TrivialPolynomialHeap(), value(), and viewLeadTerm().