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 of x is not equal to the first template parameter N.

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 parameter N.

Returns:

A value of type element_type.