quotient()

template<class E, bool OC>

void ExponentVector< E, OC >::quotient ( int nvars, ConstExponents a, ConstExponents b, Exponents result )

inlinestatic

Definition at line 159 of file ExponentVector.hpp.

  {
    if constexpr (OC)
      for (int i = nvars; i > 0; i--)
        {
          // TODO: if a,b>=0 always, there would never be an overflow
          assert(*a >= 0 && *b >= 0);
          *result++ = safe::sub_pos(*a++, *b++);
        }
    else
      for (int i = 0; i < nvars; i++)
        {
          Exponent x = *a++;
          Exponent y = *b++;
          *result++ = (x <= y ? 0 : x - y);
        }
  }