Definition at line 603 of file NCReduction.cpp.
Referenced by addPolynomial(), clear(), getMemoryUsedInBytes(), getName(), isZero(), NaiveDedupPolynomialHeap(), removeLeadTerm(), and viewLeadTerm().