PermutationGroup SΒΆ

permgrps.spad line 1 [edit on github]

PermutationGroup implements permutation groups acting on a set S, i.e. all subgroups of the symmetric group of S, represented as a list of permutations (generators). Note that therefore the objects are not members of the Language category Group. Using the idea of base and strong generators by Sims, basic routines and algorithms are implemented so that the word problem for permutation groups can be solved.

<=: (%, %) -> Boolean

gp1 <= gp2 returns true if and only if gp1 is a subgroup of gp2. Note: because of a bug in the parser you have to call this function explicitly by gp1 <=$(PERMGRP S) gp2.

<: (%, %) -> Boolean

gp1 < gp2 returns true if and only if gp1 is a proper subgroup of gp2.

=: (%, %) -> Boolean

from BasicType

~=: (%, %) -> Boolean

from BasicType

base: % -> List S

base(gp) returns a base for the group gp.

coerce: % -> List Permutation S

coerce(gp) returns the generators of the group gp.

coerce: % -> OutputForm

from CoercibleTo OutputForm

coerce: List Permutation S -> %

coerce(ls) coerces a list of permutations ls to the group generated by this list.

degree: % -> NonNegativeInteger

degree(gp) returns the number of points moved by all permutations of the group gp.

elt: (%, NonNegativeInteger) -> Permutation S

elt(gp, i) returns the i-th generator of the group gp.

generators: % -> List Permutation S

generators(gp) returns the generators of the group gp.

hash: % -> SingleInteger

from SetCategory

hashUpdate!: (HashState, %) -> HashState

from SetCategory

initializeGroupForWordProblem: % -> Void

initializeGroupForWordProblem(gp) initializes the group gp for the word problem. Notes: it calls the other function of this name with parameters 0 and 1: initializeGroupForWordProblem(gp, 0, 1). Notes: (1) be careful: invoking this routine will destroy the possibly information about your group (but will recompute it again) (2) users need not call this function normally for the soultion of the word problem.

initializeGroupForWordProblem: (%, Integer, Integer) -> Void

initializeGroupForWordProblem(gp, m, n) initializes the group gp for the word problem. Notes: (1) with a small integer you get shorter words, but the routine takes longer than the standard routine for longer words. (2) be careful: invoking this routine will destroy the possibly stored information about your group (but will recompute it again). (3) users need not call this function normally for the soultion of the word problem.

latex: % -> String

from SetCategory

member?: (Permutation S, %) -> Boolean

member?(pp, gp) answers the question, whether the permutation pp is in the group gp or not.

movedPoints: % -> Set S

movedPoints(gp) returns the points moved by the group gp.

orbit: (%, List S) -> Set List S

orbit(gp, ls) returns the orbit of the ordered list ls under the group gp. Note: return type is L L S temporarily because FSET L S has an error.

orbit: (%, S) -> Set S

orbit(gp, el) returns the orbit of the element el under the group gp, i.e. the set of all points gained by applying each group element to el.

orbit: (%, Set S) -> Set Set S

orbit(gp, els) returns the orbit of the unordered set els under the group gp.

orbits: % -> Set Set S

orbits(gp) returns the orbits of the group gp, i.e. it partitions the (finite) of all moved points.

order: % -> NonNegativeInteger

order(gp) returns the order of the group gp.

perm_to_vec: (List S, Permutation S, NonNegativeInteger) -> Vector NonNegativeInteger

perm_to_vec(supp, p, degree) should be local but conditional

permutationGroup: List Permutation S -> %

permutationGroup(ls) coerces a list of permutations ls to the group generated by this list.

pointList: % -> List S

pointList(gp) should be local but conditional

random: % -> Permutation S

random(gp) returns a random product of maximal 20 generators of the group gp. Note: random(gp)=random(gp, 20).

random: (%, Integer) -> Permutation S

random(gp, i) returns a random product of maximal i generators of the group gp.

relationsInGenerators: % -> List List Integer

relationsInGenerators(gp) computes relations between generators.

relationsInStrongGenerators: % -> List List Integer

relationsInStrongGenerators(gp) computes relations between strong generators.

strongGenerators: % -> List Permutation S

strongGenerators(gp) returns strong generators for the group gp.

wordInGenerators: (Permutation S, %) -> List NonNegativeInteger

wordInGenerators(p, gp) returns the word for the permutation p in the original generators of the group gp, represented by the indices of the list, given by generators.

wordInStrongGenerators: (Permutation S, %) -> List NonNegativeInteger

wordInStrongGenerators(p, gp) returns the word for the permutation p in the strong generators of the group gp, represented by the indices of the list, given by strongGenerators.

wordsForStrongGenerators: % -> List List NonNegativeInteger

wordsForStrongGenerators(gp) returns the words for the strong generators of the group gp in the original generators of gp, represented by their indices in the list, given by generators.

BasicType

CoercibleTo OutputForm

SetCategory