setWeightAndHash()

void ResMonoidSparse::setWeightAndHash ( res_packed_monomial result ) const

inline

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

  {
    // assumes the following is set already:
    //  result[0] -- length
    //  result[2] -- component
    //  result[mFirstVar..len-1] -- monomial part
    // sets:
    //  result[1] -- hash code
    //  result[FirstWeight..mFirstVar-1] -- weight vector values
    const int* wt = mWeightVectors.data();
    for (int j = 0; j < mNumWeights; j++, wt += mNumVars)
      {
        res_monomial_word val = 0;
        for (int* v = result + mFirstVar; v != result + *result; ++v)
          val += wt[*v];
        result[mFirstWeight + j] = val;
      }
    res_monomial_word val = 0;
    for (int* v = result + mFirstVar; v != result + *result; ++v)
      val += hashfcn[*v];
    result[1] = val;
  }

References hashfcn, mFirstVar, mFirstWeight, mNumVars, mNumWeights, mWeightVectors, and result().

Referenced by from_expvector(), and from_varpower_monomial().