set_identity(letter_type)

void libsemigroups::fpsemigroup::KnuthBendix::set_identity(letter_type id)

Set a character in alphabet() to be the identity using its index.

This function adds rules to this so that id is the identity. This function can be called repeatedly.

Return

(None)

Complexity

\(O(n)\) where \(n\) is alphabet().size().

See

set_identity(std::string const&).

Parameters

  • id: the index of the character to be the identity.

Exceptions