monomial_part_is_equal()

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

inline

Definition at line 296 of file res-moninfo-dense.hpp.

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

References ncalls_is_equal, ncalls_is_equal_true, and nslots.