Dear GAP-Forum:
This mail contains a bugfix for two serious problems in GAP 3.4.3.
You should apply this bugfix soon if you are using the primitive groups
library. One problem is that the library stored the wrong parity for two
groups. The other problem is the disability to create the last group.
Additionally, this bugfix adds new names for the groups.
HOW TO APPLY
The problem is a serious problem, because it may cause a computation to
fail. Thus the bugfix has medium priority, and we recommend that you
apply it soon if you are using the primitive groups library.Go to the GAP directory (the directory with the 'grp/' subdirectory),
name this file 'bugfix10.dif', and issue the command:patch -p0 < bugfix10.difIf 'patch' writes "I can't seem to find a patch in there" try 'patch -v'.
If 'patch -v' gives an error message or reports a version older than 2.1,
get 2.1 from 'ftp://FTP.Math.RWTH-Aachen.DE/pub/gap/utils/patch2_1.zoo'.This fix changes only the groups library. Thus you need not recompile
the GAP kernel.
VERSION
3.4.3.0
DESCRIPTION
'PrimitiveGroup(49,36)' and 'PrimitiveGroup(49,37)' are stored with
incorrect parity (i.e., with incorrect '<group>.isOdd' value).
'PrimitiveGroup(50,9)' signals 'Error, <nr> is too large' instead
of creating the group 'S(50)'.
CORRECT BEHAVIOUR
gap> g := PrimitiveGroup(49,36);; gap> g.isOdd; SignPermGroup(g); true -1 gap> g := PrimitiveGroup(49,37);; gap> g.isOdd; SignPermGroup(g); false 1 gap> g := PrimitiveGroup(50,9); S(50)
COMMENT
The problems were found and reported in the GAP forum by Sebastian Egner.
He also provided a 'diff' file (which unfortunately was reversed).
PATCH
Prereq: 3.1 --- grp/primitiv.grp Thu Dec 21 15:25:52 1995 +++ grp/primitiv.grp Wed May 29 17:19:52 1996 @@ -1,15 +1,24 @@ ############################################################################# ## #A primitiv.grp GAP group library Charles Sims +#A & Francis Buekenhout +#A & Dimitri Leemans ## -#A @(#)$Id: 1.html,v 1.2 2004/04/21 15:04:32 felsch Exp $ +#A @(#)$Id: 1.html,v 1.2 2004/04/21 15:04:32 felsch Exp $ ## #Y Copyright 1967-1992, Charles Sims, Rutgers University, New Jersey, USA ## ## This file contains the functions of the primitive group library and -## the primitiv groups of degree up to 50. +## the primitiv groups of degree up to 50 with the names given to them by +## Buekenhout and Leemans. ## #H $Log: 1.html,v $ #H Revision 1.2 2004/04/21 15:04:32 felsch #H Corrected links in the Forum Archive pages. VF #H #H Revision 1.1.1.1 2004/04/20 13:39:35 felsch #H The final GAP-Forum archive until 2003. #H #H Revision 1.5 2003/06/12 19:20:33 gap #H Further update. AH #H #H Revision 1.4 2003/06/12 17:28:25 gap #H Address updates by JN. AH #H #H Revision 1.3 1997/08/15 11:19:33 gap #H New forum setup. AH #H #H Revision 1.2 1997/04/24 15:32:47 gap #H These files were replaced by the versions in WWW. The content is basically the #H same but the formatting has been much more friendly towards the HTML-Converter. #H AH #H #H Revision 1.1 1996/10/30 13:07:04 gap #H added forum archive and translation files. #H +#H Revision 3.1.1.2 1996/05/29 15:12:43 mschoene +#H fixed an error message (problem also found be Sebastian Egner) +#H +#H Revision 3.1.1.1 1996/05/28 09:20:39 ahulpke +#H fixed PrimitiveGroup(50,9), isOdd in 49/36,37 and added new names +#H #H Revision 3.1 1992/01/07 15:58:56 martin #H initial revision under RCS #H @@ -643,6 +652,7 @@ ## <stabilizer>: if the stabilizer of the last point is primitive this ## is its identity, ## <name>: if known, a descriptive name for <G>, +## PYL=P\Gamma L, PZL= P\Sigma L ## <generators>: a list of indices into the table 'PGGens'. ## FAC := Factorial; EABL := 0000; @@ -654,19 +664,19 @@ [ 3, 6, 3, 10110, 0301, 0201, "S(3)", 2,1], [ 4, 12, 2, 11010, EABL, 0301, "A(4)", 3,2], [ 4, 24, 4, 10100, EABL, 0302, "S(4)", 4,1], -[ 5, 5, 1, 00001, 0501, , , 5], -[ 5, 10, 1, 00010, 0501, , , 5,6], -[ 5, 20, 2, 10110, 0501, , , 5,7], +[ 5, 5, 1, 00001, 0501, , "5", 5], +[ 5, 10, 1, 00010, 0501, , "5:2", 5,6], +[ 5, 20, 2, 10110, 0501, , "5:4", 5,7], [ 5, 60, 3, 11001, 0504, 0401, "A(5)", 8,2], [ 5, 120, 5, 10100, 0504, 0402, "S(5)", 5,1], [ 6, 60, 2, 01001, 0601, 0502, "PSL(2,5)", 5,6,9], [ 6, 120, 3, 10100, 0601, 0503, "PGL(2,5)", 5,7,9], [ 6, 360, 4, 11001, 0603, 0504, "A(6)", 10,2], [ 6, 720, 6, 10100, 0603, 0505, "S(6)", 11,1], -[ 7, 7, 1, 00001, 0701, , , 12], -[ 7, 14, 1, 00110, 0701, , , 12,13], -[ 7, 21, 1, 00010, 0701, , , 12,14], -[ 7, 42, 2, 10110, 0701, , , 12,15], +[ 7, 7, 1, 00001, 0701, , "7", 12], +[ 7, 14, 1, 00110, 0701, , "7:2", 12,13], +[ 7, 21, 1, 00010, 0701, , "7:3", 12,14], +[ 7, 42, 2, 10110, 0701, , "AGL(1,7)", 12,15], [ 7, 168, 2, 00001, 0705, , "PSL(3,2)", 12,16], [ 7, 2520, 5, 11001, 0706, 0603, "A(7)", 17,2], [ 7, 5040, 7, 10100, 0706, 0604, "S(7)", 12,1], @@ -677,15 +687,15 @@ [ 8, 1344, 3, 00000, EABL, 0705, "ASL(3,2)", 12,16,18], [ 8, 20160, 6, 11001, 0806, 0706, "A(8)", 20,2], [ 8, 40320, 8, 10100, 0806, 0707, "S(8)", 21,1], -[ 9, 36, 1, 00010, EABL, , , 22,23], -[ 9, 72, 1, 00100, EABL, , , 22,23,24], +[ 9, 36, 1, 00010, EABL, , "3^2:4", 22,23], +[ 9, 72, 1, 00100, EABL, , "3^2:D_8", 22,23,24], [ 9, 72, 2, 10110, EABL, , "AGL(1,9)", 22,25], -[ 9, 72, 2, 10010, EABL, , "<AYL(1,9)", 22,23,26], +[ 9, 72, 2, 10010, EABL, , "M_9", 22,23,26], [ 9, 144, 2, 00100, EABL, , "AYL(1,9)", 22,25,24], -[ 9, 216, 2, 00000, EABL, , "Huppert", 22,23,27], -[ 9, 432, 2, 00100, EABL, , "Huppert", 22,25,27], +[ 9, 216, 2, 00000, EABL, ,"3^2:(2`A_4)", 22,23,27], +[ 9, 432, 2, 00100, EABL, , "AGL(2,3)", 22,25,27], [ 9, 504, 3, 11001, 0908, 0801, "PSL(2,8)", 12,18,28], -[ 9, 1512, 3, 01000, 0908, 0802, "PZL(2,8)", 12,18,28,14], +[ 9, 1512, 3, 01000, 0908, 0802, "PYL(2,8)", 12,18,28,14], [ 9, FAC(9)/2, 7, 11001, 0910, 0806, "A(9)", 29,2], [ 9, FAC(9), 9, 10100, 0910, 0807, "S(9)", 30,1], [10, 60, 1, 00001, 1001, , "A(5)", 31,32], @@ -693,13 +703,13 @@ [10, 360, 2, 01001, 1003, 0901, "PSL(2,9)", 22,23,34], [10, 720, 2, 01100, 1003, 0902, "S(6)", 22,23,24,34], [10, 720, 3, 10100, 1003, 0903, "PGL(2,9)", 22,25,34], -[10, 720, 3, 10000, 1003, 0904, "<PYL(2,9)", 22,23,26,34], +[10, 720, 3, 10000, 1003, 0904, "M_10", 22,23,26,34], [10, 1440, 3, 00100, 1003, 0905, "PYL(2,9)", 22,25,24,34], [10, FAC(10)/2, 8, 11001, 1008, 0910, "A(10)", 35,2], [10, FAC(10), 10, 00100, 1008, 0911, "S(10)", 36,1], -[11, 11, 1, 00001, 1101, , , 37], -[11, 22, 1, 00110, 1101, , , 37,38], -[11, 55, 1, 00010, 1101, , , 37,39], +[11, 11, 1, 00001, 1101, , "11", 37], +[11, 22, 1, 00110, 1101, , "11:2", 37,38], +[11, 55, 1, 00010, 1101, , "11:5", 37,39], [11, 110, 2, 10110, 1101, , "AGL(1,11)", 37,40], [11, 660, 2, 01001, 1105, 1001, "PSL(2,11)", 31,32,41], [11, 7920, 4, 10001, 1106, 1006, "M(11)", 22,23,26,34,42], @@ -711,11 +721,11 @@ [12, 95040, 5, 10001, 1204, 1106, "M(12)", 22,23,26,34,42,46], [12, FAC(12)/2, 10, 01001, 1205, 1107, "A(12)", 47,2], [12, FAC(12), 12, 00100, 1205, 1108, "S(12)", 48,1], -[13, 13, 1, 00001, 1301, , , 49], -[13, 26, 1, 00010, 1301, , , 49,50], -[13, 39, 1, 00010, 1301, , , 49,51], -[13, 52, 1, 00110, 1301, , , 49,52], -[13, 78, 1, 00010, 1301, , , 49,53], +[13, 13, 1, 00001, 1301, , "13", 49], +[13, 26, 1, 00010, 1301, , "13:2", 49,50], +[13, 39, 1, 00010, 1301, , "13:3", 49,51], +[13, 52, 1, 00110, 1301, , "13:4", 49,52], +[13, 78, 1, 00010, 1301, , "13:6", 49,53], [13, 156, 2, 10110, 1301, , "AGL(1,13)", 49,54], [13, 5616, 2, 00001, 1307, , "PSL(3,3)", 49,55], [13, FAC(13)/2, 11, 01001, 1308, 1205, "A(13)", 56,2], @@ -730,20 +740,20 @@ [15, 20160, 2, 00001, 1504, , "PSL(4,2)", 63,64], [15, FAC(15)/2, 13, 01001, 1505, 1403, "A(15)", 65,2], [15, FAC(15), 15, 00100, 1505, 1404, "S(15)", 66,1], -[16, 80, 1, 00010, EABL, , , 60,67], -[16, 160, 1, 00000, EABL, , , 60,67,68], +[16, 80, 1, 00010, EABL, , "2^4:5", 60,67], +[16, 160, 1, 00000, EABL, , "2^4:D_10", 60,67,68], [16, 240, 2, 10010, EABL, , "AGL(1,16)", 69,67], -[16, 288, 1, 00000, EABL, , , 61,67,70,71], -[16, 320, 1, 00000, EABL, , , 60,67,72], -[16, 480, 2, 00000, EABL, , "<AYL(1,16)", 69,67,68], -[16, 576, 1, 00000, EABL, , , 61,67,70,73], -[16, 576, 1, 00000, EABL, , , 61,67,70,71,74], -[16, 960, 1, 00000, EABL, , , 60,67,75], +[16, 288, 1, 00000, EABL, ,"(A_4xA_4):2", 61,67,70,71], +[16, 320, 1, 00000, EABL, , "(2^4:5).4", 60,67,72], +[16, 480, 2, 00000, EABL, ,"AGL(1,16):2", 69,67,68], +[16, 576, 1, 00000, EABL, , "2^4.3^2:4", 61,67,70,73], +[16, 576, 1, 00000, EABL, ,"2^4.S_3xS_3", 61,67,70,71,74], +[16, 960, 1, 00000, EABL, , "2^4:A_5", 60,67,75], [16, 960, 2, 00000, EABL, , "AYL(1,16)", 69,67,72], [16, 960, 2, 00000, EABL, , "ASL(2,4)", 60,67,70], -[16, 1152, 1, 00000, EABL, , , 61,67,70,71,76], -[16, 1920, 1, 00000, EABL, , , 60,67,77], -[16, 1920, 2, 00000, EABL, , "AZL(2,4)", 60,67,78], +[16, 1152, 1, 00000, EABL, ,"(S_4xS_4):2", 61,67,70,71,76], +[16, 1920, 1, 00000, EABL, , "2^4:S_5", 60,67,77], +[16, 1920, 2, 00000, EABL, , "ASL(2,4):2", 60,67,78], [16, 2880, 2, 00000, EABL, , "AGL(2,4)", 69,67,70], [16, 5760, 2, 00000, EABL, , "AYL(2,4)", 69,67,78], [16, 5760, 2, 01000, EABL, 1501, "2^4.A(6)", 60,61,67], @@ -752,13 +762,13 @@ [16, 322560, 3, 00000, EABL, 1504, "2^4.L(4,2)", 63,64,67], [16, FAC(16)/2, 14, 01001, 1621, 1505, "A(16)", 79,2], [16, FAC(16), 16, 00100, 1621, 1506, "S(16)", 80,1], -[17, 17, 1, 00001, 1701, , , 81], -[17, 34, 1, 00010, 1701, , , 81,82], -[17, 68, 1, 00010, 1701, , , 81,83], -[17, 136, 1, 00010, 1701, , , 81,84], +[17, 17, 1, 00001, 1701, , "17", 81], +[17, 34, 1, 00010, 1701, , "17:2", 81,82], +[17, 68, 1, 00010, 1701, , "17:4", 81,83], +[17, 136, 1, 00010, 1701, , "17:8", 81,84], [17, 272, 2, 10110, 1701, , "AGL(1,17)", 81,85], [17, 4080, 3, 10001, 1706, 1603, "PSL(2,16)", 69,67,86], -[17, 8160, 3, 00000, 1706, 1606, "<PZL(2,16)", 69,67,68,86], +[17, 8160, 3, 00000, 1706, 1606,"PSL(2,16):2", 69,67,68,86], [17, 16320, 3, 00000, 1706, 1610, "PYL(2,16)", 69,67,72,86], [17, FAC(17)/2, 15, 01001, 1709, 1621, "A(17)", 87,2], [17, FAC(17), 17, 00100, 1709, 1622, "S(17)", 81,1], @@ -766,11 +776,11 @@ [18, 4896, 3, 10100, 1801, 1705, "PGL(2,17)", 81,85,88], [18, FAC(18)/2, 16, 01001, 1803, 1709, "A(18)", 89,2], [18, FAC(18), 18, 00100, 1803, 1710, "S(18)", 90,1], -[19, 19, 1, 00001, 1901, , , 91], -[19, 38, 1, 00110, 1901, , , 91,92], -[19, 57, 1, 00010, 1901, , , 91,93], -[19, 114, 1, 00110, 1901, , , 91,94], -[19, 171, 1, 00010, 1901, , , 91,95], +[19, 19, 1, 00001, 1901, , "19", 91], +[19, 38, 1, 00110, 1901, , "19:2", 91,92], +[19, 57, 1, 00010, 1901, , "19:3", 91,93], +[19, 114, 1, 00110, 1901, , "19:6", 91,94], +[19, 171, 1, 00010, 1901, , "19:9", 91,95], [19, 342, 2, 10110, 1901, , "AGL(1,19)", 91,96], [19, FAC(19)/2, 17, 01001, 1907, 1803, "A(19)", 97,2], [19, FAC(19), 19, 00100, 1907, 1804, "S(19)", 91,1], @@ -788,12 +798,12 @@ [21, FAC(21)/2, 19, 11001, 2108, 2003, "A(21)", 109,2], [21, FAC(21), 21, 10100, 2108, 2004, "S(21)", 110,1], [22, 443520, 3, 00001, 2201, 2104, "M(22)", 101,106,111], -[22, 887040, 3, 00100, 2201, 2105, , 101,106,107,111], +[22, 887040, 3, 00100, 2201, 2105, "M(22):2", 101,106,107,111], [22, FAC(22)/2, 20, 11001, 2203, 2108, "A(22)", 112,2], [22, FAC(22), 22, 10100, 2203, 2109, "S(22)", 113,1], -[23, 23, 1, 00001, 2301, , , 114], -[23, 46, 1, 00110, 2301, , , 114,115], -[23, 253, 1, 00010, 2301, , , 114,116], +[23, 23, 1, 00001, 2301, , "23", 114], +[23, 46, 1, 00110, 2301, , "23:2", 114,115], +[23, 253, 1, 00010, 2301, , "23:11", 114,116], [23, 506, 2, 10110, 2301, , "AGL(1,23)", 114,117], [23, 10200960, 4, 00001, 2305, 2201, "M(23)", 101,106,111,118], [23, FAC(23)/2, 21, 11001, 2306, 2203, "A(23)", 119,2], @@ -803,75 +813,75 @@ [24, 244823040, 5, 00001, 2403, 2305, "M(24)", 101,106,111,118,121], [24, FAC(24)/2, 22, 11001, 2404, 2306, "A(24)", 122,2], [24, FAC(24), 24, 10100, 2404, 2307, "S(24)", 123,1], -[25, 75, 1, 00010, EABL, , , 124,125], -[25, 150, 1, 00010, EABL, , , 124,125,126], -[25, 150, 1, 00000, EABL, , , 124,125,127], -[25, 200, 1, 00000, EABL, , , 124,128,129], -[25, 200, 1, 00110, EABL, , , 124,130], -[25, 200, 1, 00010, EABL, , , 124,131,129], -[25, 300, 1, 00010, EABL, , , 124,125,132], -[25, 300, 1, 00010, EABL, , , 124,125,129], -[25, 300, 1, 00000, EABL, , , 124,125,126,127], -[25, 400, 1, 00100, EABL, , , 124,130,127], -[25, 400, 1, 00000, EABL, , , 124,132,128,127], -[25, 600, 1, 00000, EABL, , , 124,125,132,127], -[25, 600, 2, 10010, EABL, , "AGL(1,25)", 124,125,133], -[25, 600, 2, 10110, EABL, , "<AYL(1,25)", 124,125,130], -[25, 600, 2, 10110, EABL, , "Huppert", 124,125,134], -[25, 800, 1, 00100, EABL, , , 124,130,135], -[25, 1200, 2, 00000, EABL, , "AYL(1,25)", 124,125,133,136], -[25, 1200, 2, 00100, EABL, , "Huppert", 124,125,130,127], -[25, 2400, 2, 00100, EABL, , "Huppert", 124,125,133,137], +[25, 75, 1, 00010, EABL, , "5^2:3", 124,125], +[25, 150, 1, 00010, EABL, , "5^2:6", 124,125,126], +[25, 150, 1, 00000, EABL, , "5^2:S_3", 124,125,127], +[25, 200, 1, 00000, EABL, , "5^2:D_8", 124,128,129], +[25, 200, 1, 00110, EABL, , "5^2:8", 124,130], +[25, 200, 1, 00010, EABL, , "5^2:Q_8", 124,131,129], +[25, 300, 1, 00010, EABL, , "5^2:12", 124,125,132], +[25, 300, 1, 00010, EABL, ,"5^2:Q_12 ??", 124,125,129], +[25, 300, 1, 00000, EABL, , "5^2:D_12", 124,125,126,127], +[25, 400, 1, 00100, EABL, , "5^2:8:2", 124,130,127], +[25, 400, 1, 00000, EABL, , "5^2:D_8:2", 124,132,128,127], +[25, 600, 1, 00000, EABL, , "5^2:4xD_6", 124,125,132,127], +[25, 600, 2, 10010, EABL, ,"5^2:(Q_8:3)", 124,125,133], +[25, 600, 2, 10110, EABL, , "AGL(1,25)", 124,125,130], +[25, 600, 2, 10110, EABL, , "5^2:3:8", 124,125,134], +[25, 800, 1, 00100, EABL, ,"5^2:O_2+(5)", 124,130,135], +[25, 1200, 2, 00000, EABL, ,"5^2:((Q_8:3)`2)", 124,125,133,136], +[25, 1200, 2, 00100, EABL, , "AYL(2,5)", 124,125,130,127], +[25, 2400, 2, 00100, EABL, ,"5^2:((Q_8:3)`4)", 124,125,133,137], [25, 3000, 2, 00000, EABL, , "ASL(2,5)", 124,125,138], -[25, 6000, 2, 00000, EABL, , "<AGL(2,5)", 124,125,127,138], -[25, 7200, 1, 00000, , , , 127,139,140], +[25, 6000, 2, 00000, EABL, , "ASL(2,5):2", 124,125,127,138], +[25, 7200, 1, 00000, , ,"(A_5xA_5):2", 127,139,140], [25, 12000, 2, 00100, EABL, , "AGL(2,5)", 124,125,135,138], -[25, 14400, 1, 00000, , , , 127,139,140,141], -[25, 14400, 1, 00100, , , , 139,140,142], -[25, 28800, 1, 00100, , , , 127,139,140,142], +[25, 14400, 1, 00000, , ,"(A_5xA_5):2^2", 127,139,140,141], +[25, 14400, 1, 00100, , ,"(A_5xA_5):4", 139,140,142], +[25, 28800, 1, 00100, , ,"(S_5xS_5):2", 127,139,140,142], [25, FAC(25)/2, 23, 11001, 2527, 2404, "A(25)", 143,2], [25, FAC(25), 25, 10100, 2527, 2405, "S(25)", 144,1], [26, 7800, 2, 01001, 2601, 2507, "PSL(2,25)", 124,125,132,145], [26, 15600, 2, 01000, 2601, 2512, "PZL(2,25)", 124,125,132,127,145], [26, 15600, 3, 10100, 2601, 2514, "PGL(2,25)", 124,125,130,145], -[26, 15600, 3, 10100, 2601, 2515, "<PYL(2,25)", 124,125,134,145], +[26, 15600, 3, 10100, 2601, 2515,"PSL(2,25).2", 124,125,134,145], [26, 31200, 3, 00100, 2601, 2518, "PYL(2,25)", 124,125,130,127,145], [26, FAC(26)/2, 24, 11001, 2606, 2527, "A(26)", 146,2], [26, FAC(26), 26, 10100, 2606, 2528, "S(26)", 147,1], -[27, 324, 1, 00000, EABL, , , 148,149,150], -[27, 351, 1, 00010, EABL, , , 148,151], -[27, 648, 1, 00000, EABL, , , 148,149,150,152], -[27, 648, 1, 00100, EABL, , , 148,149,153], -[27, 648, 1, 00100, EABL, , , 148,149,150,154], +[27, 324, 1, 00000, EABL, , "3^3.A_4", 148,149,150], +[27, 351, 1, 00010, EABL, , "3^3:13", 148,151], +[27, 648, 1, 00000, EABL, , "3^3(A_4x2)", 148,149,150,152], +[27, 648, 1, 00100, EABL, , "3^3.S_4", 148,149,153], +[27, 648, 1, 00100, EABL, , "3^3.2.A_4", 148,149,150,154], [27, 702, 2, 10110, EABL, , "AGL(1,27)", 148,151,155], -[27, 1053, 1, 00000, EABL, , , 148,151,156], -[27, 1296, 1, 00100, EABL, , , 148,149,153,154], +[27, 1053, 1, 00000, EABL, , "3^3.13.3", 148,151,156], +[27, 1296, 1, 00100, EABL, , "3^3(S_4x2)", 148,149,153,154], [27, 2106, 2, 00100, EABL, , "AYL(1,27)", 148,151,157], [27, 25920, 1, 00001, 2710, , "PSp(4,3)", 158,159], -[27, 51840, 1, 00000, 2710, , , 158,159,160], +[27, 51840, 1, 00000, 2710, , "PSp(4,3):2", 158,159,160], [27, 151632, 2, 00000, EABL, , "ASL(3,3)", 148,149,151], -[27, 303264, 2, 00100, EABL, , "AZL(3,3)", 148,153,151], +[27, 303264, 2, 00100, EABL, , "AGL(3,3)", 148,153,151], [27, FAC(27)/2, 25, 11001, 2714, 2606, "A(27)", 161,2], [27, FAC(27), 27, 10100, 2714, 2607, "S(27)", 162,1], [28, 336, 1, 00000, , , "PGL(2,7)", 163,164,165], [28, 504, 1, 00001, 2802, , "PSL(2,8)", 166,167], -[28, 1512, 2, 00000, 2802, , "PZL(2,8)", 166,167,168], +[28, 1512, 2, 00000, 2802, , "PYL(2,8)", 166,167,168], [28, 6048, 2, 00001, 2804, , "PSU(3,3^2)", 169,170], [28, 9828, 2, 01001, 2805, 2702, "PSL(2,27)", 148,151,171], -[28, 12096, 2, 00000, 2804, , "PZU(3,3^2)", 169,170,172], +[28, 12096, 2, 00000, 2804, , "PYU(3,3^2)", 169,170,172], [28, 19656, 3, 10100, 2805, 2706, "PGL(2,27)", 148,151,155,171], [28, 20160, 1, 00001, 2808, , "A(8)", 163,173], -[28, 29484, 2, 01000, 2805, 2707, "PZL(2,27)", 148,151,156,171], +[28, 29484, 2, 01000, 2805, 2707,"PSL(2,27):3", 148,151,156,171], [28, 40320, 1, 00000, 2808, , "S(8)", 163,174], [28, 58968, 3, 00100, 2805, 2709, "PYL(2,27)", 148,151,157,171], [28, 1451520, 2, 01001, 2812, 2711, "PSp(6,2)", 158,159,160,175], [28, FAC(28)/2, 26, 11001, 2813, 2714, "A(28)", 176,2], [28, FAC(28), 28, 10100, 2813, 2715, "S(28)", 177,1], -[29, 29, 1, 00001, 2901, , , 178], -[29, 58, 1, 00010, 2901, , , 178,179], -[29, 116, 1, 00110, 2901, , , 178,180], -[29, 203, 1, 00010, 2901, , , 178,181], -[29, 406, 1, 00010, 2901, , , 178,182], +[29, 29, 1, 00001, 2901, , "29", 178], +[29, 58, 1, 00010, 2901, , "29:2", 178,179], +[29, 116, 1, 00110, 2901, , "29:4", 178,180], +[29, 203, 1, 00010, 2901, , "29:7", 178,181], +[29, 406, 1, 00010, 2901, , "29:14", 178,182], [29, 812, 2, 10110, 2901, , "AGL(1,29)", 178,183], [29, FAC(29)/2, 27, 11001, 2907, 2813, "A(29)", 184,2], [29, FAC(29), 29, 10100, 2907, 2814, "S(29)", 178,1], @@ -879,14 +889,14 @@ [30, 24360, 3, 10100, 3001, 2906, "PGL(2,29)", 178,183,185], [30, FAC(30)/2, 28, 11001, 3003, 2907, "A(30)", 186,2], [30, FAC(30), 30, 10100, 3003, 2908, "S(30)", 187,1], -[31, 31, 1, 00001, 3101, , , 188], -[31, 62, 1, 00110, 3101, , , 188,189], -[31, 93, 1, 00010, 3101, , , 188,190], -[31, 155, 1, 00010, 3101, , , 188,191], -[31, 186, 1, 00110, 3101, , , 188,192], -[31, 310, 1, 00110, 3101, , , 188,193], -[31, 465, 1, 00010, 3101, , , 188,194], -[31, 930, 2, 10110, 3101, , , 188,195], +[31, 31, 1, 00001, 3101, , "31", 188], +[31, 62, 1, 00110, 3101, , "31:2", 188,189], +[31, 93, 1, 00010, 3101, , "31:3", 188,190], +[31, 155, 1, 00010, 3101, , "31:5", 188,191], +[31, 186, 1, 00110, 3101, , "31:6", 188,192], +[31, 310, 1, 00110, 3101, , "31:10", 188,193], +[31, 465, 1, 00010, 3101, , "31:15", 188,194], +[31, 930, 2, 10110, 3101, , "AGL(1,31)", 188,195], [31, 372000, 2, 00001, 3109, , "PSL(3,5)", 188,190,196], [31, 9999360, 2, 00001, 3110, , "PSL(5,2)", 188,191,197], [31, FAC(31)/2, 29, 11001, 3111, 3003, "A(31)", 198,2], @@ -899,7 +909,7 @@ [32, FAC(32)/2, 30, 11001, 3206, 3111, "A(32)", 201,2], [32, FAC(32), 32, 10100, 3206, 3112, "S(32)", 202,1], [33, 32736, 3, 11001, 3301, 3201, "PSL(2,32)", 188,199,203], -[33, 163680, 3, 01000, 3301, 3202, "PZL(2,32)", 188,191,199,203], +[33, 163680, 3, 01000, 3301, 3202, "PYL(2,32)", 188,191,199,203], [33, FAC(33)/2, 31, 11001, 3303, 3206, "A(33)", 204,2], [33, FAC(33), 33, 10100, 3303, 3207, "S(33)", 205,1], [34, FAC(34)/2, 32, 11001, 3401, 3303, "A(34)", 206,2], @@ -911,36 +921,36 @@ [35, FAC(35)/2, 33, 11001, 3505, 3401, "A(35)", 213,2], [35, FAC(35), 35, 10100, 3505, 3402, "S(35)", 214,1], [36, 504, 1, 00001, 3601, , "PSL(2,8)", 215,216,217], -[36, 720, 1, 00100, , , , 218,219,220], -[36, 720, 1, 00100, , , , 218,221,222,220], -[36, 1440, 1, 00100, , , , 218,219,223,220], -[36, 1512, 1, 00000, 3601, , , 215,216,217,224], +[36, 720, 1, 00100, , , "PGL(2,9)", 218,219,220], +[36, 720, 1, 00100, , , "M_10", 218,221,222,220], +[36, 1440, 1, 00100, , , "PYL(2,9)", 218,219,223,220], +[36, 1512, 1, 00000, 3601, , "PYL(2,8)", 215,216,217,224], [36, 6048, 1, 00001, 3606, , "PSU(3,3^2)", 225,226,227,228], -[36, 7200, 1, 00100, , , , 229,230,231], -[36, 12096, 1, 00000, 3606, , , 225,226,227,232,228], -[36, 14400, 1, 00100, , , , 229,230,233], -[36, 14400, 1, 00100, , , , 229,230,231,234], +[36, 7200, 1, 00100, , ,"(A_5xA_5):2", 229,230,231], +[36, 12096, 1, 00000, 3606, , "PYU(3,3^2)", 225,226,227,232,228], +[36, 14400, 1, 00100, , ,"((A_5xA_5):2)2", 229,230,233], +[36, 14400, 1, 00100, , ,"(A_5xA_5).4", 229,230,231,234], [36, 25920, 1, 00001, 3611, , "PSp(4,3)", 235,236], -[36, 28800, 1, 00100, , , , 229,230,231,233], -[36, 51840, 1, 00000, 3611, , , 235,236,237], +[36, 28800, 1, 00100, , ,"(S_5xS_5):2", 229,230,231,233], +[36, 51840, 1, 00000, 3611, , "PSp(4,3):2", 235,236,237], [36, 181440, 1, 00001, 3614, , "A(9)", 238,239], -[36, 259200, 1, 00100, , , , 240,241,242], +[36, 259200, 1, 00100, , ,"(A_6xA_6):2", 240,241,242], [36, 362880, 1, 00100, 3614, , "S(9)", 238,243], -[36, 518400, 1, 00100, , , , 240,241,244], -[36, 518400, 1, 00100, , , , 240,241,242,245], -[36, 1036800, 1, 00100, , , , 240,241,242,244], +[36, 518400, 1, 00100, , ,"(A_6xA_6):4", 240,241,244], +[36, 518400, 1, 00100, , ,"(A_6xA_6):2^2", 240,241,242,245], +[36, 1036800, 1, 00100, , ,"(S_6xS_6):2", 240,241,242,244], [36, 1451520, 2, 01001, 3620, 3504, "PSp(6,2)", 208,212,246], [36, FAC(36)/2, 34, 11001, 3621, 3505, "A(36)", 247,2], [36, FAC(36), 36, 10100, 3621, 3506, "S(36)", 248,1], -[37, 37, 1, 00001, 3701, , , 249], -[37, 74, 1, 00010, 3701, , , 249,250], -[37, 111, 1, 00010, 3701, , , 249,251], -[37, 148, 1, 00110, 3701, , , 249,252], -[37, 222, 1, 00010, 3701, , , 249,253], -[37, 333, 1, 00010, 3701, , , 249,254], -[37, 444, 1, 00110, 3701, , , 249,255], -[37, 666, 1, 00010, 3701, , , 249,256], -[37, 1332, 2, 10110, 3701, , , 249,257], +[37, 37, 1, 00001, 3701, , "37", 249], +[37, 74, 1, 00010, 3701, , "37:2", 249,250], +[37, 111, 1, 00010, 3701, , "37:3", 249,251], +[37, 148, 1, 00110, 3701, , "37:4", 249,252], +[37, 222, 1, 00010, 3701, , "37:6", 249,253], +[37, 333, 1, 00010, 3701, , "37:9", 249,254], +[37, 444, 1, 00110, 3701, , "37:12", 249,255], +[37, 666, 1, 00010, 3701, , "37:18", 249,256], +[37, 1332, 2, 10110, 3701, , "AGL(1,37)", 249,257], [37, FAC(37)/2, 35, 11001, 3710, 3621, "A(37)", 258,2], [37, FAC(37), 37, 10100, 3710, 3622, "S(37)", 249,1], [38, 25308, 2, 01001, 3801, 3708, "PSL(2,37)", 249,256,259], @@ -951,108 +961,108 @@ [39, FAC(39), 39, 10100, 3901, 3804, "S(39)", 263,1], [40, 25920, 1, 00001, 4001, , "PSp(4,3)", 264,265], [40, 25920, 1, 00001, 4002, , "PSp(4,3)", 266,267], -[40, 51840, 1, 00000, 4001, , , 264,265,268], -[40, 51840, 1, 00100, 4002, , , 266,267,269], +[40, 51840, 1, 00000, 4001, , "PSp(4,3):2", 264,265,268], +[40, 51840, 1, 00100, 4002, , "PSp(4,3):2", 266,267,269], [40, 6065280, 2, 00001, 4005, , "PSL(4,3)", 270,271], [40, 12130560, 2, 00100, 4005, , "PGL(4,3)", 270,271,272], [40, FAC(40)/2, 38, 11001, 4007, 3901, "A(40)", 273,2], [40, FAC(40), 40, 10100, 4007, 3902, "S(40)", 274,1], -[41, 41, 1, 00001, 4101, , , 275], -[41, 82, 1, 00010, 4101, , , 275,276], -[41, 164, 1, 00010, 4101, , , 275,277], -[41, 205, 1, 00010, 4101, , , 275,278], -[41, 328, 1, 00110, 4101, , , 275,279], -[41, 410, 1, 00010, 4101, , , 275,280], -[41, 820, 1, 00010, 4101, , , 275,281], -[41, 1640, 2, 10110, 4101, , "AYL(1,41)", 275,282], +[41, 41, 1, 00001, 4101, , "41", 275], +[41, 82, 1, 00010, 4101, , "41:2", 275,276], +[41, 164, 1, 00010, 4101, , "41:4", 275,277], +[41, 205, 1, 00010, 4101, , "41:5", 275,278], +[41, 328, 1, 00110, 4101, , "41:8", 275,279], +[41, 410, 1, 00010, 4101, , "41:10", 275,280], +[41, 820, 1, 00010, 4101, , "41:20", 275,281], +[41, 1640, 2, 10110, 4101, , "AGL(1,41)", 275,282], [41, FAC(41)/2, 39, 11001, 4109, 4007, "A(41)", 283,2], [41, FAC(41), 41, 10100, 4109, 4008, "S(41)", 275,1], [42, 34440, 2, 01001, 4201, 4107, "PSL(2,41)", 275,281,284], [42, 68880, 3, 10100, 4201, 4108, "PGL(2,41)", 275,282,284], [42, FAC(42)/2, 40, 11001, 4203, 4109, "A(42)", 285,2], [42, FAC(42), 42, 10100, 4203, 4110, "S(42)", 286,1], -[43, 43, 1, 00001, 4301, , , 287], -[43, 86, 1, 00110, 4301, , , 287,288], -[43, 129, 1, 00010, 4301, , , 287,289], -[43, 258, 1, 00110, 4301, , , 287,290], -[43, 301, 1, 00010, 4301, , , 287,291], -[43, 602, 1, 00110, 4301, , , 287,292], -[43, 903, 1, 00010, 4301, , , 287,293], -[43, 1806, 2, 10110, 4301, , "AYL(1,43)", 287,294], +[43, 43, 1, 00001, 4301, , "43", 287], +[43, 86, 1, 00110, 4301, , "43:2", 287,288], +[43, 129, 1, 00010, 4301, , "43:3", 287,289], +[43, 258, 1, 00110, 4301, , "43:6", 287,290], +[43, 301, 1, 00010, 4301, , "43:7", 287,291], +[43, 602, 1, 00110, 4301, , "43:14", 287,292], +[43, 903, 1, 00010, 4301, , "43:21", 287,293], +[43, 1806, 2, 10110, 4301, , "AGL(1,43)", 287,294], [43, FAC(43)/2, 41, 11001, 4309, 4203, "A(43)", 295,2], [43, FAC(43), 43, 10100, 4309, 4204, "S(43)", 287,1], [44, 39732, 2, 01001, 4401, 4307, "PSL(2,43)", 287,293,296], [44, 79464, 3, 10100, 4401, 4308, "PGL(2,43)", 287,294,296], [44, FAC(44)/2, 42, 11001, 4403, 4309, "A(44)", 297,2], [44, FAC(44), 44, 10100, 4403, 4310, "S(44)", 298,1], -[45, 720, 1, 00000, , , , 299,300,301], -[45, 720, 1, 00000, , , , 299,302,303,301], -[45, 1440, 1, 00000, , , , 299,300,304,301], +[45, 720, 1, 00000, , , "PGL(2,9)", 299,300,301], +[45, 720, 1, 00000, , , "M_10", 299,302,303,301], +[45, 1440, 1, 00000, , , "PYL(2,9)", 299,300,304,301], [45, 25920, 1, 00001, 4504, , "PSp(4,3)", 305,306], -[45, 51840, 1, 00100, 4504, , , 305,306,307], +[45, 51840, 1, 00100, 4504, , "PSp(4,3):2", 305,306,307], [45, 1814400, 1, 00001, 4506, , "A(10)", 308,309], [45, 3628800, 1, 00000, 4506, , "S(10)", 308,309,310], [45, FAC(45)/2, 43, 11001, 4508, 4403, "A(45)", 311,2], [45, FAC(45), 45, 10100, 4508, 4404, "S(45)", 312,1], [46, FAC(46)/2, 44, 11001, 4601, 4508, "A(46)", 313,2], [46, FAC(46), 46, 10100, 4601, 4509, "S(46)", 314,1], -[47, 47, 1, 00001, 4701, , , 315], -[47, 94, 1, 00110, 4701, , , 315,316], -[47, 1081, 1, 00010, 4701, , , 315,317], -[47, 2162, 2, 10110, 4701, , , 315,318], +[47, 47, 1, 00001, 4701, , "47", 315], +[47, 94, 1, 00110, 4701, , "47:2", 315,316], +[47, 1081, 1, 00010, 4701, , "47:23", 315,317], +[47, 2162, 2, 10110, 4701, , "AGL(1,47)", 315,318], [47, FAC(47)/2, 45, 11001, 4705, 4601, "A(47)", 319,2], [47, FAC(47), 47, 10100, 4705, 4602, "S(47)", 315,1], [48, 51888, 2, 01001, 4801, 4703, "PSL(2,47)", 315,317,320], [48, 103776, 3, 10100, 4801, 4704, "PGL(2,47)", 315,318,320], [48, FAC(48)/2, 46, 11001, 4803, 4705, "A(48)", 321,2], [48, FAC(48), 48, 10100, 4803, 4706, "S(48)", 322,1], -[49, 196, 1, 00010, EABL, , , 323,324], -[49, 294, 1, 00100, EABL, , , 323,325,326], -[49, 392, 1, 00010, EABL, , , 323,327], -[49, 392, 1, 00010, EABL, , , 323,324,328], -[49, 392, 1, 00100, EABL, , , 323,324,329], -[49, 588, 1, 00010, EABL, , , 323,325,324], -[49, 588, 1, 00010, EABL, , , 323,330,324], -[49, 588, 1, 00100, EABL, , , 323,325,331,326], -[49, 784, 1, 00010, EABL, , , 323,327,328], -[49, 784, 1, 00110, EABL, , , 323,332], -[49, 784, 1, 00100, EABL, , , 323,327,329], -[49, 882, 1, 00100, EABL, , , 323,333,326], -[49, 1176, 1, 00010, EABL, , , 323,330,327], -[49, 1176, 1, 00010, EABL, , , 323,330,324,328], -[49, 1176, 1, 00010, EABL, , , 323,324,328,334], -[49, 1176, 1, 00000, EABL, , , 323,324,328,335], -[49, 1176, 1, 00100, EABL, , , 323,325,329,326], -[49, 1176, 1, 00100, EABL, , , 323,330,324,329], -[49, 1568, 1, 00100, EABL, , , 323,332,329], -[49, 1764, 1, 00000, EABL, , , 323,333,324], -[49, 1764, 1, 00100, EABL, , , 323,333,331,326], -[49, 2352, 2, 10010, EABL, , "AGL(1,49)", 323,327,328,334], -[49, 2352, 2, 10010, EABL, , "<AYL(1,49)", 323,330,327,328], -[49, 2352, 2, 10110, EABL, , "Huppert", 323,330,332], -[49, 2352, 1, 00100, EABL, , , 323,330,327,329], -[49, 3528, 1, 00000, EABL, , , 323,330,328,324,334], -[49, 3528, 1, 00100, EABL, , , 323,333,329,326], +[49, 196, 1, 00010, EABL, , "7^2:4", 323,324], +[49, 294, 1, 00100, EABL, , "7^2:S_3", 323,325,326], +[49, 392, 1, 00010, EABL, , "7^2:8", 323,327], +[49, 392, 1, 00010, EABL, , "7^2:Q_8", 323,324,328], +[49, 392, 1, 00100, EABL, , "7^2:D_8", 323,324,329], +[49, 588, 1, 00010, EABL, , "7^2:Q_12", 323,325,324], +[49, 588, 1, 00010, EABL, , "7^2:12", 323,330,324], +[49, 588, 1, 00100, EABL, , "7^2:D_12", 323,325,331,326], +[49, 784, 1, 00010, EABL, , "7^2:Q_16", 323,327,328], +[49, 784, 1, 00110, EABL, , "7^2:16", 323,332], +[49, 784, 1, 00100, EABL, , "7^2:D_16", 323,327,329], +[49, 882, 1, 00100, EABL, , "7^2:3xD_6", 323,333,326], +[49, 1176, 1, 00010, EABL, , "7^2:24", 323,330,327], +[49, 1176, 1, 00010, EABL, , "7^2:3xQ_8", 323,330,324,328], +[49, 1176, 1, 00010, EABL, , "7^2:Q_8:3", 323,324,328,334], +[49, 1176, 1, 00000, EABL, , "7^2:Q_8:3", 323,324,328,335], +[49, 1176, 1, 00100, EABL, , "7^2:3:D_8", 323,325,329,326], +[49, 1176, 1, 00100, EABL, , "7^2:3xD_8", 323,330,324,329], +[49, 1568, 1, 00100, EABL, , "7^2:Q_16:2", 323,332,329], +[49, 1764, 1, 00000, EABL, , "7^2:3xQ_12", 323,333,324], +[49, 1764, 1, 00100, EABL, , "7^2:3xD_12", 323,333,331,326], +[49, 2352, 2, 10010, EABL, ,"7^2:(Q_8`D_6)", 323,327,328,334], +[49, 2352, 2, 10010, EABL, ,"7^2:(3xQ_16)", 323,330,327,328], +[49, 2352, 2, 10110, EABL, , "AGL(1,49)", 323,330,332], +[49, 2352, 1, 00100, EABL, , "7^2:3xD_16", 323,330,327,329], +[49, 3528, 1, 00000, EABL, ,"7^2:3x(Q_8:3)", 323,330,328,324,334], +[49, 3528, 1, 00100, EABL, ,"(AGL(1,7)^2):2", 323,333,329,326], [49, 4704, 2, 00100, EABL, , "AYL(1,49)", 323,330,332,329], -[49, 7056, 2, 00000, EABL, , "Huppert", 323,330,328,327,334], +[49, 7056, 2, 00000, EABL, ,"7^2:((Q_8`D_6)x3)", 323,330,328,327,334], [49, 16464, 2, 00000, EABL, , "ASL(2,7)", 323,336,324], -[49, 32928, 2, 00100, EABL, , ">ASL(2,7)", 323,336,324,326], -[49, 49392, 2, 00000, EABL, , ">ASL(2,7)", 323,336,324,330], -[49, 56448, 1, 00100, , , , 337,338,326], +[49, 32928, 2, 00100, EABL, , "ASL(2,7):2", 323,336,324,326], +[49, 49392, 2, 00000, EABL, , "ASL(2,7):3", 323,336,324,330], +[49, 56448, 1, 00100, , ,"(PSL(3,2)^2):2", 337,338,326], [49, 98784, 2, 00100, EABL, , "AGL(2,7)", 323,336,324,326,330], -[49, 12700800, 1, 00100, , , , 339,340,326], -[49, 25401600, 1, 00000, , , , 339,340,326,341], -[49, 25401600, 1, 00100, , , , 339,340,342], -[49, 50803200, 1, 00100, , , , 339,340,326,343], +[49, 12700800, 1, 00100, , ,"(A_7xA_7):2", 339,340,326], +[49, 25401600, 1, 00100, , ,"(A_7xA_7):2^2", 339,340,326,341], +[49, 25401600, 1, 00000, , ,"(A_7xA_7):4", 339,340,342], +[49, 50803200, 1, 00100, , ,"(S_7xS_7):2", 339,340,326,343], [49, FAC(49)/2, 47, 11001, 4939, 4803, "A(49)", 344,2], [49, FAC(49), 49, 10100, 4939, 4804, "S(49)", 345,1], [50, 58800, 2, 01001, 5001, 4913, "PSL(2,49)", 323,330,327,346], [50, 117600, 3, 10000, 5001, 4922, "PGL(2,49)", 323,330,327,328,346], -[50, 117600, 3, 10100, 5001, 4924, , 323,330,332,346], -[50, 117600, 2, 01100, 5001, 4925, , 323,330,327,329,346], +[50, 117600, 3, 10100, 5001, 4924,"PSL(2,49):2", 323,330,332,346], +[50, 117600, 2, 01100, 5001, 4925,"PSL(2,49):2", 323,330,327,329,346], [50, 126000, 1, 00001, 5005, , "PSU(3,5^2)", 347,348,349,350], -[50, 235200, 3, 00100, 5001, 4928, , 323,330,332,329,346], -[50, 252000, 1, 00000, 5005, , , 351,348,349,350], +[50, 235200, 3, 00100, 5001, 4928, "PYL(2,49)", 323,330,332,329,346], +[50, 252000, 1, 00000, 5005, ,"PSU(3,5^2):2", 351,348,349,350], [50, FAC(50)/2, 48, 11001, 5008, 4939, "A(50)", 352,2], [50, FAC(50), 50, 10100, 5008, 4940, "S(50)", 353,1] @@ -1107,11 +1117,10 @@ od; # check the number - if Length(PGTable) < deg then + if PGTable[ Length(PGTable) ][1] < deg then Error("<deg> is too large"); fi; - if not IsBound( PGTable[h+nr] ) - or PGTable[h+nr-1][1] <> deg then + if not IsBound( PGTable[h+nr-1] ) or PGTable[h+nr-1][1] <> deg then Error("<nr> is too large"); fi; @@ -1155,7 +1164,7 @@ fi; od; inds := inds2; grps := grps2; - + # special case for Size elif arg[2*i-1] = Size then @@ -1292,7 +1301,7 @@ fi; res := arg[2*i-1](grp); - hasProps := hasProps + hasProps := hasProps and (res = arg[2*i] or (IsList(arg[2*i]) and res in arg[2*i])); @@ -1302,7 +1311,7 @@ i := i + 1; od; # run over the properties - + # if the group has all properties, return it if hasProps then if IsInt(grp) then END OF bugfix10.dif ________________________________________________________