MinimalGeneratingSet( G )
Let G be an ag group. Then MinimalGeneratingSet
returns a subset
L of G of minimal cardinality with the property that L generates
G.
gap> l := MinimalGeneratingSet(s4); [ b, a*c*d ] gap> s4 = Subgroup( s4, l ); true
GAP 3.4.4