equal_to(std::initializer_list<letter_type>, std::initializer_list<letter_type>)

bool libsemigroups::CongruenceWrapper::equal_to(std::initializer_list<letter_type> u, std::initializer_list<letter_type> v)

Check if two words represent the same element.

Return

true if the words u and v represent the same element of the finitely presented semigroup, and false otherwise.

Complexity

See warning.

Warning

The problem of determining the return value of this function is undecidable in general, and this function may never terminate.

See

equal_to(std::string const&, std::string const&).

Parameters
Exceptions