equal_to(std::initializer_list<letter_type>, std::initializer_list<letter_type>)¶
-
inline 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.
- Complexity
See warning.
- See
equal_to(std::string const&, std::string const&).
Warning
The problem of determining the return value of this function is undecidable in general, and this function may never terminate.
- Parameters
u – a libsemigroups::word_type consisting of indices of the generators of the finitely presented semigroup.
v – a libsemigroups::word_type consisting of indices of the generators of the finitely presented semigroup.
- Throws
LibsemigroupsException – if
u
orv
contains a letter that is out of bounds.- Returns
true
if the wordsu
andv
represent the same element of the finitely presented semigroup, andfalse
otherwise.