Implements PolynomialHeap.
Definition at line 635 of file NCReduction.cpp.
References mMap, and mMonomialSpace.