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