equal_to(word_type const&, word_type const&)ΒΆ
-
bool
libsemigroups::CongruenceWrapper
::
equal_to
(word_type const &u, word_type const &v) Check if two words represent the same element.
- Return
true
if the wordsu
andv
represent the same element of the finitely presented semigroup, andfalse
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
- 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.
- Exceptions
LibsemigroupsException
: ifu
orv
contains a letter that is out of bounds.