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