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