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