GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%1%%2%W tomdiff.tex GAP 4 package `tomlib' Thomas Breuer3%%4%H @(#)$Id: tomdiff.tex,v 1.6 2008/11/26 09:20:47 gap Exp $5%%6%Y Copyright (C) 2003, Lehrstuhl D fuer Mathematik, RWTH Aachen, Germany7%%8%% Plain TeX file, format copied from Simon Norton's famous lists of9%% ATLAS Improvements10%%1112\parskip 1ex plus 0.5ex minus 0.5ex13\parindent0pt1415\font\sf=cmss1016\def\CAS{{\sf CAS}}17\def\GAP{{\sf GAP}}18\def\MOC{{\sf MOC}}1920%\def\contrib#1{(contributed #1)}21\def\contrib#1{}2223\def\tthdump#1{#1}24%%tth: \def\strut{}25%%tth: \def\colon{:}2627%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%28\tthdump{\centerline{\bf Changes in the {\GAP} Library of Tables of Marks}}29%%tth: \title{Changes in the GAP Library of Tables of Marks}3031\bigbreak3233%%tth: \begin{html} <body bgcolor="FFFFFF"> \end{html}3435This list contains the changes in the {\GAP} Library of Tables of Marks36since the release of TomLib~1.0 (together with {\GAP}~4.3) in May 2002.37We denote mathematical errors by {\bf ***} and new information38by {\bf NEW}\null.39We use {\bf C} to denote changes that are not obviously corrections;40the number of these changes is kept small.4142\bigbreak4344%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%45{\bf Release of TomLib~1.1.1 (December 2003)}4647\bigbreak4849Changes are assigned to the simple group involved,50and shown in alphabetical order.5152\medbreak5354555657\halign{\hfil{\bf #}&\quad$#$\hfil&\quad#\hfil$\;\>$&58\vtop{\parindent0pt\hsize=38em\strut#\strut}\cr59***&{^3}D_4(2)&:&The derived subgroups for the classes $2847$ and $2848$60were corrected, they are in the classes $2823$ and $2827$, respectively (not $2847$ and $2848$)\contrib{by Thomas Breuer}.\cr61***&&:&The derived subgroups for the last classes in the maximal62subgroups $S_3 \times L_2(8)$ and $(7 \times L_2(7)):3$ were corrected,63they are in the last but one class not in the last64\contrib{by Thomas Breuer}.\cr65***&Co_3&:&The derived subgroups for the classes $2018$, $2318$, and $2457$66in $Co_3$ were corrected, they are in the classes $1435$, $2048$, and $2442$,67respectively (not $2018$, $2318$, and $2457$)68\contrib{by Thomas Breuer}.\cr69***&&:&The derived subgroups for the last classes in the maximal subgroups70$2 \times M_{12}$, $S_3 \times L_2(8):3$, and $A_4 \times S_5$ were71corrected, they are in the classes $514$, $139$, and $138$, respectively72(not $515$, $144$, and $146$)73\contrib{by Thomas Breuer}.\cr74***&L_3(4)&:&The derived subgroups for the class $199$ in $3.L_3(4).2_3$75were corrected, they are in the class $198$ not $199$76\contrib{by Thomas Breuer}.\cr77***&&:&The generators for the representative of the class $706$ in78$2^2.L_3(4).2_2$ were replaced;79the former generators belonged to a group in class $705$80\contrib{by Thomas Breuer}.\cr81***&O_8^-(2)&:&The straight line programs were corrected;82up to now, the corresponding data stored in the table did not describe83valid straight line programs84\contrib{by Thomas Breuer}.\cr85***&&:&The derived subgroups for the last class in the maximal86subgroup $(S_3 \times S_3 \times A_5):2$ of $O_8^-(2)$ were corrected,87they are in the class $362$ not $368$88\contrib{by Thomas Breuer}.\cr89***&U_3(4)&:&The derived subgroups for the class $80$ in $U_3(4).2$90were corrected, they are in the class $79$ not $80$91\contrib{by Thomas Breuer}.\cr92***&U_4(2)&:&The generators for the representative of the class $110$93in the maximal subgroup $2.(A_4 \times A_4).2.2$ of $U_4(2).2$ were replaced;94the former generators belonged to a group of order $24$ not $12$,95which was conjugate to the representative of class $152$96\contrib{by Thomas Breuer}.\cr97***&U_4(3)&:&The generators for the representatives of the classes $575$ and98$595$ in $U_4(3).2_1$ were replaced; the former generators belonged to groups99of order $192$ not $96$, which were conjugate to the representative of class100$709$101\contrib{by Thomas Breuer}.\cr}102103\bigbreak104105%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%106{\bf Release of TomLib~1.1.2 (February 2004)}107108\bigbreak109110Changes are assigned to the simple group involved,111and shown in alphabetical order.112113\medbreak114115\halign{\hfil{\bf #}&\quad$#$\hfil&\quad#\hfil$\;\>$&116\vtop{\parindent0pt\hsize=38em\strut#\strut}\cr117***&O_8^-(2)&:&The derived subgroups for the class $5269$ were corrected,118they are in the class $5108$ not $5269$119\contrib{by Thomas Breuer}.\cr120***&&:&The fusion from the table of marks of the maximal subgroup121$(A_8 \times 3):2$ was corrected122\contrib{by Thomas Breuer}.\cr}123124\bigbreak125126%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%127{\bf Release of TomLib~1.1.3 (September 2007)}128129\bigbreak130131Changes are assigned to the simple group involved,132and shown in alphabetical order.133134\medbreak135136\halign{\hfil{\bf #}&\quad$#$\hfil&\quad#\hfil$\;\>$&137\vtop{\parindent0pt\hsize=38em\strut#\strut}\cr138NEW&A_{12}&:&The table of marks of $S_{12}$ was added139\contrib{by G\"otz Pfeiffer}.\cr140NEW&A_{13}&:&The table of marks of $A_{13}$ was added141\contrib{by G\"otz Pfeiffer}.\cr}142143\bigbreak144145%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%146{\bf Release of TomLib~1.1.4 (November 2008)}147148\bigbreak149150Changes are assigned to the simple group involved,151and shown in alphabetical order.152153\medbreak154155\halign{\hfil{\bf #}&\quad$#$\hfil&\quad#\hfil$\;\>$&156\vtop{\parindent0pt\hsize=38em\strut#\strut}\cr157***&A_{12}&:&The underlying group of the table of marks of $S_{12}$ was158in fact $S_{13}$, acting on $13$ points;159moreover, it had the group order of $S_{12}$ stored160\contrib{by Joe Bohanon}.\cr}161162\bigbreak163164%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%165%{\bf Since the Release of TomLib~1.1.4}166167%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%168{\bf Release of TomLib~1.2.1 (April 2011)}169170\bigbreak171172Changes are assigned to the simple group involved,173and shown in alphabetical order.174175\medbreak176177\halign{\hfil{\bf #}&\quad$#$\hfil&\quad#\hfil$\;\>$&178\vtop{\parindent0pt\hsize=38em\strut#\strut}\cr179NEW&A_{13}&:&The table of marks of $S_{13}$ and the fusion map into it from $A_{13}$ was added180\contrib{by Liam Naughton}.\cr181NEW&HS&:&The table of marks of $HS.2$ and the fusion map into it from $HS$ was added182\contrib{by Liam Naughton}.\cr183NEW&He&:&The table of marks of $He.2$ and the fusion map into it from $He$ was added184\contrib{by Liam Naughton}.\cr185NEW&Sz(8)&:&The table of marks of $Sz(8).3$ and the fusion map into it from $Sz(8)$ was added186\contrib{by Liam Naughton}.\cr187NEW&^2F_{4}(2)'&:&The table of marks of $^2F_{4}(2)$ and the fusion map into it from $^2F_{4}(2)'$ was added188\contrib{by Liam Naughton}.\cr}189\bigbreak190191%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%192%\bigbreak193194%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%195{\bf Release of TomLib~1.2.2 (September 2011)}196197\bigbreak198199Changes are assigned to the simple group involved,200and shown in alphabetical order. The following standard generators were added/corrected.201202\medbreak203204\halign{\hfil{\bf #}&\quad$#$\hfil&\quad#\hfil$\;\>$&205\vtop{\parindent0pt\hsize=38em\strut#\strut}\cr206***&2.A5&:& generator orders are [ 3, 4 ] not [ 4, 3 ],207the compatibility flag is "N" not "Y"208\contrib{by T Breuer}.\cr209***&2.A6&:& the product of the generators has order 5 not 10210\contrib{by T Breuer}.\cr211***&2.S6&:& generator orders are [ 4, 5 ] not [ 2, 5 ],212\contrib{by T Breuer}.\cr213***&L2(8).3&:& generator orders are [ 2, 6 ] not [ 2, 3 ],214therefore the compatibility flag is "N" not "Y"215\contrib{by T Breuer}.\cr216***&L2(11).2&:& compatibility flag is "Y" not "N"217\contrib{by T Breuer}.\cr218***&L2(13).2&:& generator orders are [ 2, 14 ] not [ 2, 3 ]219\contrib{by T Breuer}.\cr220NEW&3.S7&:& new info record added221\contrib{by T Breuer}.\cr222***&L2(25).2_2&:& generator orders are [ 3, 10 ] not [ 4, 12 ],223additional conditions are $|cd|=4, |cdd|=4$224\contrib{by T Breuer}.\cr225***&L3(4).2_2&:& generator orders are [ 2, 4 ] not [ 2, 5 ],226the compatibility flag is "N" not "Y",227additional conditions are $|C(f)|=16, |ef|=14$228\contrib{by T Breuer}.\cr229***&L3(4).D12&:& generator orders are [ 10, 14 ] not [ 2, 12 ],230additional conditions are $|tu|=12, |tuu|=8, |tu^3|=6,231|ttu^3|=8, |tutuu|=6, |tutuutu^3|=6$232\contrib{by T Breuer}.\cr233***&2^2.L3(4)&:& generator orders are [ 2, 4 ] not [ 2, 10 ],234additional conditions are $|EF|=7, |EFF|=5$235\contrib{by T Breuer}.\cr236***&L2(37)&:& the product of the generators has order 37 not 31,237the compatibility flag is "Y" not "N"238\contrib{by T Breuer}.\cr239***&U4(2).2&:& compatibility flag is "Y" not "N"240\contrib{by T Breuer}.\cr241***&2.U4(2).2&:& compatibility flag is "Y" not "N"242\contrib{by T Breuer}.\cr243NEW&Sz(8):3&:& new info record added244\contrib{by T Breuer}.\cr245NEW&L2(32).5&:& new info record added246\contrib{by T Breuer}.\cr247***&L2(41)&:& compatibility flag is "Y" not "N"248\contrib{by T Breuer}.\cr249***&L2(43)&:& compatibility flag is "Y" not "N"250\contrib{by T Breuer}.\cr251***&L2(47)&:& compatibility flag is "Y" not "N"252\contrib{by T Breuer}.\cr253***&L2(49)&:& the product of the generators has order 25 not 47254\contrib{by T Breuer}.\cr255***&L2(53)&:& compatibility flag is "Y" not "N"256\contrib{by T Breuer}.\cr257***&L2(59)&:& compatibility flag is "Y" not "N"258\contrib{by T Breuer}.\cr259***&L2(61)&:& compatibility flag is "Y" not "N"260\contrib{by T Breuer}.\cr261NEW&U3(5).3&:& had been commented out, note that |C(f)|=36 not 24262\contrib{by T Breuer}.\cr263***&U3(5).S3&:& generator orders are [ 20, 3 ] not [ 3, 12 ],264additional conditions are $|gh|=6, |ghh|=8, |ggh|=24, |g^3h|=10,265|hhghgg|=20$266\contrib{by T Breuer}.\cr}267268\bigbreak269270%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%271%\bigbreak272273\bigskip274%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%275{\bf Release of TomLib~1.2.4 (November 2013)}276277\bigbreak278279Changes are assigned to the simple group involved,280and shown in alphabetical order. The following standard generators were added/corrected.281282\medbreak283284\halign{\hfil{\bf #}&\quad$#$\hfil&\quad#\hfil$\;\>$&285\vtop{\parindent0pt\hsize=38em\strut#\strut}\cr286***&L2(67)&:& compatibility flag is "Y" not "N"287\contrib{by T Breuer}.\cr288***&L2(71)&:& compatibility flag is "Y" not "N"289\contrib{by T Breuer}.\cr290***&S9&:& compatibility flag is "Y" not "N"291\contrib{by T Breuer}.\cr292***&L2(73)&:& compatibility flag is "Y" not "N"293\contrib{by T Breuer}.\cr294***&L2(79)&:& compatibility flag is "Y" not "N"295\contrib{by T Breuer}.\cr296***&L2(64)&:& compatibility flag is "Y" not "N"297\contrib{by T Breuer}.\cr298***&L2(81)&:& the product of the generators has order 41 not 10299\contrib{by T Breuer}.\cr300***&L2(83)&:& compatibility flag is "Y" not "N"301\contrib{by T Breuer}.\cr302***&L2(89)&:& compatibility flag is "Y" not "N"303\contrib{by T Breuer}.\cr304***&L3(5)&:& generator orders are [ 3, 5 ] not [ 5, 3 ]305\contrib{by T Breuer}.\cr306***&L2(97)&:& compatibility flag is "Y" not "N"307\contrib{by T Breuer}.\cr308***&L2(101)&:& compatibility flag is "Y" not "N"309\contrib{by T Breuer}.\cr310***&L2(103)&:& compatibility flag is "Y" not "N"311\contrib{by T Breuer}.\cr312***&J2.2&:& generator orders are [ 2, 5 ] not [ 7, 5 ]313\contrib{by T Breuer}.\cr314***&L2(107)&:& compatibility flag is "Y" not "N"315\contrib{by T Breuer}.\cr316***&L2(109)&:& compatibility flag is "Y" not "N"317\contrib{by T Breuer}.\cr318***&L2(113)&:& compatibility flag is "Y" not "N"319\contrib{by T Breuer}.\cr320***&S4(4)&:& the second generator has centralizer of order 25 not 15321\contrib{by T Breuer}.\cr322NEW&U4(3).2^2_133&:& had been commented out323\contrib{by T Breuer}.\cr324***&G2(3).2&:& generator orders are [ 2, 13 ] not [ 7, 13 ]325\contrib{by T Breuer}.\cr326***&L4(3)&:& generator orders are [ 2, 13 ] not [ 2, 4 ]327the compatibility flag is "N" not "Y"328\contrib{by T Breuer}.\cr329NEW&2F4(2)&:& New info record added330\contrib{by T Breuer}.\cr331***&Sz(32)&:& the element $(ab)^3(bab)^2bbabb$ has order 41 not 25332\contrib{by T Breuer}.\cr333NEW&HS.2&:& new info record added334\contrib{by T Breuer}.\cr335***&J3&:& the element ababb has order 9 not 19336\contrib{by T Breuer}.\cr337NEW&O8+(2)&:& had been commented out338\contrib{by T Breuer}.\cr339NEW&S12&:& new info record added340\contrib{by T Breuer}.\cr341***&M24&:& the last condition is $|(ab)^3(ba)^2bbabb|=4$ not $|(ab)^3(bab)^2bbabb|=4$342\contrib{by T Breuer}.\cr343****&G2(4)&:& compatibility flag is "Y" not "N"344\contrib{by T Breuer}.\cr345NEW&A13&:& new info record added346\contrib{by T Breuer}.\cr347NEW&S13&:& new info record added348\contrib{by T Breuer}.\cr349NEW&He.2&:& new info record added350\contrib{by T Breuer}.\cr}351\bigbreak352353354\bigskip355%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%356{\bf Release of TomLib~1.2.5 (November 2014)}357358\bigskip359%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%360{\bf Release of TomLib~1.2.6 (November 2016)}361\bigbreak362%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%363%\bigbreak364Last update November 7th, 2016.365366\bye367368%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%369%%370%E371372373374