503{
505
506 EXPECT_EQ(
monom1.size(), 3);
507 EXPECT_EQ(
monom2.size(), 2);
508
512
513 std::vector<std::pair<int,int>> matches;
515
516 EXPECT_EQ(matches.size(), 3);
517 EXPECT_EQ(matches[0], std::make_pair(0, 0));
518 EXPECT_EQ(matches[1], std::make_pair(1, 3));
519 EXPECT_EQ(matches[2], std::make_pair(2, 5));
520}
std::vector< int > monom1
std::vector< int > monom2
std::vector< int > monom3
Non-owning view of a non-commutative word: [begin, end) of int variable indices.
void subwords(Word word, std::vector< std::pair< int, int > > &output) const
Index of Words (non-commutative monomials) with subword, prefix/suffix, and overlap lookup used by th...