Implements PolynomialHeap.
Definition at line 710 of file NCReduction.cpp.
References addPolynomial(), isZero(), mRing, removeLeadTerm(), and viewLeadTerm().