Dear GAP-Forum,
This is to announce bugfix number 11 for the GAP library. The priority
of this fix is high.
This fix corrects:
1) A problem with `CharacterDegrees' not finishing for some groups.
2) An error in `Resultant' when applied to multivariate polynomials.
3) An error when computing the automorphism group of small cyclic groups.
4) An error when intersecting groups with cosets.
5) An error when sorting conjugacy classes during the calculation of
character tables.
6) It also provides a workaround for a problem in `OneCocycles'.
Errors 1-5 lead to syntax errors, error 6 may lead to wrong results.
Many thanks to:
Marina Avitabile for finding and fixing bug 1,
Simon Norton for reporting bug 2,
Eamonn O'Brien for reporting bug 3,
Matthias Kratzer for reporting bug 4,
Jan Clausnitzer for reporting bug 5,
Burkhard H"ofling for reporting bug 6
To apply the fix, load the zoo archive 'fix11.zoo' from the
bugfixes web page
http://www-gap.dcs.st-and.ac.uk/~gap/Info/bugfixes.html
Alternatively you can find this file in the 'bugfixes' directory of the
GAP ftp distribution.
Unpack the file in the home directory of your GAP distribution (the
directory containing the 'lib' and 'etc' directories) using 'unzoo -x
fix11.zoo' (On a PC or a Mac you will have to enter the argument line after
the call to 'unzoo'.) This will replace the erraneous file by fixed versions.
Make sure you have write permissions when applying the fix.
You do not need to recompile.
You can remove the file 'description11' afterwards.
Alexander Hulpke, 10-Apr-98
############################################################################# ## ## These commands should run without error if the fix has been applied. ## g:=TwoGroup(256,529); CharacterDegrees(g); aa:=E(3)+EB(5); mp:=MinimalPolynomial(aa); alpha:=RootOf(mp); ee:=AlgebraicExtension(mp); pp:=Polynomial(ee,[(alpha+1)^2-2,-(alpha+1)^2,1]); TragerFact(pp); Size(AutomorphismGroupAbelianGroup(CyclicGroup(4))); G:=CyclicGroup(7); Glcs:=LeftCosets(G,Centre(G));; List(Glcs,c->Intersection(c,DerivedSubgroup(G))); p1:=(1,2,3,5,4)(6,8,9,7,10)(11,14,15,13,12) (16,18,19,17,20)(21,24,25,23,22)(26,27,28,30,29) (31,34,35,33,32)(36,39,40,38,37)(41,43,44,42,45) (46,47,48,50,49)(51,54,55,53,52)(56,58,59,57,60) (61,62,63,65,64)(66,69,70,68,67)(71,74,75,73,72) (76,77,78,80,79)(81,84,85,83,82)(86,89,90,88,87) (91,93,94,92,95)(96,97,98,100,99)(101,104,105,103,102) (106,108,109,107,110)(111,112,113,115,114)(116,119,120,118,117) (121,124,125,123,122); p2:=(1,6,11,21,16)(2,8,14,24,18)(3,9,15,25,19) (4,10,12,22,20)(5,7,13,23,17)(26,119,90,33,99) (27,120,88,32,96)(28,118,87,31,97)(29,116,89,35,100) (30,117,86,34,98)(36,67,80,48,84)(37,68,78,47,81) (38,70,77,46,82)(39,66,79,50,85)(40,69,76,49,83) (41,125,114,54,57)(42,121,113,52,58)(43,123,111,55,60) (44,122,112,53,56)(45,124,115,51,59)(61,73,93,110,105) (62,72,94,106,103)(63,71,92,108,102)(64,75,91,107,104) (65,74,95,109,101); p3:=(1,26,51,101,76)(2,27,54,104,77)(3,28,55,105,78) (4,29,52,102,79)(5,30,53,103,80)(6,117,57,63,47) (7,120,58,61,49)(8,116,60,65,48)(9,119,56,64,50) (10,118,59,62,46)(11,88,43,72,85)(12,90,41,73,84) (13,89,45,75,81)(14,87,44,71,83)(15,86,42,74,82) (16,97,113,107,67)(17,99,111,108,70)(18,98,115,110,66) (19,100,114,106,69)(20,96,112,109,68)(21,35,122,93,38) (22,34,123,91,40)(23,31,125,95,39)(24,33,121,94,37) (25,32,124,92,36); p4:=(2,3,4,5)(6,61,21,36,16,111,11,86)(7,62,25,37,17,112, 15,87)(8,63,22,38,18,113,12,88)(9,64,23,39,19,114,13,89) (10,65,24,40,20,115,14,90)(26,66,101,41,76,116,51,91) (27,70,102,42,77,120,52,92)(28,67,103,43,78,117,53,93) (29,68,104,44,79,118,54,94)(30,69,105,45,80,119,55,95) (31,71,106,46,81,121,56,96)(32,73,108,48,82,123,58,98) (33,74,109,49,83,124,59,99)(34,75,110,50,84,125,60,100) (35,72,107,47,85,122,57,97); B:=Group(p1,p2,p3,p4);; U:=Subgroup(B,[p1,p2,p3]);; CharTable(U);;