to_varpower_monomial()

void ResMonoidSparse::to_varpower_monomial ( res_const_packed_monomial m, res_varpower_monomial result ) const

inline

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

  {
    // 'result' must have enough space allocated
    ncalls_to_varpower++;
    int len = 0;
    res_varpower_word* r = result + 1;
 
    if (mFirstVar != *m)  // ie, m != 1.
      {
        int currentvar = m[mFirstVar];
        int deg = 1;
        const int* mend = m + *m;
        for (auto p = m + mFirstVar + 1; p != mend; ++p)
          {
            if (*p == currentvar)
              deg++;
            else
              {
                *r++ = currentvar;
                *r++ = deg;
                len++;
                currentvar = *p;
                deg = 1;
              }
          }
      }
    result[0] = len;
  }

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