divides()

template<class E, bool OC>

bool ExponentVector< E, OC >::divides ( int nvars, ConstExponents a, ConstExponents b )

inlinestatic

Definition at line 138 of file ExponentVector.hpp.

  {
    // we go upward, because some rings have unused variables at the end
    for (int i = 0; i < nvars; i++)
      if (a[i] > b[i]) return false;
    return true;
  }