multi_degree()

void Monoid::multi_degree	(	const_monomial	m,
		monomial	result ) const

Definition at line 626 of file monoid.cpp.

{
  if (mDegreeMonoid->n_vars() == 0) return;
 
  exponents_t EXP1 = ALLOCATE_EXPONENTS(exp_size);
 
  mDegreeMonoid->one(result);
  if (mVariableCount == 0) return;
  monomial mon1 = mDegreeMonoid->make_one();
 
  to_expvector(m, EXP1);
 
  for (int i = 0; i < mVariableCount; i++)
    if (EXP1[i] != 0)
      {
        mDegreeMonoid->power(mDegreeOfVar[i], EXP1[i], mon1);
        mDegreeMonoid->mult(result, mon1, result);
      }
  mDegreeMonoid->remove(mon1);
}

References ALLOCATE_EXPONENTS, exp_size, mDegreeMonoid, mDegreeOfVar, mVariableCount, result(), and to_expvector().