73.85 Cat1SectionByImages

Cat1SectionByImages( C, im )

This function takes a list of images in G = C.source for the generators of R = C.range and constructs a homomorphism xi : R to G which is then tested to see whether the axioms of a section are satisfied.

    gap> SC;
    cat1-group [c3^2

Xc2 ==> s3] 
    gap> imxi := [ (1,2,3), (1,2)(4,6) ];;
    gap> xi := Cat1SectionByImages( SC, imxi );
    Cat1SectionByImages( s3, c3^2

Xc2, [ (4,5,6), (2,3)(5,6) ], 
       [ (1,2,3), (1,2)(4,6) ] )  

Previous Up Top Next
Index