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