is_unit()

bool FreeAlgebraQuotient::is_unit

(

const Poly &

f

)

const

Definition at line 95 of file FreeAlgebraQuotient.cpp.

{
  return mFreeAlgebra.is_unit(f); // TODO: this is not correct: if f = 1 + (nilpotent).
}

References mFreeAlgebra.

Referenced by M2FreeAlgebraQuotient::is_unit().