isZero()

bool PriorityQueuePolynomialHeap::isZero ( )

inlineoverridevirtual

Implements PolynomialHeap.

Definition at line 1031 of file NCReduction.cpp.

  {
    if (mLeadTermSet) return false;
    if (mQueue.empty()) return true;
    Entry lt = mQueue.top();
    mQueue.pop();
    while (not mQueue.empty())
      {
        Entry e = mQueue.top();
        if (mRing.monoid().compare(e.first, lt.first) == EQ)
          {
            lt.second = mRing.coefficientRing()->add(lt.second, e.second);
            mQueue.pop();
          }
        else
          {
            if (not mRing.coefficientRing()->is_zero(lt.second))
              {
                mLeadTermSet = true;
                mLeadTerm = lt;
                return false;
              }
            else
              {
                lt = mQueue.top();
                mQueue.pop();
              }
          }
      }
    if (not mRing.coefficientRing()->is_zero(lt.second))
      {
        mLeadTermSet = true;
        mLeadTerm = lt;
        return false;
      }
    return true;
  }

References EQ, mLeadTerm, mLeadTermSet, mQueue, and mRing.

Referenced by removeLeadTerm(), value(), and viewLeadTerm().