updateOverlaps()

void NCGroebner::updateOverlaps

(

const Poly *

toAdd

)

Definition at line 231 of file NCGroebner.cpp.

{
  std::vector<Overlap> newOverlaps;
  Word newLeadWord = freeAlgebra().lead_word(*toAdd);
 
  // the word table insert places the right overlaps into newOverlaps
  mWordTable.insert(newLeadWord,newOverlaps);
  insertNewOverlaps(newOverlaps);
 
  newOverlaps.clear();
  // this function finds the left overlaps with the most recently
  // inserted word.
  mWordTable.leftOverlaps(newOverlaps);
  insertNewOverlaps(newOverlaps);
}

References freeAlgebra(), insertNewOverlaps(), FreeAlgebra::lead_word(), and mWordTable.

Referenced by computeHomogeneous(), and computeInhomogeneous().