Definition at line 602 of file NCReduction.cpp.
Referenced by addPolynomial(), isZero(), NaiveDedupPolynomialHeap(), and value().