51 math65:/home/math6/wdj> gap ######## Lehrstuhl D fuer Mathematik ### #### RWTH Aachen ## ## ## # ####### ######### ## # ## ## # ## ## # # ## # ## #### ## ## # # ## ##### ### ## ## ## ## ######### # ######### ####### # # ## Version 3 # ### Release 2 # ## # 10 Feb 93 # ## # ## # Alice Niemeyer, Werner Nickel, Martin Schoenert ## # Johannes Meier, Alex Wegner, Thomas Bischops ## # Frank Celler, Juergen Mnich, Udo Polis ### ## Thomas Breuer, Goetz Pfeiffer, Hans U. Besche ###### Volkmar Felsch, Heiko Theissen, Alexander Hulpke Ansgar Kaup, Akos Seress For help enter: ? gap> LogTo("/home/math6/wdj/gap/games/bug.log"); gap> Read("/home/math6/wdj/gap/games/grpdata.g"); gap> Read("/home/math6/wdj/gap/new/AbStab.g"); The record 'descriptions' contains brief descriptions of the functions in this file. Functions of importance: MakeAbStabChain, FactorPermGroupElement, Shrink gap> gen:=Set([f1,f2,f3,f4,r1,r2,r3,r4]); [ (25,26,27,28,29,30,31,32), (17,18,19,20,21,22,23,24), ( 9,10,11,12,13,14,15,16), ( 4,31)( 5,30)( 6,29)( 7,28)(12,23)(13,22)(14,21) (15,20), ( 3,30)( 4,29)( 5,28)( 6,27)(11,22)(12,21)(13,20)(14,19), ( 2,29)( 3,28)( 4,27)( 5,26)(10,21)(11,22)(12,23)(13,24), (1,2,3,4,5,6,7,8), ( 1,28)( 2,27)( 3,26)( 4,25)( 9,20)(10,19)(11,18)(12,17) ] gap> G:=MinGenSet(gen); Group( (25,26,27,28,29,30,31,32), (17,18,19,20,21,22,23,24), ( 9,10,11,12,13, 14,15,16), ( 4,31)( 5,30)( 6,29)( 7,28)(12,23)(13,22)(14,21)(15,20), ( 3,30) ( 4,29)( 5,28)( 6,27)(11,22)(12,21)(13,20)(14,19), ( 2,29)( 3,28)( 4,27) ( 5,26)(10,21)(11,22)(12,23)(13,24), (1,2,3,4,5,6,7,8) ) gap> 2_cycle:=(1,2); (1,2) gap> cycle2a:=FactorPermGroupElement(G,2_cycle); g1^2*g5*g7*g5^-1*g1*g5*g7^-1*g5^-1*g1^-1*g5*g7*g5^-1*g1^-2*g5*g7^-1*g5^-1*g1^-\ 1*g5*g7*g5^-1*g1^3*g5*g7^-1*g5^-1*g1*g5*g7*g5^-1*g1^-1*g5*g7^-1*g5^-1*g1^-3*g5\ *g7*g5^-1*g1^2*g5*g7^-1*g5^-1*g1^-2*g5*g7^-1*g5^-1*g1*g5*g7^3*g5^-1*g1*g5*g7^-\ 3*g5^-1*g1^-1*g5*g7*g5^-1*g1^-2*g5*g7*g5^-1*g1^3*g5*g7^-1*g5^-1*g1^-2*g5*g7^-1\ *g5^-1*g1*g5*g7^3*g5^-1*g1*g5*g7^-3*g5^-1*g1^-1*g5*g7*g5^-1*g1^-1*g5*g7*g5^-1*\ g1^2*g5*g7^-1*g5^-1*g1*g5*g7*g5^-1*g1^-1*g5*g7^-1*g5^-1*g1^-3*g5*g7*g5^-1*g1^2\ *g5*g7^-1*g5^-1*g1^-2*g5*g7^-1*g5^-1*g1*g5*g7^3*g5^-1*g1*g5*g7^-3*g5^-1*g1^-1*\ g5*g7*g5^-1*g1^-1*g5*g7*g5^-1*g1^2*g5*g7^-1*g5^-1*g1^-2*g5*g7^-1*g5^-1*g1*g5*g\ 7^3*g5^-1*g1*g5*g7^-3*g5^-1*g1^-1*g5*g7*g5^-1*g1^-2*g5*g7*g5^-1*g1^3*g5*g7^-1*\ g5^-1*g1^-2*g5*g7^-1*g5^-1*g1*g5*g7^3*g5^-1*g1*g5*g7^-3*g5^-1*g1^-1*g5*g7*g5^-\ 1*g1^-1*g5*g7*g5^-1*g1^2*g5*g7^-1*g5^-1*g1*g5*g7*g5^-1*g1^-1*g5*g7^-1*g5^-1*g1\ ^-3*g5*g7*g5^-1*g1^2*g5*g7^-1*g5^-1*g1^-2*g5*g7^-1*g5^-1*g1*g5*g7^3*g5^-1*g1*g\ 5*g7^-3*g5^-1*g1^-1*g5*g7*g5^-1*g1^-1*g5*g7*g5^-1*g1^2*g5*g7^-1*g5^-1*g1^-2*g5\ *g7^-1*g5^-1*g1*g5*g7^3*g5^-1*g1*g5*g7^-3*g5^-1*g1^-1*g5*g7*g5^-1*g1^-2*g5*g7*\ g5^-1*g1^3*g5*g7^-1*g5^-1*g1^-2*g5*g7^-1*g5^-1*g1*g5*g7^3*g5^-1*g1*g5*g7^-3*g5\ ^-1*g1^-1*g5*g7*g5^-1*g1^-1*g5*g7*g5^-1*g1^2*g5*g7^-1*g5^-1*g1*g5*g7*g5^-1*g1^\ -1*g5*g7^-1*g5^-1*g1^-3*g5*g7*g5^-1*g1^2*g5*g7^-1*g5^-1*g1^-2*g5*g7^-1*g5^-1*g\ 1*g5*g7^3*g5^-1*g1*g5*g7^-3*g5^-1*g1^-1*g5*g7*g5^-1*g1^2*g5*g7*g5^-1*g1*g5*g7^\ -1*g5^-1*g1^-1*g5*g7*g5^-1*g1^-3*g5*g7^-1*g5^-1*g1*g5*g7*g5^-1*g1^2*g5*g7^-1*g\ 5^-1*g1*g5*g7*g5^-1*g1^-1*g5*g7^-1*g5^-1*g1^-2 gap> cycle2b:=Shrink(G,cycle2a); g1^-2*g5^-1*g1*g4^-1*g1*g4^-1*g1^-1*g7^2*g5^-1*g1^-1*g5^-1*g7^-3*g5^-1*g1^-1*g\ 5^-1*g7*g5^-1*g1^2*g5^-1*g7*g5^-1*g1^-1*g5^-1*g7^-1*g5^-1*g1^2*g5^-1*g7*g5^-1*\ g1^-1*g5^-1*g7^-1*g5^-1*g1^-4*g5^-1*g7*g5^-1*g1*g5^-1*g7^-1*g5^-1*g1*g5^-1*g7^\ -2*g5^-1*g1^-1*g5^-1*g7*g5^-1*g1^-1*g5^-1*g7^-1*g5^-1*g1^2*g5^-1*g7^4*g5^-1*g1\ *g5^-1*g7^-3*g5^-1*g1^-1*g5^-1*g7*g5^-1*g1^2*g5^-1*g7^-1*g5^-1*g1*g5^-1*g7^3*g\ 5^-1*g1*g5^-1*g7^-3*g5^-1*g1^-1*g5^-1*g7^2*g5^-1*g1^-1*g5^-1*g7^-1*g5^-1 gap> cycle2a=cycle2b; false gap> cycle2c:=Shrink(G,2_cycle); g1^-2*g5^-1*g1*g4^-1*g1*g4^-1*g1^-1*g7^2*g5^-1*g1^-1*g5^-1*g7^-3*g5^-1*g1^-1*g\ 5^-1*g7*g5^-1*g1^2*g5^-1*g7*g5^-1*g1^-1*g5^-1*g7^-1*g5^-1*g1^2*g5^-1*g7*g5^-1*\ g1^-1*g5^-1*g7^-1*g5^-1*g1^-4*g5^-1*g7*g5^-1*g1*g5^-1*g7^-1*g5^-1*g1*g5^-1*g7^\ -2*g5^-1*g1^-1*g5^-1*g7*g5^-1*g1^-1*g5^-1*g7^-1*g5^-1*g1^2*g5^-1*g7^4*g5^-1*g1\ *g5^-1*g7^-3*g5^-1*g1^-1*g5^-1*g7*g5^-1*g1^2*g5^-1*g7^-1*g5^-1*g1*g5^-1*g7^3*g\ 5^-1*g1*g5^-1*g7^-3*g5^-1*g1^-1*g5^-1*g7^2*g5^-1*g1^-1*g5^-1*g7^-1*g5^-1 gap> cycle2b=cycle2c; true gap> quit; 258.33u 75.28s 33:19.81 16.6% 52 math65:/home/math6/wdj>