degree_of_expvector()

template<typename T>

void Monoid::degree_of_expvector ( const T * expvector, monomial result ) const

inline

Definition at line 293 of file monoid.hpp.

  {
    mDegreeMonoid->one(result);
    monomial mon1 = mDegreeMonoid->make_one();
    for (int i=0; i<n_vars(); i++)
      {
        if (expvector[i] != 0)
          {
            mDegreeMonoid->power(mDegreeOfVar[i], expvector[i], mon1);
            mDegreeMonoid->mult(result, mon1, result);
          }
      }
    mDegreeMonoid->remove(mon1);
  }

References mDegreeMonoid, mDegreeOfVar, n_vars(), result(), and T.

Referenced by ResF4toM2Interface::to_M2_freemodule().