from_varpower_monomial()

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

inline

Definition at line 246 of file res-moninfo-dense.hpp.

  {
    // 'result' must have enough space allocated
    ncalls_from_varpower++;
    result[0] = 0;
    result[1] = comp;
    for (int i = 2; i < nslots; i++)
      {
        result[i] = 0;
      }
    for (index_res_varpower_monomial j = m; j.valid(); ++j)
      {
        res_varpower_word v = j.var();
        res_varpower_word e = j.exponent();
        result[firstvar + v] = e;
        if (e == 1)
          result[0] += hashfcn[v];
        else
          result[0] += e * hashfcn[v];
      }
 
    const int* wt = weight_vectors.data();
    for (int j = 0; j < nweights; j++, wt += nvars)
      {
        res_monomial_word val = 0;
        for (index_res_varpower_monomial i = m; i.valid(); ++i)
          {
            auto v = i.var();
            auto e = i.exponent();
            auto w = wt[v];
            if (e == 1)
              val += w;
            else
              val += w * e;
            result[2 + j] = val;
          }
      }
  }

References firstvar, hashfcn, ncalls_from_varpower, nslots, nvars, nweights, result(), and weight_vectors.

Referenced by SchreyerFrame::computeIdealQuotient().