isZero()

template<template< typename > class Queue>

bool NaiveDedupPolynomialHeap< Queue >::isZero ( )

inlineoverridevirtual

Implements PolynomialHeap.

Definition at line 557 of file NCReduction.cpp.

  {
    // idempotent function.
    while (not mQueue.empty())
      {
        Entry e = mQueue.top();
        if (mRing.coefficientRing()->is_zero(e.second))
          mQueue.pop();
        else
          return false;
      }
    return true;
  }

References mQueue, and mRing.

Referenced by value().