equal_to(word_type const&, word_type const&)¶
-
bool
libsemigroups::FpSemigroupInterface
::
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
equal_to(std::string const&, std::string const&).
- 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.