set_identity(letter_type)¶
-
inline 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.- Complexity
\(O(n)\) where \(n\) is alphabet().size().
- See
- Parameters
id – the index of the character to be the identity.
- Throws
LibsemigroupsException – If
id
is out of bounds.- Returns
(None)