is_equal()

bool MonomialIdeal::is_equal

(

const MonomialIdeal &

mi

)

const

Definition at line 195 of file monideal.cpp.

{
  if (this == &mi0) return true;
  if (size() != mi0.size()) return false;
  Iterator i = begin();
  Iterator j = mi0.begin();
  Iterator sentinel = end();
  while (i != sentinel)
    {
      const_varpower m = (*i).monom().data();
      const_varpower n = (*j).monom().data();
      if (!varpower::is_equal(m, n)) return false;
      i++;
      j++;
    }
  GC_reachable_here(&mi0);
  return true;
}

References begin(), end(), ExponentList< int, true >::is_equal(), MonomialIdeal(), and size().

Referenced by IM2_MonomialIdeal_is_equal().