divides_partial_order()

bool Monoid::divides_partial_order	(	const_monomial	m,
		const_monomial	n ) const

Definition at line 480 of file monoid.cpp.

{
  if (mVariableCount == 0) return true;
 
  exponents_t EXP1 = ALLOCATE_EXPONENTS(exp_size);
  exponents_t EXP2 = ALLOCATE_EXPONENTS(exp_size);
  // can we speed this up by not unpacking ??
  to_expvector(m, EXP1);
  to_expvector(n, EXP2);
  return exponents::divides(mVariableCount, EXP1, EXP2);
}

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