rewrite(std::string) const

std::string libsemigroups::fpsemigroup::KnuthBendix::rewrite(std::string w) const

Rewrite a word.

Rewrites a copy of the word w rewritten according to the current rules in the KnuthBendix instance.

Return

A copy of the argument w after it has been rewritten.

Parameters
  • w: the word to rewrite.