Implements PolynomialHeap.
Definition at line 456 of file NCReduction.cpp.
References isZero(), mLeadTerm, and mLeadTermSet.
Referenced by value().