Math.Algebra.Group.PermutationGroup
rotateL
data Permutation a
fmapP
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
orderBSGS
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