Math.Algebra.Group.RandomSchreierSims
initProdRepl
nextProdRepl
sgs
isMemberSGS