Implements PolynomialHeap.
Definition at line 379 of file NCReduction.cpp.
References mLeadTermSet, mMonomialSpace, and mQueue.