from_expvector()

bool ResMonoidSparse::from_expvector ( res_const_ntuple_monomial e, component_index comp, res_packed_monomial result ) const

inline

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

  {
    // Pack the vector e[0]..e[mNumVars-1],comp.  Create the hash value at the
    // same time.
    ncalls_from_expvector++;
    result[0] = 0;     // length
    result[1] = 0;     // hash value, not set here (other than this...)
    result[2] = comp;  // component
 
    int next_var_slot = mFirstVar;
 
    for (int i = mNumVars - 1; i >= 0; --i)
      {
        if (e[i] > 0)
          {
            for (int j = 0; j < e[i]; j++)
              {
                result[1] += hashfcn[i];
                result[next_var_slot] = i;
                next_var_slot++;
              }
          }
      }
    result[0] = next_var_slot;  // this is the length of this monomial
    setWeightAndHash(result);
    return true;
  }

References hashfcn, mFirstVar, mNumVars, ncalls_from_expvector, result(), and setWeightAndHash().