isNontrivialSuperword()

auto WordWithDataTable::isNontrivialSuperword	(	WordWithData	word,
		int	index1,
		int	index2 ) const->bool

Definition at line 454 of file WordTable.cpp.

{
  // this command is only called on an overlap between the words mMonomials[index1]
  // and mMonomials[index2].
  std::vector<int> start_indices;
  for (auto i = 0; i < mMonomials.size(); ++i)
    {
      if (mIndices[i] == -1) continue;
      start_indices.clear();
      subwordPositions(mMonomials[i], word, start_indices);
      for (auto j : start_indices)
        {
          if (i != index1 && i != index2) return true;
          // these commands handle when the overlap is trivially a multiple of one of
          // the monomials in index1 or index2
          if (j == 0 && i != index1) return true;
          if (j == word.size() - mMonomials[index2].size() && i != index2) return true;
        }
    }
  return false;
}

References mIndices, mMonomials, subwordPositions(), and word.