Implements PolynomialHeap.
Definition at line 666 of file NCReduction.cpp.
References addTerm(), and MapPolynomialHeap().
Referenced by addPolynomial(), and value().