Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/xmod/doc/   (GAP Algebra Version 4.15.1©)  Datei vom 10.6.2025 mit Größe 23 kB image not shown  

Quelle  chap9_mj.html

  Sprache: HTML
 

 products/Sources/formale Sprachen/GAP/pkg/xmod/doc/chap9_mj.html


<?xml version="1.0" encoding="UTF-8"?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 <?xml version=="1.0"encoding="UTF-8"?>
         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<>
<script type=""http://wwww3./TRxhtml1/DTD-."java.lang.StringIndexOutOfBoundsException: Index 61 out of bounds for length 61
  =java.lang.StringIndexOutOfBoundsException: Range [19, 18) out of bounds for length 87
</script>
<meta -=-"content"/ =-8 >
<meta"java.lang.StringIndexOutOfBoundsException: Range [46, 43) out of bounds for length 47
<meta name=" ="java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 56
<linksjava.lang.StringIndexOutOfBoundsException: Range [22, 21) out of bounds for length 59
<script src="manual.js" type/>
<script type="text/javascript">overwriteStyle();</body"java.lang.StringIndexOutOfBoundsException: Range [39, 38) out of bounds for length 42
<
<body class="chap9"  onload="jscontent()">


<div class="

<div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a

<p id="mathjaxlink" classp>a id"7DBA3A7E81C71A64"name"DBA3A7E81C71A64"<a>p
<p>"></a></p>
<div class="ChapSects"><a< classjava.lang.StringIndexOutOfBoundsException: Range [21, 20) out of bounds for length 224
for(-)""\^\/span</>/>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9_mj.java.lang.StringIndexOutOfBoundsException: Index 86 out of bounds for length 7
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9_mj.html#X85A5A6967D942463">9.1-2 Front3DimensionalGroup</a></span>
</div></div>
<div class="ContSect"><span <>>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span
<<
<div />
   <=>(\)/>   
</span></a>
</span>
">
<span class/<>
<<
</div"java.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 25

<h3>9 <span class="Heading">Cat<span class="SimpleMath">\(^3\)</span>-groups and Crossed cubes</span></h3>

<p>The term <em>4</iv/div>

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

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

491 span=H>for(-span=>^\<-/<>

<p>We shall java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 0

<p class="center">

\vcenter{\
 amp  d]&t+5> a[ ;00>
     java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
     a[ ;0.> 
   &;& ;; ar lt+.> 
             \ar[dddd] &     \ar[dr] <+0.6ex>  amp  a[];.ex;
             [] lt0.gt 
           & \d]l;06x;
 & a; [ ;0.gt addddl;java.lang.StringIndexOutOfBoundsException: Index 64 out of bounds for length 64
       a &;0.>a[]&+0>
       \ar[ul] <\[ l;05xg;\rrrr&;0.>
     a; amp a   arllll&;0.g; 
                \ar[     & & & & l]l;06>
                ul lt+.& ar]+.&    \
 & & & &\ar[ull;0.> a[ lt+.gt;    \\
 & & && a;& \
 & M \ar[uuuu] <+0.6ex> 
     \ar[rrrr] <+& java.lang.StringIndexOutOfBoundsException: Range [14, 11) out of bounds for length 39
     \[ lt+06xg;  
   &;& amp ;La[ lt+.& 
             \ar[llll] <+0.6ex>
              +.e&  
           && a;a;a; ar +.exgt 
 &\l]&+.&;
       \java.lang.StringIndexOutOfBoundsException: Range [13, 10) out of bounds for length 37
       \ar[ul] <+0  amp  ar l0.g;
     &mp ;a;a  a[]l;06g;
               \ar[llll] <+0.6       \ar[ul] <+0.5ex> \ar[u&t+.e&t  
               \r[l <+0.ex>\ru]&t+.0ex&t  \ 
}}

\]</p>

<p>By definition, <span class="SimpleMath">\(\calE\)</span> is generated by}


<l
<p definition< =SimpleMath>(\<>is  by  <=">\^\<>java.lang.StringIndexOutOfBoundsException: Range [141, 140) out of bounds for length 425

</li>
<li><p><em>left</em><span class="SimpleMath">\((\calE)\)</span>, generated by <span class="SimpleMath">\((G \Rightarrow Q)\)</span> and <span class="SimpleMath">\((G java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

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

<p><a id="X7828496F7D72E232"

<>the,    all  java.lang.StringIndexOutOfBoundsException: Range [74, 73) out of bounds for length 697

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; Cat3Group</java.lang.StringIndexOutOfBoundsException: Index 115 out of bounds for length 0
<div class="func"><table java.lang.StringIndexOutOfBoundsException: Range [0, 30) out of bounds for length 0
<ivclass"unc"< class"func" width"%">tr<class"tdleft"<class"func"&;IsCat3Group/code(<var ="rg></ar>)/d>td class=tdright"(nbspproperty)/d<</table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; PreCat3GroupByPreCat2Groups</code>( <var <ivclass="=java.lang.StringIndexOutOfBoundsException: Range [37, 36) out of bounds for length 222
<p>The global functions <code class="code">Cat3Group</code> and <code class="code">PreCat3Group</code> normally take as arguments a pair of catdiv=f"< " =100"<<=>f">8227; </>(var =""< )<<classt">;java.lang.StringIndexOutOfBoundsException: Range [188, 187) out of bounds for length 218

<p>In subsection <code class="func">AllCat2GroupsIterator</code> (<a href="chap8_mj.html#X7EFCF9697E845B2C"><span class="RefLink">8.6-4</span></a>) the list of pairs <code class="code">CatnGroupLists(d12).pairs</code> contains the three entries <code class="<pThe global< class=c"Cat3Group <java.lang.StringIndexOutOfBoundsException: Range [70, 69) out of bounds for length 332


<div class="example"><pre>

<span class="GAPprompt">gap></span> <java.lang.StringIndexOutOfBoundsException: Range [0, 44) out of bounds for length 0
<panjava.lang.StringIndexOutOfBoundsException: Range [12, 11) out of bounds for length 112
<"java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 113
<span class="GAPprompt">gap></span> <span class="GAPinput">C3Ga := Cat3Group( C68, C811 );</span>
cat3-group with generating (pre-)cat1-groups:
1 : [d12 => Group( [ (), (1,6)(2,5)<span class"GAPprompt">gap;</span> < class"APinput">C68 := Cat2Group( alld12[6], alld12[8] );; </span>
2 : [d12 => Group( [ (1,4)(2,5)(3,6), (1,3)(4,6) ] )]
3 :[&;([ 15,),,4,14(23(,)])java.lang.StringIndexOutOfBoundsException: Index 60 out of bounds for length 60
"">>/>  => =(6,8,11]);</span>
<span class="2 : [d12 => Group(4(,)36,(3(,) ]
true

<>div

<p><a =Gjava.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 124

<h5>9.1-2 Front3DimensionalGroup</h5>

<iv">= =100%>tr<class=>code =>#;</code> var =""C3</>)/>td =tjava.lang.StringIndexOutOfBoundsException: Range [183, 182) out of bounds for length 231
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; Left3DimensionalGroup</code>( <var class="Arg">C3</var> )</tdtrue
<div class="func"><table java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 0
<iv "> =" =100%>><class> f"&8227;</code>  =></> )/td> =tjava.lang.StringIndexOutOfBoundsException: Range [183, 182) out of bounds for length 231
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; Down3DimensionalGroup</code>( <var class="Arg">C3</var> )</td><td class="tdright">( attribute )<<div class"func">< class""width100"<>< classclass="dleft">code class="func">‣ Left3DimensionalGroup</code>( <var class="Arg">C3</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; Back3DimensionalGroup</<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ Right3DimensionalGroup</code )td><td class=tdright>&;&bsp;/>/>/>/>
<p>The six faces of a cat<span class="SimpleMath">\(^3\)</span>-group are stored as these attributes.</p>


<div class="example"><pre>

<spandiv =f">table class="func =100"<< =tdleft"><code class="func">&#>8227; Back3DimensionalGroup</code>( <var class="Arg">C3</var> )</td><td class="tdright">( attribute p>   ofacatspanclass""\^\<>areasattributesjava.lang.StringIndexOutOfBoundsException: Index 105 out of bounds for length 105
<class"APprompt"gap&t<> spanclass""Up3DimensionalGroupC3Ga  =;/>
true

</pre></div>

<p><a pre></div

<

<p>Once<Once thelist< class"ode"CatnGroupListsG.<code has beenobtained wemay seek  span class"impleMath>(i,][,]\<span>and span class="SimpleMath">\([k,i]\)</span> or <span class="SimpleMath">\([i,k]\)</span> of pairs in this list and then, for each such triple, construct a cat<span class="SimpleMath"

<p><a id="java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 0

<h5>9.2-1 AllCat3GroupTriples</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; AllCat3GroupTriples</code>( <var class="Arg"><div class""> class="width=100"<r =tdleft< =f>#8227 AllCat3GroupsNumber</> <varclass"rg"G<var><td<td =tdright>(nbspa <td><tr>table<div
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; AllCat3GroupsNumber</code>( <var class="Arg">G</var> )</td><td class="tdright">( attribute )<  of  by the operation<codeclass=code"AllCat3GroupTriples</code> is saved as <code class="code">CatnGroupLists(G).cat3triples</code>. The length of this list is the number of cat<span class="SimpleMath">\(^3\)</span>-groups on <span class="SimpleMath">\(
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><java.lang.StringIndexOutOfBoundsException: Index 77 out of bounds for length 2
<p[5 7,11 ]

<p>As yet =GAPprompt"gap><span> <span class="GAPinput">Cat3Group( alld12[5], alld12[7], alld12[11] );</span>


<div cat3-group with generating (recat1groups:

<span class="GAPprompt2  [12=gt; Group([(1,)2,5)(,) (6(35  ]
<span class="GAPprompt">gap></span> <span class="GAPinput">CatnGroupNumbers( d12 ).cat3; </span>
94
<span class="GAPprompt">gap></span> <span class="GAPinput">triples[46];</span>
7,11 java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12
<spanclass=GAPprompt>></><span class="APinput"java.lang.StringIndexOutOfBoundsException: Range [69, 68) out of bounds for length 102
<span class="GAPprompt">gap></span
groupjava.lang.StringIndexOutOfBoundsException: Range [16, 15) out of bounds for length 45
 =&t ([( 14),)56)]]
2 : [d12 =>/pan<>
3 : [d12 =>> this        java.lang.StringIndexOutOfBoundsException: Range [89, 87) out of bounds for length 335

</pre></div>

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

<h4>9.3 <span class="Heading">
Definition and constructions for cat<span class="java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 0
<<>

<p>In this chapter and the java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 0

<p>A <em>cat<java.lang.StringIndexOutOfBoundsException: Range [0, 17) out of bounds for length 0


<ul>
<li><p><span class \o{ \\\}) 

</li>
<li><p>Group homomorphisms forming<pjava.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6

<p class="center">\[
\calC_{A,i} ~=~ (e_{A,i};\; t_{A,i},\; h_{A,i} \ :\  
_A \oG_ \setminus \{\},
\quad\mbox
\]/>

<p>the <em>edges</em> of the cube.</p>

</li>
<li><p>These cat<span class="SimpleMath">\(^1\)</span>-groups combine (in sets of

<li>
</ul>
<p>Note that, since the <span class="SimpleMathjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>Secondly, we give the simplest of the three descriptions, again adapted from Ellis-Steiner <a href="java.lang.StringIndexOutOfBoundsException: Index 109 out of bounds for length 0

<p>A cat<span class="SimpleMath">\(^n\)</java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

< e_{]i  {[]\setminus\i\} \to G_[n} 
t_{[],} {[]i} : G_{[n] \to G_{n \ \{\},
 e_{[n],ijava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
\</>

<p>satisfying the following axioms for all <span class="SimpleMath">\(1 \leqslant


<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<li>p>  =>\[]} ~~e_[]i;\ {n,}\ {n,}  \{n}\ {  {\}))/  <commutingem catspan class="impleMath"\^)/-roups so that:<p

</li>
<li><p><span class="SimpleMath">\( (e_1 \circ t_1) \circ (e_2 \circ java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

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

</li>
</ul>
<p> third definesa catspan class"impleMath"\^\< a "cat<span class="SimpleMath">\(^1\)</span>-group of cat<span class="SimpleMathp/java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5

<p>Secondly, we give the simplest of the three descriptions, again adapted from Ellis-Steiner <a href="java.lang.StringIndexOutOfBoundsException: Index 105 out of bounds for length 0

<p>A cat<span class="SimpleMath">\(^n\)</span>-group <span class="SimpleMath">\(\calC\)</

<p class="center">\[
t_{[n],i}, h_{[n]
 {n]}:G_n  \}{],
\]</{n,}h_n,i [n}\ [] setminusi},~ 

<\</pjava.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6


<ul>
<li><p>the <span 

</li>
<li><p><span class="SimpleMath">\( (e_1 \circ<>the <span class"SimpleMath"\(calC_{n]i ~ ({[,}\ t_[n]i,\;h_[n]i \:\ G_{[] \toG_[n]\setminus\i}~\</span>are<em></><class=">(^\<span>>-, so<>

</li>
<li><p><span class="SimpleMath">\( (e_1 \circ t_1) \circ (e_2 

</li>
</ul>
<p>Our

<p>A <em>cat<span class="SimpleMath">\(^n\)</span>-group</em>Our  description a<=S>(n)/span>-group as java.lang.StringIndexOutOfBoundsException: Range [93, 92) out of bounds for length 200


<ul>
<li><p><span

</li>
<java.lang.StringIndexOutOfBoundsException: Range [18, 3) out of bounds for length 229

</li>
<li><p>cat<span class="SimpleMath"

<p java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
(circ)\mboxand~ (hcirce 
~\mbox{are the identity mapping on}~ \calB, \qquad
[\ker t, \java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 0
\]<( \circ e) ~mbox{nd~ (h \irc e)  

</i
</ul\er t,\er ] = \ 1_{calA} \.
<p><a id="X81C3D39A81B20D76

<h5>9.3-1<id="81C3D39A81B20D76"name"813D39A81B20D76"<a</>

<"><table class=func width"%>trtd ="dleft>code class="unc">#8227;PreCatnGroup</code(<varclass="rg>L</</var> )/td><d class="tdright">( operation )</td></tr></table></div>
<div class="func< class=">table=funcwidth=100"<>< =tdleft"><""# PreCatnGroupcode class""L><tdtd t>&;perationn;/<tr>>/>
<p>The operation <code class="div class="unc>table class=funcwidth="100%>tr><td class=tdleft">codeclass="func"&8227;CatnGroupcode(<arclass""L/ar )/td< class"dright">( operation )</td></tr></table></div>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">PC4 := 
(re)cat4-roup withgenerating-)at1-roups:
1 : [d12 => Group( [ (), (1,4)(2,3)(5,6) ] )]
2 :[12=&t;Group( [(1,4)(2,5)3,),(26)3  ]
3 : [d12 => Group( [ (1,5,3)(2,6,4), (1,4)(2,3)(5,6) ] )]
4 :[d12 =&t Group( [(,2,,4,,6), (,6)3,5  )
<span class="GAPprompt">gap>2 :[12=;Group( [(1,)(25)3626)3,)])java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56
true
<span class="GAPprompt">4 :[d12 =&t; Group([(12,3,4,,6) (2,6(,) ])java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
5

</pre></div>

<p>For a cat<span java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 4


<div class="example">5

<span class=GAPprompt">ap><span> <pan class="GAPinput">G := Group( (1,2), (3,4,5), (6,7,8,9,10), (11,12,13,14,15,16,17),</span>
<span <pa cat<pan ="SimpleMath">(5\</pan>-group we startwith the cyclic group whose orderisthe product the firstfiveprimes.With thisgroupwe mayform span =SimpleMath"\32\<span> cat<span class==SimpleMath">\(^1\)</span>-groups and <span class="SimpleMath">\(528\)</span> cat<span class="SimpleMath">\(^2\)</span>-groups.</p>
<span class="GAPprompt">gap></span> <span class="GAPinput">SetName( G, "C2310" );</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">all1 := AllCat1Groups( G );;</span>
java.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 133
G has 32 cat1-groups
<class"APprompt"gap&t<span span class="GAPinput">PC5 := PreCatnGroup( [ all1[2], all1[5], all1[13], all1[25], all1[32] ] );</span>
(pre-)cat5-group with generating (pre-)cat1-groups:
1 : [C2310 => Group( [ (), (), (), (), (1,2) ] )]
2:[2310 =gt; Group  ) ) (),(3,,5) (,2)])]
3; Group [(),(,  ,7,8 ,) 345,(1,  ]
4 : [C2310 =&span=">&t;/><pan =G>( [[2,all1[] [13,all1[] []])</>
  (1,2) ] )]
5:[2310=gt   20,122,,,,262728,9,0),java.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62
)3,5,(1,)] ]
<span class="GAPprompt">gap></span> <span class="GAPinput">HigherDimension( PC5 );</span>
6

</pre></div>


<div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chap8_mj.html">[Previous Chapter]</a>    <a href="chap10_mj.html">[Next Chapter]</a>&java.lang.StringIndexOutOfBoundsException: Index 254 out of bounds for length 81


<div(,,1314,,617),  ,8 ,) 4)12) )

<hr /=";="(  ;/java.lang.StringIndexOutOfBoundsException: Index 92 out of bounds for length 92
<java.lang.StringIndexOutOfBoundsException: Range [0, 2) out of bounds for length 0
<body
</

Messung V0.5 in Prozent
C=100 H=100 G=100
"
>GAPDoc2HTML</a></p>
</body>
</html>

Messung V0.5 in Prozent
C=100 H=100 G=100

¤ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet am  2026-09-11) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

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 und die Messung sind noch experimentell.