set_identity(std::string const&)¶
-
void libsemigroups::fpsemigroup::KnuthBendix::set_identity(std::string const &id)¶
Set a character in alphabet() to be the identity.
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 – a string containing the character to be the identity.
- Throws
LibsemigroupsException – If
id
has length greater than 1, orid
contains a character that is not in alphabet().- Returns
(None)