Definition at line 369 of file NCReduction.cpp.
References mLeadTerm, mLeadTermSet, mQueue, mRing, and zero.
Referenced by addPolynomial(), addPolynomial(), NaivePolynomialHeap(), and operator=().