21.20 Set Functions for Permutation Groups

All set theoretic functions described in chapter Domains are also applicable to permutation groups. This section describes which functions are implemented specially for permutation groups. Functions not mentioned here are handled by the default methods described in the respective sections.

Random( G )

To compute a random element in a permutation group G GAP computes a stabilizer chain for G, takes on each level a random representative and returns the product of those. All elements of G are chosen with equal probability by this method.

Size( G )

Size calls StabChain (see StabChain), if necessary, and returns the product of the indices of the stabilizer chain (see Stabilizer Chains).

Elements( G )

Elements calls StabChain (see StabChain), if necessary, and enumerates the elements of G as described in Stabilizer Chains. It returns the set of those elements.

Intersection( G1, G2 )

Intersection first computes stabilizer chains for G1 and G2 for a common base. If either group already has a stabilizer chain a basechange is performed (see MakeStabChain). Intersection enumerates the elements of G1 and G2 using a backtrack algorithm, eliminating whole cosets of stabilizers in the stabilizer chains if possible (see PermGroupOps.SubgroupProperty). It builds a stabilizer chain for the intersection.

Previous Up Top Next
Index

GAP 3.4.4
April 1997