73.100 CompositeSection

CompositeSection( xi, xj )

This function applies the Whitehead composition to two sections and returns the composite.

    gap> xi48 := CompositeSection( xi4, xi8 );
    Cat1SectionByImages( s3, c3^2

Xc2, [ (4,5,6), (2,3)(5,6) ], 
       [ ( 1,2,3), (1,3)(4,5) ] )
    gap> SectionDerivation( chi48 ) = xi48;
    true  

Previous Up Top Next
Index