subword()

bool WordTable::subword	(	Word	word,
		std::pair< int, int > &	output ) const

Definition at line 161 of file WordTable.cpp.

{
  int start_index = -1;  // return value
  for (auto i = 0; i < mMonomials.size(); ++i)
    {
      if (subwordPosition(mMonomials[i], word, start_index))
        {
          output = std::make_pair(i, start_index);
          return true;
        }
    }
  return false;
}

References mMonomials, subwordPosition(), and word.

Referenced by NCGroebner::twoSidedReduction().