Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/tomlib/htm/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 12.0.2024 mit Größe 38 kB image not shown  

Quelle  tomdiff.htm   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/tomlib/htm/tomdiff.htm


<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
           "http://www.w3.org/TR/REC-html40/loose.dtd">
<html>
<meta name="GENERATOR" content="TtH 4.08">
 <style type="text/css"> div.p { margin-top: 7pt;}</style>
 <style type="text/css"><!--
 td div.comp { margin-top: -0.6ex; margin-bottom: -1ex;}
 td div.comb { margin-top: -0.6ex; margin-bottom: -.6ex;}
 td div.hrcomp { line-height: 0.9; margin-top: -0.8ex; margin-bottom: -1ex;}
 td div.norm {line-height:normal;}
 span.roman {font-family: serif; font-style: normal; font-weight: normal;} 
 span.overacc2 {position: relative;  left: .8em; top: -1.2ex;}
 span.overacc1 {position: relative;  left: .6em; top: -1.2ex;} -->
 <style type="text/css"><!--
 .tiny {font-size:30%;}
 .scriptsize {font-size:xx-small;}
 .footnotesize {font-size:x-small;}
 .smaller {font-size:smaller;}
 .small {font-size:small;}
 .normalsize {font-size:medium;}
 .large {font-size:large;}
 .larger {font-size:x-large;}
 .largerstill {font-size:xx-large;}
 .huge {font-size:300%;}
 -->
   
<title> Changes in the GAP Library of Tables of Marks</title>
 
<h1 align="center">Changes in the GAP Library of Tables of Marks </h1>

<div class="p"><!----></div>
<br /><br />  <body bgcolor="FFFFFF"> 

<div class="p"><!----></div>
This list contains the changes in the <span style="font-family:helvetica"><span class="normalsize">GAP</span></span> Library of Tables of Marks
since the release of TomLib 1.0 (together with <span style="font-family:helvetica"><span class="normalsize">GAP</span></span> 4.3) in May 2002.
We denote mathematical errors by <b>***</b> and new information
by <b>NEW</b>.
We use <b>C</b> to denote changes that are not obviously corrections;
the number of these changes is kept small.

<div class="p"><!----></div>
<br /><br /><b>Release of TomLib 1.1.1 (December 2003)</b>

<div class="p"><!----></div>
<br /><br />Changes are assigned to the simple group involved,
and shown in alphabetical order.

<div class="p"><!----></div>
<br />
<table>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   <sup>3</sup>D<sub>4</sub>(2)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 <td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The derived subgroups for the classes 2847 and 2848
were corrected, they are in the classes 2823 and 2827, respectively (not 2847 and 2848).
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   </td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The derived subgroups for the last classes in the maximal
subgroups S<sub>3</sub> ×L<sub>2</sub>(8) and (7 ×L<sub>2</sub>(7)):3 were corrected,
they are in the last but one class not in the last
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   Co<sub>3</sub></td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The derived subgroups for the classes 2018, 2318, and 2457
in Co<sub>3</sub> were corrected, they are in the classes 1435, 2048, and 2442,
respectively (not 2018, 2318, and 2457)
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   </td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The derived subgroups for the last classes in the maximal subgroups
2 ×M<sub>12</sub>, S<sub>3</sub> ×L<sub>2</sub>(8):3, and A<sub>4</sub> ×S<sub>5</sub> were
corrected, they are in the classes 514, 139, and 138, respectively
(not 515, 144, and 146)
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L<sub>3</sub>(4)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The derived subgroups for the class 199 in 3.L<sub>3</sub>(4).2<sub>3</sub>
were corrected, they are in the class 198 not 199
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   </td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The generators for the representative of the class 706 in
2<sup>2</sup>.L<sub>3</sub>(4).2<sub>2</sub> were replaced;
the former generators belonged to a group in class 705
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   O<sub>8</sub><sup>−</sup>(2)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The straight line programs were corrected;
up to now, the corresponding data stored in the table did not describe
valid straight line programs
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   </td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The derived subgroups for the last class in the maximal
subgroup (S<sub>3</sub> ×S<sub>3</sub> ×A<sub>5</sub>):2 of O<sub>8</sub><sup>−</sup>(2) were corrected,
they are in the class 362 not 368
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   U<sub>3</sub>(4)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The derived subgroups for the class 80 in U<sub>3</sub>(4).2
were corrected, they are in the class 79 not 80
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   U<sub>4</sub>(2)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The generators for the representative of the class 110
in the maximal subgroup 2.(A<sub>4</sub> ×A<sub>4</sub>).2.2 of U<sub>4</sub>(2).2 were replaced;
the former generators belonged to a group of order 24 not 12,
which was conjugate to the representative of class 152
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   U<sub>4</sub>(3)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The generators for the representatives of the classes 575 and
595 in U<sub>4</sub>(3).2<sub>1</sub> were replaced; the former generators belonged to groups
of order 192 not 96, which were conjugate to the representative of class
709
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr></td></tr></table><!--hboxt--></table>


<div class="p"><!----></div>
<br /><br /><b>Release of TomLib 1.1.2 (February 2004)</b>

<div class="p"><!----></div>
<br /><br />Changes are assigned to the simple group involved,
and shown in alphabetical order.

<div class="p"><!----></div>
<br />
<table>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   O<sub>8</sub><sup>−</sup>(2)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 <td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The derived subgroups for the class 5269 were corrected,
they are in the class 5108 not 5269
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   </td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The fusion from the table of marks of the maximal subgroup
(A<sub>8</sub> ×3):2 was corrected
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr></td></tr></table><!--hboxt--></table>


<div class="p"><!----></div>
<br /><br /><b>Release of TomLib 1.1.3 (September 2007)</b>

<div class="p"><!----></div>
<br /><br />Changes are assigned to the simple group involved,
and shown in alphabetical order.

<div class="p"><!----></div>
<br />
<table>
<tr><td valign="top" align="right"><b>NEW</b></td><td valign="top" align="left">   A<sub>12</sub></td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 <td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The table of marks of S<sub>12</sub> was added
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>NEW</b></td><td valign="top" align="left">   A<sub>13</sub></td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The table of marks of A<sub>13</sub> was added
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr></td></tr></table><!--hboxt--></table>


<div class="p"><!----></div>
<br /><br /><b>Release of TomLib 1.1.4 (November 2008)</b>

<div class="p"><!----></div>
<br /><br />Changes are assigned to the simple group involved,
and shown in alphabetical order.

<div class="p"><!----></div>
<br />
<table>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   A<sub>12</sub></td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 <td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The underlying group of the table of marks of S<sub>12</sub> was
in fact S<sub>13</sub>, acting on 13 points;
moreover, it had the group order of S<sub>12</sub> stored
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr></td></tr></table><!--hboxt--></table>


<div class="p"><!----></div>
<br /><br />
<div class="p"><!----></div>
<b>Release of TomLib 1.2.1 (April 2011)</b>

<div class="p"><!----></div>
<br /><br />Changes are assigned to the simple group involved,
and shown in alphabetical order.

<div class="p"><!----></div>
<br />
<table>
<tr><td valign="top" align="right"><b>NEW</b></td><td valign="top" align="left">   A<sub>13</sub></td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 <td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The table of marks of S<sub>13</sub> and the fusion map into it from A<sub>13</sub> was added
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>NEW</b></td><td valign="top" align="left">   HS</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The table of marks of HS.2 and the fusion map into it from HS was added
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>NEW</b></td><td valign="top" align="left">   He</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The table of marks of He.2 and the fusion map into it from He was added
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>NEW</b></td><td valign="top" align="left">   Sz(8)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The table of marks of Sz(8).3 and the fusion map into it from Sz(8) was added
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>NEW</b></td><td valign="top" align="left">   <sup>2</sup>F<sub>4</sub>(2)′</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
The table of marks of <sup>2</sup>F<sub>4</sub>(2) and the fusion map into it from <sup>2</sup>F<sub>4</sub>(2)′ was added
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr></td></tr></table><!--hboxt--></table>


<div class="p"><!----></div>
<br /><br />
<div class="p"><!----></div>
<b>Release of TomLib 1.2.2 (September 2011)</b>

<div class="p"><!----></div>
<br /><br />Changes are assigned to the simple group involved,
and shown in alphabetical order. The following standard generators were added/corrected.

<div class="p"><!----></div>
<br />
<table>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   2.A5</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 <td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
generator orders are [ 3, 4 ] not [ 4, 3 ],
          the compatibility flag is "N" not "Y"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   2.A6</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
the product of the generators has order 5 not 10
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   2.S6</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
generator orders are [ 4, 5 ] not [ 2, 5 ],
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(8).3</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
generator orders are [ 2, 6 ] not [ 2, 3 ],
             therefore the compatibility flag is "N" not "Y"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(11).2</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(13).2</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
generator orders are [ 2, 14 ] not [ 2, 3 ]
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>NEW</b></td><td valign="top" align="left">   3.S7</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
new info record added
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(25).2<sub>2</sub></td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
generator orders are [ 3, 10 ] not [ 4, 12 ],
                additional conditions are |cd|=4, |cdd|=4
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L3(4).2<sub>2</sub></td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
generator orders are [ 2, 4 ] not [ 2, 5 ],
               the compatibility flag is "N" not "Y",
               additional conditions are |C(f)|=16, |ef|=14
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L3(4).D12</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
generator orders are [ 10, 14 ] not [ 2, 12 ],
               additional conditions are |tu|=12, |tuu|=8, |tu<sup>3</sup>|=6, |ttu<sup>3</sup>|=8, |tutuu|=6, |tutuutu<sup>3</sup>|=6
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   2<sup>2</sup>.L3(4)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
generator orders are [ 2, 4 ] not [ 2, 10 ],
              additional conditions are |EF|=7, |EFF|=5
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(37)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
the product of the generators has order 37 not 31,
            the compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   U4(2).2</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   2.U4(2).2</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>NEW</b></td><td valign="top" align="left">   Sz(8):3</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
new info record added
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>NEW</b></td><td valign="top" align="left">   L2(32).5</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
new info record added
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(41)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(43)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(47)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(49)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
the product of the generators has order 25 not 47
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(53)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(59)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(61)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>NEW</b></td><td valign="top" align="left">   U3(5).3</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
had been commented out, note that  - C(f) - =36 not 24
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   U3(5).S3</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
generator orders are [ 20, 3 ] not [ 3, 12 ],
              additional conditions are |gh|=6, |ghh|=8, |ggh|=24, |g<sup>3</sup>h|=10, |hhghgg|=20
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr></td></tr></table><!--hboxt--></table>


<div class="p"><!----></div>
<br /><br />
<div class="p"><!----></div>
<br /><br /><b>Release of TomLib 1.2.4 (November 2013)</b>

<div class="p"><!----></div>
<br /><br />Changes are assigned to the simple group involved,
and shown in alphabetical order. The following standard generators were added/corrected.

<div class="p"><!----></div>
<br />
<table>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(67)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 <td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(71)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   S9</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(73)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(79)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(64)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(81)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
the product of the generators has order 41 not 10
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(83)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(89)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L3(5)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
generator orders are [ 3, 5 ] not [ 5, 3 ]
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(97)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(101)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(103)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   J2.2</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
generator orders are [ 2, 5 ] not [ 7, 5 ]
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(107)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(109)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L2(113)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   S4(4)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
the second generator has centralizer of order 25 not 15
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>NEW</b></td><td valign="top" align="left">   U4(3).2<sup>2</sup><sub>1</sub>33</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
had been commented out
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   G2(3).2</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
generator orders are [ 2, 13 ] not [ 7, 13 ]
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   L4(3)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
generator orders are [ 2, 13 ] not [ 2, 4 ]
           the compatibility flag is "N" not "Y"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>NEW</b></td><td valign="top" align="left">   2F4(2)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
New info record added
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   Sz(32)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
the element (ab)<sup>3</sup>(bab)<sup>2</sup>bbabb has order 41 not 25
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>NEW</b></td><td valign="top" align="left">   HS.2</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
new info record added
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   J3</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
the element ababb has order 9 not 19
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>NEW</b></td><td valign="top" align="left">   O8+(2)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
had been commented out
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>NEW</b></td><td valign="top" align="left">   S12</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
new info record added
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>***</b></td><td valign="top" align="left">   M24</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
the last condition is |(ab)<sup>3</sup>(ba)<sup>2</sup>bbabb|=4 not |(ab)<sup>3</sup>(bab)<sup>2</sup>bbabb|=4
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>****</b></td><td valign="top" align="left">   G2(4)</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
compatibility flag is "Y" not "N"
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>NEW</b></td><td valign="top" align="left">   A13</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
new info record added
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>NEW</b></td><td valign="top" align="left">   S13</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
new info record added
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr>
<tr><td valign="top" align="right"><b>NEW</b></td><td valign="top" align="left">   He.2</td><td valign="top" align="left">   :   </td><td valign="top" align="left">
 </td><td valign="top"><table border="0"><tr><td valign="top"></td><td width="633">
new info record added
.
</td></tr></table><!--vbox-->
</td><td valign="top"></td></tr></td></tr></table><!--hboxt--></table>


<div class="p"><!----></div>
<br /><br /><br /><br /><b>Release of TomLib 1.2.5 (November 2014)</b>

<div class="p"><!----></div>
<br /><br /><b>Release of TomLib 1.2.6 (November 2014)</b>

<div class="p"><!----></div>
<br /><br />Last update November 7th, 2016.

<div class="p"><!----></div>

<div class="p"><!----></div>

<br /><br /><hr /><small>File translated from
T<sub><span class="small">E</span></sub>X
by <a href="http://hutchinson.belmont.ma.us/tth/">
T<sub><span class="small">T</span></sub>H</a>,
version 4.08.</small>
</html>

97%


¤ Dauer der Verarbeitung: 0.27 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.