quotient_as_vp()

void MonomialInfo::quotient_as_vp ( const_packed_monomial a, const_packed_monomial b, varpower_monomial result, int & deg_result, bool & are_disjoint ) const

inline

Definition at line 685 of file moninfo.hpp.

  {
    varpower_word deg = mModuleHeftDegrees[get_component(a)];
    // sets result, deg, are_disjoint
    ncalls_quotient_as_vp++;
    are_disjoint = true;
    a += firstvar;
    b += firstvar;
    int len = 0;
    varpower_word *r = result + 1;
    for (int i = nvars - 1; i >= 0; --i)
      {
        if (a[i] != 0 && b[i] != 0) are_disjoint = false;
        long c = a[i] - b[i];
        if (c > 0)
          {
            *r++ = i;
            *r++ = c;
            deg += c * mHeftDegrees[i];
            len++;
          }
      }
    result[0] = len;
    deg_result = static_cast<int>(deg);
  }

References firstvar, get_component(), mHeftDegrees, mModuleHeftDegrees, ncalls_quotient_as_vp, nvars, and result().