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