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.