inline bool heapCompareFcn::operator()(heap_term &a, heap_term &b) { PolyHeap::stats_static_n_compares++; return R->monomialLT(a.actual, b.actual); }