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 thatid
is the identity. This function can be called repeatedly.- Return
(None)
- Complexity
\(O(n)\) where \(n\) is alphabet().size().
- See
- Parameters
id
: the index of the character to be the identity.
- Exceptions
LibsemigroupsException
: Ifid
is out of bounds.