Math.Algebra.Group.PermutationGroup

rotateL

data Permutation a

p

fromPairs

fromPairs'

toPairs

fromList

supp

(.^)

(-^)

fromCycles

toCycles

cycleOf

parity

sign

orderElt

(~^)

comm

closureS

closure

orbit

(.^^)

orbitP

orbitV

(-^^)

orbitB

orbitE

action

orbits

_C

_D

_D2

_S

_A

dp

wr

toSn

fromDigits

fromDigits'

fromBinary

fromBinary'

elts

eltsS

order

isMember

minsupp

orderTGS

eltsTGS

tgsFromSgs

orderSGS

gens

(~^^)

conjClass

conjClassReps

reduceGens

isSubgp

subgps

isMinimal

centralizer

centre

normalizer

stabilizer

ptStab

setStab

normalClosure

commutatorGp

derivedSubgp

(-*-)

(-*)

(*-)

isNormal

normalSubgps

isSimple

cosets

quotientGp

(//)

(~~^)

conjugateSubgps

subgpAction

rrpr

rrpr'

permutationMatrix