monsyz()

void Monoid::monsyz	(	const_monomial	m,
		const_monomial	n,
		monomial	result_sm,
		monomial	result_sn ) const

Definition at line 521 of file monoid.cpp.

{
  if (mVariableCount == 0) return;
 
  exponents_t EXP1 = ALLOCATE_EXPONENTS(exp_size);
  exponents_t EXP2 = ALLOCATE_EXPONENTS(exp_size);
 
  to_expvector(m, EXP1);
  to_expvector(n, EXP2);
  for (int i = 0; i < mVariableCount; i++)
    if (EXP1[i] > EXP2[i])
      {
        EXP2[i] = EXP1[i] - EXP2[i];
        EXP1[i] = 0;
      }
    else
      {
        EXP1[i] = EXP2[i] - EXP1[i];
        EXP2[i] = 0;
      }
  from_expvector(EXP1, sm);
  from_expvector(EXP2, sn);
}

References ALLOCATE_EXPONENTS, exp_size, from_expvector(), mVariableCount, and to_expvector().