XModEndomorphismDerivation( chi )
The endomorphisms sigma4, rho4 together determine a pair which may
be used to construct an endomorphism of {cal X}. When the
derivation is regular, the resulting morphism is an automorphism, and
this construction determines a homomorphism from the Whitehead group
to the automorphism group of X.
gap> phi4 := XModEndomorphismDerivation( chi4 );
Morphism of crossed modules <[c3->s3]->[c3->s3]>
GAP 3.4.4