is_equal()

bool ResMonoidSparse::is_equal ( res_const_packed_monomial m, res_const_packed_monomial n ) const

inline

Definition at line 300 of file res-moninfo-sparse.hpp.

  {
    ncalls_is_equal++;
    if (*m != *n) return false;
    for (int j = *m; j > 0; --j)
      if (*m++ != *n++) return false;
    ncalls_is_equal_true++;
    return true;
  }

References ncalls_is_equal, and ncalls_is_equal_true.