overlapWordLength()

auto NCGroebner::overlapWordLength

(

Overlap

o

)

const->int

Definition at line 398 of file NCGroebner.cpp.

{
  Word tmp = freeAlgebra().lead_word(*mGroebner[std::get<2>(o)]);
  return std::get<1>(o) + tmp.size();
}

References freeAlgebra(), mGroebner, and Word::size().