overlapHeft()

auto NCGroebner::overlapHeft

(

Overlap

o

)

const->int

Definition at line 404 of file NCGroebner.cpp.

{
  Word tmpL = freeAlgebra().lead_word(*mGroebner[std::get<0>(o)]);
  Word tmpR = freeAlgebra().lead_word(*mGroebner[std::get<2>(o)]);
  int len_of_s = tmpL.size() - std::get<1>(o);
  return freeAlgebra().monoid().wordHeft(tmpL) +
    freeAlgebra().monoid().wordHeft(tmpR, len_of_s);
}

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

Referenced by insertNewOverlaps().