from_varpower_monomial()

void ResMonoidSparse::from_varpower_monomial ( res_const_varpower_monomial m, component_index comp, res_packed_monomial result ) const

inline

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

  {
    // 'result' must have enough space allocated
    ncalls_from_varpower++;
    int len = 0;
    int* r = result + mFirstVar;
    for (index_res_varpower_monomial j = m; j.valid(); ++j)
      {
        res_varpower_word v = j.var();
        res_varpower_word e = j.exponent();
        for (int i = 0; i < e; i++) *r++ = v;
        len += e;
      }
    result[0] = len;
    result[2] = comp;
    setWeightAndHash(result);
  }

References mFirstVar, ncalls_from_varpower, result(), and setWeightAndHash().