73.5 XModPrint

XModPrint( X )

This function is used to display the main fields of a crossed module.

    gap> XModPrint( X );
    Crossed module [s3c4->s3] :- 
    : Source group s3c4 has generators:
      [ (1,2), (2,3), (4,5,6,7) ]
    : Range group has parent ( s3c4 ) and has generators:
      [ (1,2), (2,3) ]
    : Boundary homomorphism maps source generators to:
      [ (1,2), (2,3), () ]
    : Action homomorphism maps range generators to automorphisms:
      (1,2) --> { source gens --> [ (1,2), (1,3), (4,5,6,7) ] }
      (2,3) --> { source gens --> [ (1,3), (2,3), (4,5,6,7) ] }
      These 2 automorphisms generate the group of automorphisms.   

Previous Up Top Next
Index