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