createOverlapLeadWord()

auto NCGroebner::createOverlapLeadWord	(	Poly &	wordAsPoly,
		Overlap	o ) const->void

Definition at line 388 of file NCGroebner.cpp.

{
  auto A = freeAlgebra();
  Poly tmp;
  Word prefix = A.lead_word_prefix(*mGroebner[std::get<0>(o)], std::get<1>(o));
  A.lead_term_as_poly(tmp, *mGroebner[std::get<2>(o)]);
  A.mult_by_term_left(wordAsPoly, tmp, A.coefficientRing()->from_long(1), prefix);
}

References freeAlgebra(), mGroebner, and prefix().

Referenced by isOverlapNecessary().