set_inverses

void libsemigroups::CongruenceWrapper::set_inverses(std::string const &a)

Set the inverses of letters in alphabet().

The letter in a with index i is the inverse of the letter in alphabet() with index i.

Return

(None)

Complexity

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

See

set_identity(std::string const&).

Parameters
  • a: a string of length alphabet().size().

Exceptions
  • LibsemigroupsException: if any of the following apply:

    • a is empty;

    • alphabet() is empty;

    • no identity has been defined using set_identity();

    • the length of a is not equal to alphabet().size();

    • the letters in a are not exactly those in alphabet() (perhaps in a different order).