viewLeadTerm()

std::pair< Monom, ring_elem > PriorityQueuePolynomialHeap::viewLeadTerm ( )

inlineoverridevirtual

Implements PolynomialHeap.

Definition at line 1069 of file NCReduction.cpp.

  {
    if (isZero())
      {
        std::cout << "viewLeadTerm called without checking if polynomial is zero" << std::endl;
        assert(false);
      }
    assert(mLeadTermSet);
    return mLeadTerm;
  }

References isZero(), mLeadTerm, and mLeadTermSet.

Referenced by value().