libsemigroups::schreier_sims Namespace Reference

This namespace contains helper functions for the SchreierSims class.

Functions
template<size_t N, typename Point, typename Element, typename Traits>
void	intersection (SchreierSims< N, Point, Element, Traits > &T, SchreierSims< N, Point, Element, Traits > &S1, SchreierSims< N, Point, Element, Traits > &S2)
	Find the intersection of two permutation groups.

Function Documentation

intersection()

template<size_t N, typename Point, typename Element, typename Traits>

void intersection	(	SchreierSims< N, Point, Element, Traits > &	T,
		SchreierSims< N, Point, Element, Traits > &	S1,
		SchreierSims< N, Point, Element, Traits > &	S2 )

This function finds the intersection of two permutation groups. It modifies the first parameter T to be the SchreierSims object corresponding to the intersection of S1 and S2.

Template Parameters

N	the largest point not fixed by the permutations in the permutation groups.

Parameters

T	an empty SchreierSims object that will hold the result.
S1	the first group of the intersection.
S2	the second group of the intersection.

Exceptions

LibsemigroupsException

if T is not empty.