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