1#############################################################################
2##
3#W  cat1mor.tst                   XMOD test file                Chris Wensley
4#W                                                                & Murat Alp
5#Y  Copyright (C) 2001-2018, Chris Wensley et al,
6#Y  School of Computer Science, Bangor University, U.K.
7##
8gap> START_TEST( "XMod package: allxmods.tst" );
9gap> saved_infolevel_xmod := InfoLevel( InfoXMod );;
10gap> SetInfoLevel( InfoXMod, 0 );;
11
12gap> saved_infolevel_xmod := InfoLevel( InfoXMod );;
13gap> SetInfoLevel( InfoXMod, 0 );
14
15gap> g18gens := [ (1,2,3), (4,5,6), (2,3)(5,6) ];;
16gap> s3agens := [ (7,8,9), (8,9) ];;
17gap> g18 := Group( g18gens );;  SetName( g18, "g18" );;
18gap> g18 := Group( g18gens );;  SetName( g18, "g18" );;
19gap> s3a := Group( s3agens );;  SetName( s3a, "s3a" );;
20gap> t := GroupHomomorphismByImages(g18,s3a,g18gens,[(7,8,9),(),(8,9)]);;
21gap> h := GroupHomomorphismByImages(g18,s3a,g18gens,[(7,8,9),(7,8,9),(8,9)]);;
22gap> e := GroupHomomorphismByImages(s3a,g18,s3agens,[(1,2,3),(2,3)(5,6)]);;
23gap> C18 := Cat1Group( t, h, e );;
24gap> t2 := GroupHomomorphismByImages(g18,s3a,g18gens,[(),(7,8,9),(8,9)]);;
25gap> e2 := GroupHomomorphismByImages(s3a,g18,s3agens,[(4,5,6),(2,3)(5,6)]);;
26gap> B18 := Cat1Group( t2, h, e2 );;
27gap> imgamma := [ (4,5,6), (1,2,3), (2,3)(5,6) ];;
28gap> gamma := GroupHomomorphismByImages( g18, g18, g18gens, imgamma );;
29gap> rho := IdentityMapping( s3a );;
30gap> mor := Cat1GroupMorphism( C18, B18, gamma, rho );;
31gap> Display( mor );;
32Morphism of cat1-groups :-
33: Source = [g18=>s3a] with generating sets:
34  [ (1,2,3), (4,5,6), (2,3)(5,6) ]
35  [ (7,8,9), (8,9) ]
36:  Range = [g18=>s3a] with generating sets:
37  [ (1,2,3), (4,5,6), (2,3)(5,6) ]
38  [ (7,8,9), (8,9) ]
39: Source Homomorphism maps source generators to:
40  [ (4,5,6), (1,2,3), (2,3)(5,6) ]
41: Range Homomorphism maps range generators to:
42  [ (7,8,9), (8,9) ]
43
44gap> SetInfoLevel( InfoXMod, saved_infolevel_xmod );;
45gap> STOP_TEST( "cat1mor.tst", 10000 );
46
47#############################################################################
48##
49#E  cat1mor.tst . . . . . . . . . . . . . . . . . . . . . . . . . . ends here
50