is_invertible()

bool Monoid::is_invertible

(

const_monomial

m

)

const

Definition at line 714 of file monoid.cpp.

{
  // Only the trivial monomial is invertible in this case
  if (n_invertible_vars_ == 0) { return is_one(m); }
 
  exponents_t EXP1 = ALLOCATE_EXPONENTS(exp_size);
  to_expvector(m, EXP1);
  for (int i = 0; i < mVariableCount; i++)
    if (!monorder_->is_laurent[i] && EXP1[i] > 0) return false;
  return true;
}

References ALLOCATE_EXPONENTS, exp_size, is_one(), monorder_, mVariableCount, n_invertible_vars_, and to_expvector().