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