SchreierSimsTraits

template<size_t N, typename TPointType, typename TElementType>
struct SchreierSimsTraits

Defined in schreier-sims.hpp.

This is a traits class for use with the class template SchreierSims.

This traits class contains stateless types which are used to adapt any class representing a permutation for the implementation of the Schreier-Sims algorithm in the SchreierSims class template.

Template Parameters

• N – the largest point not fixed by the permutations in the permutation group to be represented by a SchreierSims instance.

• TPointType – the type of the points acted on.

• TElementType – the type of the group elements acting on TPointType.

Stateful type aliases

domain_type	Type of the object containing all points acted on.
element_type	Type of the elements.
index_type	The type of indices to be used by a SchreierSims instance.
point_type	Type of the points acted on.

Stateless type aliases

Action	Adapter for the value of a right action.
Degree	Adapter for the degree of an element.
EqualTo	Adapter for testing equality.
Inverse	Adapter for increasing the degree of an element.
One	Adapter for the identity element of the given type.
Product	Adapter for the product of two elements.
Swap	Adapter for swapping.