Definition at line 731 of file NCReduction.cpp.
Referenced by addPolynomial(), addTerm(), isZero(), MapPolynomialHeap(), and value().