680{
681
682 std::vector<std::pair<int,int>> subs {};
684 for (auto sw : subs)
685 {
686 auto index = std::get<0>(sw);
687 auto pos = std::get<1>(sw);
688 if (index != index1 && index != index2) return true;
689 if (index != index1 && pos == 0) return true;
690 if (index != index2 && pos ==
word.size() -
mMonomials[index2].size())
return true;
691 }
692 return false;
693}
bool subwords(const Word &word, std::vector< std::pair< int, int > > &output) const
std::vector< Label > mMonomials