Implements PolynomialHeap.
Definition at line 535 of file NCReduction.cpp.
References mMonomialSpace, mQueue, and NaiveDedupPolynomialHeap().
Referenced by addPolynomial(), and value().