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