value()

Poly * PriorityQueuePolynomialHeap::value ( )

inlineoverridevirtual

Implements PolynomialHeap.

Definition at line 1088 of file NCReduction.cpp.

  {
    Poly* f = new Poly;
    if (mLeadTermSet)
      mQueue.push(mLeadTerm);
    mLeadTermSet = false;
    while (not isZero())
      {
        auto tm = viewLeadTerm();
        mRing.add_to_end(*f, tm.second, tm.first);
        removeLeadTerm();
      }
    addPolynomial(*f);
    return f;
  }

References addPolynomial(), isZero(), mLeadTerm, mLeadTermSet, mQueue, mRing, removeLeadTerm(), and viewLeadTerm().