is_unit()

bool FreeAlgebra::is_unit

(

const Poly &

f

)

const

Definition at line 253 of file FreeAlgebra.cpp.

{
  if (f.numTerms() != 1) return false;
  auto i = f.cbegin();
  return monoid().is_one(i.monom()) && coefficientRing()->is_unit(i.coeff());
}

References coefficientRing(), FreeMonoid::is_one(), Ring::is_unit(), and monoid().

Referenced by M2FreeAlgebra::is_unit(), power(), and TEST().