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