monomial_part_is_equal()

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

inline

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

  {
    // Don't consider component
    ncalls_is_equal++;
    if (*m != *n) return false;
    if (m[1] != n[1]) return false;
    int len = *m;
    for (int j = len; j > 0; --j)
      if (*m++ != *n++) return false;
    ncalls_is_equal_true++;
    return true;
  }

References ncalls_is_equal, and ncalls_is_equal_true.