const_contains¶
-
tril
libsemigroups::congruence::ToddCoxeter
::
const_contains
(word_type const &u, word_type const &v) const¶ Check if a pair of words is known to belong to the congruence.
- Return
libsemigroups::tril::TRUE if the words
u
andv
are known to belong to the same congruence classlibsemigroups::tril::FALSE if the words are known to not belong to the same congruence class
libsemigroups::tril::unknown otherwise.
- Complexity
Linear in
u.size() + v.size()
.- Parameters
u
: a word (vector of integers) over the generators of the semigroup.v
: a word (vector of integers) over the generators of the semigroup.
- Exceptions
LibsemigroupsException
: ifu
orv
contains a letter that is out of bounds.