Math.Algebra.Group.SchreierSims

cosetRepsGx

schreierGeneratorsGx

sift

findBase

sgs

bsgs

bsgs'

newLevel

newLevel'

ss

ss'

isMemberBSGS

eltsBSGS

cartProd

orderBSGS

isMember

elts

order

isSubgp

isNormal

index

reduceGens

reduceGensBSGS

normalClosure

commutatorGp

derivedSubgp