isZero()

bool MapPolynomialHeap::isZero ( )

inlineoverridevirtual

Implements PolynomialHeap.

Definition at line 686 of file NCReduction.cpp.

  {
    // idempotent function.
    while (not mMap.empty())
      {
        const Entry& e = *(mMap.begin());
        if (mRing.coefficientRing()->is_zero(e.second))
          mMap.erase(mMap.begin());
        else
          return false;
      }
    return true;
  }

References mMap, and mRing.

Referenced by value().