Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Apache/test/pyhttpd/   (Apache Software Stiftung Version 2.4.65©)  Datei vom 11.6.2024 mit Größe 32 kB image not shown  
tdleft ="> < class=Arg><> )

Quellcode-Bibliothek chap1_mj.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/smallgrp/doc/chap1_mj.html


< ="0 encoding=UTF-8"?>

<!DOCTYPE"http:/.w3.org/TR/html1DTD/.dtd">
         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strictdtd>

<>
head ="content-type =text/html =UTF-8" >
<script rel"/css"hrefcss
  src=. ="textjavascript"<script
<>
<title>>
<body="chap1"  onload"java.lang.StringIndexOutOfBoundsException: Range [42, 43) out of bounds for length 42
<meta name="
<link rel=ContSect="tocline"spannocss<>=".html#">. span=">
<script srcspan="ContSS">< /><spanclass=nocss&;nbsp>ahref.html#X7BB133CB7AA8F46523AllSmallGroups<span
<script="javascript">()/>
</head>
<body="chap1 =jscontent()">


<div=""><pan"Goto Chapter:.html>a =chap1_mj"1a < href="chapBib_mj"> ahref".html/  div

<div class class< /< class>; s><a hrefhtml"1.6NumberSmallGroupsAvailable/>/pan

<p="mathjaxlink"=pcenterchap1>MathJax>/
<p><a id="X7C16EA1580AC7586" name="X7C16EA1580AC7586"></a></p>
< a=".html#X7C16EA1580AC7586"spanHeading SmallLibrary>/>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a <span class="ContSS"><r />spanclass="nocss">  /pan hrefchap1_mj#java.lang.StringIndexOutOfBoundsException: Range [107, 106) out of bounds for length 142
/>
</div>
<div class="ContSect"><span class="span class="ContSS">
.html"12-2SmallGroupsInformation
/>
<div class="ContSSBlock">
< class> >span=""nbspspan".>.-1/>
<span class="ContSS"><br /><>
< class">
&;&bspchap1_mj#X7BB133CB7AA8F4651-AllSmallGroupsjava.lang.StringIndexOutOfBoundsException: Range [139, 140) out of bounds for length 139
<span class="ContSS">java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<span Small  gives toall  certain</>orders  the a  and of  representatives is.,  librarythe:<>
< =C"br/span class=""&; X872991747D5CFD35>126
<span class="ContSS"><br /><span class
< class< >span"nocss>nbsp a href".#>12- IdSmallGroup<a</pan
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7C0C616180DE5875">1.2-9 IdGroupsAvailable</a></span>
< classContSS /< class"&;nbsp;><br />
< class>br/<pan="">nbsp; =chap1_mj>.-2SmallGroupsInformation<>
<span class="ContSS"><br /><span class="nocss">  
<pan=ContSS/<span=">&; chap1_mj#7">121
<><d>
</div

<h3>1 <span items this cover an explicit  of; the fourprovide access infinite families of groups orders certain.</p>

id=X8389AD927B74BA4A=X8389AD927B74BA4Aa<p

<h4>1.1 <span

<>he Groups givesaccess all of certain></q> orders groups sorted theirorders and arelistedup; that,  each available acompleteirredundant of  representatives groups given ,t library the:<p>


<ul
<li> class"()/strong>

</li><the  order  at 3primes
<li/>

</li><strong=""()<>dt
lithose < classSimpleMath>(7)/> for primes ="SimpleMath">(  ,,,1)/pan (<span classSimpleMath97\49dt

</li>
<li>java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

</li>
<li><p>those of order <span class="SimpleMath

</li>ddp  groups at0 12 1 3  1920
;

</dd  of5 9.p
<li>

</li>
</ul>
<p>The first three items in this list cover an explicit range of orders; the last four class<></

<p>The =""><><dt

<p  is 1 . Each  theoforders  corresponding routines possible the < class>()s> layers  library first="">(\/span of identification  < class>( leq n leq/>.This useful disk. is < class></> forSmall available < ="code"<code directory  <strong" containingdetailed informationon thelayers. brief descriptionof layers is given :




<dl>
<dt><strong class="Mark">(1)</strong></dt>
<dd><p>the groups whose order factorises into at most 3 primes

</dd>
<dt><strong class="Mark">(2)</strong></dt>
<dd><p>the remaining groups of order at most 1000 except 512 and 768.</p>

</dd>
<dt><strong class="Mark">(3)<dd><p>the  groups orderspan=SimpleMath(n)/> for <span class="impleMath"\4 leq\ 6\)</>./p
<dd><p>the remaining groups of order <spanp> remaining  cubefree mostand order

</dd
<dt>dl
<dd> data  has  checked. Itbelieved  reliable, absoluteare  users, always their in.<p

</dd>
<dtpThis has constructed  Hans Besche Eick E.A. .Aon anaccount  constructions foundchapBib_mjbiBBEO01]</a>. Furtherinformationthe constructionoflibraryavailable <a hrefchapBib_mj#biBNew77]/>< hrefhtml", .html">O'B91.html">BE99a a href".html#biBBescheEick1000>BE99b>,< =chapBib_mj#biBBescheEick768<a> < =".htmlbiBBEO00">BEO01  =chapBib_mj>]<,ahrefh#>EO99b < =".html#iBNOV04">NOV04a,<href"[]]
.The SmallGroups libraryincorporates the < class=pkg"
>< 3  code="TwoGroupand code class""ThreeGroupcode fromthese libraries was included into Small Groups library, the there preserved. Small library the of of order atmost 10 , the organisation and data descriptionsof thesegroups haschangedinthe Small library./>
> remaining order 20except,15,13  192<

</dd>
<dt><strong class="Mark">(6)</strong></dt>
0<>

</dd>
<dt>. span=""Referenceh4
>  of/

</dd>
<dt><strong class="Mark">(8)</strong></dt=0>>td"< class=func">#2;SmallGroup(var""></>)/>td""&;&)>/></table></div>
<dd<the order/>

</dd>
<dt><strong class="Mark">(9)</strong></dt>
<dd><p>the remaining 

<div="">pre
dt class0/></>
<dd><p>the remaining groups of; group 60 4 >

</dd>
<dt><strong class="Mark">(11)</strong></dt>
<><> remaining  order"\^\<> for < class"">( ,,71)/>.

</dd>
</dl>
<p>span>&;/> ="> =SmallGroup(78 100)

<p&; group size6 with>

<> libraryhas been constructed Hans Besche Eick E. A. Brien on  an     can <a chapBib_mj#biBBEO01<a.Further  the     inin href.biBNew77]/>< =.#"[OB90<,< =chapBib_mjhtmljava.lang.StringIndexOutOfBoundsException: Range [443, 442) out of bounds for length 1448

<p>As of version 1.4 of this library, the arrangement of groups is the same as in Magma, Version 2.23. In earlier releases of this library, the arrangement in orders <span class="SimpleMath">\(p^7\)</span>, <span class="SimpleMath">\(p=3,5,7,11\)</span> disagreed. An attempt to fix this was

<p>In version 1.5, the number of groups of order 1024 was corrected. For more information, refer to <a href="chapBib_mj.html#biBBurrell2021">[Bur21]</a>.</p>

<p><a id="X7ECCCA82839EA283" name="X7ECCCA82839EA283"></a></p>

<h4>1.2 <span

<p

<h5>1.

< class"class"" width="0"<>td""< class"">&827;SmallGrouporder class="">
tdright;>>t>/>
<div allwith  as < class"arg/>. If< class="Arg>argv> is < class>(\<span  this returns groups <span=SimpleMath(\/> ,  alsotake whichmust organizedin<codeclass=">function/code> nd value. In this case the function must be func<code< =./../doc/chap30_mj first  of  a list thenit consideredlistpossible valuesincludefunctionreturns groups specifiedspecified orders having those properties specified by the remaining functions andvalues>
<p>returns the <var class="Arg">i</var>-th group of order <var class="Arg">order


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">G := SmallGroup( 60, 4 );</span>
torsjava.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
<span class<pan="GAPprompt">>><panGAPinput  ;/>
"C60"
<span class=lt  of 6 with> java.lang.StringIndexOutOfBoundsException: Index 48 out of bounds for length 48
Group123,4,), 12)]
<span class="GAPprompt">gap></span> <span;pcof6 4 &;, 
"A5"
< =""gap>< class>: ( 6,100);/pan
<pc group of size 76java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
s class>>spanGAPinput( 6,000];span
<pc group of size 768 with 9 generators>
</pre></div>

<p><a id="X781EA70A7902B22C" name=

<h5;pc  size 2>

divfuncclass="%>tr>
">< class"func227; SmallGroupsAvailablevar"order/>)&bsp&;/>/table<>
<p>returns <code class="code">true</code> if the library of groups of order <var class="Arg">order</var> is installed, and <code class="code">false</code> otherwise.</p>

<p><a id="X7BB133CB7AA8F465" name="X7BB133CB7AA8F465"></a></p>

<h5< class="APprompt">gap&;</span< class"GAPinput> : OneSmallGroup( Size, [..000, IsSolvableGroup,false)

<
> all with properties by=""<>If" number < class"">(\<> this function all oforder < class=">n\/>.,  function take   then organized <code=code</>  < =""value>. n this the  mustcode="">Size>< href/../.docchap30_mj#>span class=RefLink: Size></>  thefirst an or range . If isa list it is a list possible values to. The returns  of specified having propertiesspecified bythe functionsand their.</pjava.lang.StringIndexOutOfBoundsException: Range [882, 883) out of bounds for length 882

<Precomputed  stored properties =""></code> (<a href....//.#>spanX7AADF2E88501B9FF< ="func> (Reference RankPGroupspan>) code class"func>PClassPGroupc> (a href.././doc//chap39_mj="">ReferencePClassPGroup/></a>,< class">><spanclass="RefLink">eference: LGLength/pan</a>) <code class"ode"FrattinifactorSize>andclass">FrattinifactorId for the groups of orderat most \(20)/> which more than three prime , except those of order SimpleMath">\(512\), \(768\), \(1024\) SimpleMath>(11\/pan =SimpleMath\(136\</span, <spanclassSimpleMath\1920\)</span>andthose orderspan="">\p^ \cdot&; 00\)<span withspan=SimpleMath\n>2)<span>./p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">AllSmallGroups( 6 );</span>
[ <pc group of size 6 with 2 generators>, 
  <pc group of size 6 with 2 generators> ]
<span class="GAPprompt">gap></span> <span class="GAPinput">AllSmallGroups( 60, IsNilpotentGroup );</span>
[ <pc group of size 60 with 4 generators>, 
  <pc group of size 60 with 4 generators> ]
</pre></div>

<p><a id="X875EB1167FF6BA82" name="X875EB1167FF6BA82"></a></p>

<h5>1.2-4 OneSmallGroup</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ OneSmallGroup</code>( <var class="Arg">arg</var> )</td><td =func ="" =0%>="< =""&82;(">
tdclass=tdright"; <;><><div
<p>returns one group with certain properties as specified by7


< classexample>
<span class="GAPprompt">gap></span<pre<>
<pc groupp<aid="" name>/<pjava.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62
span=GAPprompt>gap;</spanspan ="GAPinput">( G ;/pan
"C6"
<spanreturns=""></codeif numbergroups order =""></var ,  <code="code>
<pc group ofspan=GAPprompt>> span=GAPinput( 10)>
<span class="GAPprompt">gap></span> <span class="GAPinput">StructureDescription( G );</span>
"3"
<span class="GAPprompt">gap></span> <span class="GAPinput 9 ;/>
Group([ (1,2,3,4,5)
</pre></div>

<p><a idspan="GAPprompt">gap;</spanspan=""( 06;span>

<h5/>

<div class ="" name"
<div h527 SelectSmallGroupsh5
<p>java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 0


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">NumberSmallGroups(<>universal for 'AllSmallGroups,'' and''.
10494213
<span>128</>
1083java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
span="">&;<span class" 49)/>
Error, the library of groups of size 4096 is not available
/><div

<>eturns library of ="">/>;  is functionpair ="">< class</>, class></var>where class<var isomorphic code=""SmallGroup ="">order>,varArg> <><p

<h5>1.2-6 NumberSmallGroupsAvailable</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ NumberSmallGroupsAvailable</code>( <var class="Arg">order</var> )</td><td class="tdright">( function )</td></tr></table></div>
> the  of class<>is,andclass"code">alse.<>


<div class="example"><pre>
<span class="GAPprompt">gap>04]
true
<span
1java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
<span="";/>< =">( 409)
false
<span class="GAPprompt">gap></span> <span <p>returnscodeclass="code"true>, if the identification routines groups order classArg</var installedotherwise code=""<><
Error  of size not
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p><a id="X7B5A1FD47C722EB2" name="X7B5A1FD47C722EB2"></a></<p code=""A</> returns instead. This prevent,  a  number  arein .</java.lang.StringIndexOutOfBoundsException: Index 187 out of bounds for length 187

<h504][0 3]]

<div class=[ [6,1]  0,2] [60, 3 ], [ 60  ] [6,6]  0  ,
<>universal function 'AllSmallGroups' 'OneSmallGroup' andIdsOfAllSmallGroups/>

<<span="GAPprompt">ap;</spanspan="GAPinput">(SizeIsSupersolvableGroup;/>

<h5>1.2-8 IdSmallGroup</h5>

<iv="func"><table="func"width%>tr="< class""&82;/> var class""G/ )>&;attribute<td<table/div>
<div class="

<p< id=X8162304487D0C3E2="X8162304487D0C3E2>/>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">IdSmallGroupclass> class="10%>
tdrightnbsp>table
[ 48, 29 ]p>eturns  number classG/> in < class</>  ; that , the function a pair ="code"[var"rg">order>, <varclass=Argi/ar/>meaning< =Arg>var ="">i/var</code in class"pkg> 3.
<span class=
[ 1034]
</pre></div>

<java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

<</h5>

div""< classfunc="00"<>tdtdleft =">( class""> functionnbsp)/>/>
<p>returns <java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<>="name="">/>/>

<h5>1.2-10 IdsOfAllSmallGroups</h5>

<div class=T are of3.
<p>similar to <code class="code">AllSmallGroups are by ranks


<div="example">pre
< classgap<> < classIdsOfAllSmallGroups, )<span>
[ [ 60, 4 ], [ 60, 13 ] ]
<span="gapgt ">IdsOfAllSmallGroups( 0 , false );/>
  0  , 02]  03, 0 5, 0  , 0 ,
   precomputed:
< class>>span=GAPinput , 6,, true>
[ [ 60, 1 ], [ 60, 2 ], [ FrattinifactorId.
  [ 60, 8 ], [ 60,  This size belongs  size= ="10"<tr classtdleft class"&822; UnloadSmallGroupsData( )/td>
length 62

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#<;>f to=""></code  groups order class>(3^7)/>, < class">\(5^7,\(77), and ">\(1^/> are in the waytheywere up to1.0of the package. this variable is set to alse, "\7\/ positiontoa position releases.-. , < class"">\((,083(3,084(4,085)(,006\)/spanspan="SimpleMath>\(,0459)(3,040)(4,061(5142\and="(2,7105)(,204(,0),721059\)/> respectively used</p>
<div= classwidth=10%>tr class"">̻ Gap3CatalogueIdGroup/>(var ="Arg><td""(nbsp<
<p>returns the catalogue number of <var class="Arg">G</var> in the

<p><a id="X833DB8AB80B76D26"

<h5>1.2-12 p="">generated a ="https://www.mathrwth-aachen.de/.Luebeck/GAPDoc"></>p>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SmallGroupsInformation</code>( <var class="Arg">order</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>prints information on the groups of the specified order.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">SmallGroupsInformation( 32 );</span>

  There are 51 groups of order 32.
  They are sorted by their ranks. 
     1 is cyclic. 
     2 - 20 have rank 2.
     21 - 44 have rank 3.
     45 - 50 have rank 4.
     51 is elementary abelian. 

  For the selection functions the values of the following attributes 
  are precomputed and stored:
     IsAbelian, PClassPGroup, RankPGroup, FrattinifactorSize and 
     FrattinifactorId. 

  This size belongs to layer 2 of the SmallGroups library. 
  IdSmallGroup is available for this size. 
 
</pre></div>

<p><a id="X850CC04E7855FF68" name="X850CC04E7855FF68"></a></p>

<h5>1.2-13 UnloadSmallGroupsData</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ UnloadSmallGroupsData</code>(  )</td><td class="tdright">( function )</td></tr></table></div>
<p><strong class="pkg">GAP</strong> loads all necessary data from the library automatically, but it does not delete the data from the workspace again. Usually, this will be not necessary, since the data is stored in a compressed format. However, if a large number of groups from the library have been loaded, then the user might wish to remove the data from the workspace and this can be done by the above function call.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">UnloadSmallGroupsData();</span>
</pre></div>

<p><a id="X7CE8AEAF8133285D" name="X7CE8AEAF8133285D"></a></p>

<h5>1.2-14 SMALL_GROUPS_OLD_ORDER</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ SMALL_GROUPS_OLD_ORDER</code></td><td class="tdright">( global variable )</td></tr></table></div>
<p>If set to <code class="code">true</code>, then groups of order <span class="SimpleMath">\(3^7\)</span>, <span class="SimpleMath">\(5^7\)</span>, <span class="SimpleMath">\(7^7\)</span>, and <span class="SimpleMath">\(11^7\)</span> are ordered in the way they were ordered up to version 1.0 of the package. If this variable is set to <code class="code">false</code>, which is the default as of version 1.4, then a different ordering, that agrees with the one in Magma version 2.23, is used. The functions <code class="code">SMALLGP_PERM</code><span class="SimpleMath">\(x\)</span>, with <span class="SimpleMath">\(x=3,5,7,11\)</span>, give the old index position corresponding to a new index position. In releases 1.1-1.3 a misunderstood ordering, based on the old ordering and the permutations <span class="SimpleMath">\((2,30083)(3,30084)(4,30085)(5,30086)\)</span>, <span class="SimpleMath">\((2,104599)(3,104600)(4,104601)(5,104602)\)</span>, and <span class="SimpleMath">\((2,721053)(3,721054)(4,721055)(5,721059)\)</span> respectively were used.</p>

<p> </p>


<div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chap0_mj.html">[Previous Chapter]</a>    <a href="chapBib_mj.html">[Next Chapter]</a>   </div>


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.html">Ind</a>  </div>

<hr />
<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>

100%


¤ 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.0.11Bemerkung:  ¤

*Bot Zugriff






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.