quotient_as_vp()

void ResMonoidSparse::quotient_as_vp ( res_const_packed_monomial m, res_const_packed_monomial n, res_varpower_monomial result ) const

inline

Definition at line 519 of file res-moninfo-sparse.hpp.

  {
    ncalls_quotient_as_vp++;
 
    const int* vm = m + mFirstVar;
    const int* vn = n + mFirstVar;
    const int* vend = n + *n;
    int* vresult = result + mFirstVar;
    for (; vn != vend; ++vn)
      {
        if (*vn > *vm) continue;
        if (*vn == *vm) ++vm;
        *vresult++ = *vm++;
      }
    // now make these into a varpower monomial.
    int len = 0;
    res_varpower_word* r = result + 1;
 
    int currentvar = result[mFirstVar];
    int deg = 1;
    for (auto p = result + mFirstVar + 1; p != vresult; ++p)
      {
        if (*p == currentvar)
          deg++;
        else
          {
            *r++ = currentvar;
            *r++ = deg;
            len++;
            currentvar = *p;
            deg = 1;
          }
      }
    result[0] = len;
  }

References mFirstVar, ncalls_quotient_as_vp, p, and result().