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