◆ is_divisible_by_var_in_range()

bool ResMonoidDense::is_divisible_by_var_in_range	(	res_const_packed_monomial	monom,
		int	lo,
		int	hi ) const

inline

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

  {
    monom += 2 + nweights;
 
    for (int i = lo; i <= hi; i++)
      if (monom[i] > 0) return false;
    return true;
  }

References nweights.