Membership¶
This page contains information about the member functions of the SchreierSims
class related to checking membership.
-
inline bool libsemigroups::SchreierSims::contains(const_element_reference x)¶
Test membership of an element.
Note
Returns
false
if the degree ofx
is not equal to the first template parameterN
.- Parameters
x – a const reference to the possible element.
- Throws
(None) – This function guarantees not to throw a
LibsemigroupsException
.- Returns
A
bool
.
-
inline element_type libsemigroups::SchreierSims::sift(const_element_reference x)¶
Sift an element through the stabiliser chain.
- Parameters
x – a const reference to a group element.
- Throws
LibsemigroupsException – if the degree of
x
is not equal to the first template parameterN
.- Returns
A value of type element_type.