PermGroupAgGroup( G, U )
Let U be a subgroup of a ag group G. Then PermGroupAgGroup
returns
the permutation representation of G acting on the cosets of U.
gap> v4 := AgSubgroup( s4, [ s4.1, s4.4 ], true ); Subgroup( s4, [ a, d ] ) gap> PermGroupAgGroup( s4, v4 ); Group( (3,5)(4,6), (1,3,5)(2,4,6), (1,2)(3,4), (3,4)(5,6) )
GAP 3.4.4