SourceEndomorphismSection( xi )
Each section xi determines an endomorphism gamma of G such
that gamma g = (e h xi t g)(xi t g^-1) g (e h g^-1) (xi h
g).
gap> gamma4 := SourceEndomorphismDerivation( xi4 );
GroupHomomorphismByImages( c3^2|Xc2, c3^2|Xc2,
[ (1,2,3), (4,5,6), (2,3)(5,6) ], [ (1,3,2), (4,6,5), (2,3)(5,6) ] )
GAP 3.4.4