check_monomial()

bool ResMonoidDense::check_monomial ( res_const_packed_monomial m ) const

inline

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

  {
    // Determine if m represents a well-formed monomial.
    m++;
    for (int j = nslots - 1; j > 0; --j)
      if (mask & (*m++)) return false;
    return true;
  }

References mask, and nslots.

Referenced by mult().