lead_word()

Word FreeAlgebra::lead_word

(

const Poly &

f

)

const

Definition at line 881 of file FreeAlgebra.cpp.

{
   Word result;
   monoid().wordFromMonom(result,f.cbegin().monom());
   return result;
}

References monoid(), result(), and FreeMonoid::wordFromMonom().

Referenced by NCGroebner::NCGroebner(), TEST(), NCF4::updateOverlaps(), and NCGroebner::updateOverlaps().