Implements PolynomialHeap.
Definition at line 1019 of file NCReduction.cpp.
References addPolynomial(), mRing, and PriorityQueuePolynomialHeap().