Macaulay2 Engine
Loading...
Searching...
No Matches

◆ isOverlapNecessary()

auto NCF4::isOverlapNecessary ( const Overlap & o) ->bool
private

Definition at line 251 of file NCF4.cpp.

252{
253 // this function tests if the lead word of the overlap polynomial
254 // of o is a multiple of another pattern in the word table.
255
256 // need to be careful, however, since an overlap lead word is trivially
257 // a multiple of the words used to build it. These possibilities must be discarded
258 bool retval;
259 Word w;
260
261 // not optimal. Should pass information to wordTable for checking.
263 retval = !mWordTable.isNontrivialSuperword(w, std::get<0>(o), std::get<2>(o));
264 return retval;
265}
Word createOverlapLeadWord(const Overlap &o)
Definition NCF4.cpp:301
WordTable mWordTable
Definition NCF4.hpp:219

References createOverlapLeadWord(), and mWordTable.

Referenced by insertNewOverlaps().