degree_weights() [1/2]

template int Monoid::degree_weights< int >	(	const_monomial	m,
		const std::vector< int > &	wts ) const

Definition at line 670 of file monoid.cpp.

{
  if (mVariableCount == 0) return 0;
 
  exponents_t EXP1 = ALLOCATE_EXPONENTS(exp_size);
  to_expvector(m, EXP1);
  int sz = (wts.size() < mVariableCount ? wts.size() : mVariableCount);
  return exponents::weight(sz, EXP1, wts);
}

References ALLOCATE_EXPONENTS, exp_size, mVariableCount, to_expvector(), and ExponentVector< int, true >::weight().