RangeEndomorphismDerivation( xi )
Each derivation xi determines an endomorphism rho of R such
that rho r = h xi r.
gap> rho4 := RangeEndomorphismDerivation( XSC, 4 );
GroupHomomorphismByImages( s3, s3, [ (4,5,6), (2,3)(5,6) ],
[ (4,6,5), (2,3)(5,6) ] )
GAP 3.4.4