CompositeDerivation( chi, chj )
This function applies the Whitehead product to two derivations and
returns the composite. In the example, derivations chi4, chi8
correspond to sections xi4 and xi8.
gap> chi48 := CompositeDerivation( chi4, chi8 );
XModDerivationByImages( s3, c3, [ (4,5,6), (2,3)(5,6) ],
[ (1,2,3)(4,6,5), (1,3,2)(4,5,6) ] )
GAP 3.4.4