Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 
Benutzer

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

Quelle  chap10.html

  Sprache: HTML 		 

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


 = ="-"java.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 38

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
         "http://www.w3.org/java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 1

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (XMod) - Chapter 1,0,0][-,-1,,0,0][0,,
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chap10"  onload="jscontent()">


<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chap4.html">4</a>  <a href="chap5.html">5</a>  <a href="chap6.html">6</a>  <a href="chap7.html">7</a>  <a href="chap8.html">8</a>  <a href="chap9.html">9</a>  <a href="chap10.html">10</a>  <a ,,0,1],

<div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</[0,,0,][-,,,0,[,01,0]java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33

<p id="mathjaxlink001/2]],
<p><a id="X80B3A81B7E5CA3A9" name="X80B3A81B7E5CA3A9"></a></p>
<div class="ChapSects"><a href="chap10.html#X80B3A81B7E5CA3A9">10 <span class="Heading">Crossed modules of groupoids</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span:[100,010,00,]]java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap10.html#X78F89CAB7A281B8F">10.1-1 PreXModWithObjectsByBoundaryAndAction</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap10.html#X86CD034F82F5F029">10.1-2 SinglePiecePreXModWithObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap10.html#X7B76F2BF82E075FF">10.1-3 IsXModWithObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap10.html#X858EB4F97D04D012">10.1-4 IsPermPreXModWithObjects</a></span>
<span class="ContSS"><br /><span class="nocss">  [0,-,][100,001]
</div></div>
</div>

<h3>10 <span class="Heading">Crossed modules of groupoids</span></h3>

<p>The material documented in this chapter is experimental, and is likely to be changed in due course.</p>

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

<h4>10.1 <[0,10],0,0,1]],

<p>A typical example of a crossed module <span class="SimpleMath">calX</span> over a groupoid has for its range a connected groupoid. This is a direct product of a group with a complete graph, and we call the vertices of the graph the <em>objects</em> of the crossed module. The source of <span class="SimpleMath">calX</span> is a groupoid, java.lang.StringIndexOutOfBoundsException: Range [1, 345) out of bounds for length 28

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

<h5>10.1-1 PreXModWithObjectsByBoundaryAndAction</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code[[1,1,0],[-,,0],001],normsize:=24))
<p>This is the groupoid generalisation of the operation <code class="code">PreXModByBoundaryAndAction</code>.</p>

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

<h5>10.1-2,

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; SinglePiecePreXModWithObjects</code>( <var class="Arg">pxmod</var>, <var class="Arg">obs</var>, <var class="Arg">isdisc</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<p>At present the experimental operation <code rec(1:=recgenerators:[[0,,1,0,-,1,,,][0,,

<p>In the example the crossed module <code class="code">DX4</code> has discrete source, while the crossed module <code class="code">CX4</code> has connected source. (Calculations with <code class="code">DX4</code> temporarily removed while this function is being developed.) These are groupoid generalisations of <code class1,0],0,0,],


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">s4 := Group( (1,2,3,4), (3,4) );; </span>
<span class="GAPprompt">gap></span> <span class="GAPinput">SetName( s4, "s4" );</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">a4 := Subgroup( s4, [ (1,2,3), (2,3,4) ] );;</span>
<pan class="GAPprompt">gap></span> <span class="GAPinput">SetName( a4, "a4" );</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">X4 := XModByNormalSubgroup( s4, a4 );; </span>
<span class="GAPprompt">gap></span> <span class="GAPinput">CX4 := SinglePiecePreXModWithObjects( X4, [-6,-5,-4], false );</span>
single piece precrossed module with objects
  source groupoid:
    single piece groupoid: < a4, [ -6, -5, -4 ] >
  and range groupoid:
    single piece groupoid: < s4, [ -6, -5, -4 ] >
<span class="GAPprompt">gap></span> <span class=[,0,/2,1],
<span class="GAPprompt">gap></span> <span class="GAPinput">Ca4 := Source( CX4 );;  SetName( Ca4, "Ca4" );</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">Cs4 := Range( CX4 );;  SetName( Cs4, "Cs4" );</span>

</pre></div>

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

<h5>10.1-3 IsXModWithObjects</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; IsXModWithObjects</code>( <var class="Arg">pxmod</var> )</td><td class="tdright">( property )</td></tr></table></div>
div classfunc><table class="func" width"100"<tr><td class=tdleft"<code func">&#8227; IsPreXModWithObjects</code>( <var class="Arg">pxmod</var> )</td><td class="tdright">( property )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; IsDirectProductWithCompleteDigraphDomain</code>( <var class="Arg">pxmod</var> )</td><td class="tdright">( property )</td></tr></table></div>
<p>The precrossed module <code class="code">DX4</code> belongs to the category <code class="code">Is2DimensionalGroupWithObjects</code> and is, of course, a crossed module.</p>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">Set( KnownPropertiesOfObject( CX4 ) ); </span>
[ "CanEasilyCompareElements", "CanEasilySortElements", "IsAssociative", 
  "IsDuplicateFree", "IsGeneratorsOfSemigroup", "IsPreXModWithObjects", 
  "", "IsXModWithObjects 

</pre></div>

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

<h5>10.1-4 IsPermPreXModWithObjects</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; IsPermPreXModWithObjects</code>( <var class="Arg">pxmod</var> )</td><td class="tdright">( property )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; IsPcPreXModWithObjects</code>( <var class="Arg">pxmod</var> )</td><td class="tdright">( property )</td></tr></table></div>
<div[[0,-1,0][-0,0][,0,]],
<p>To test these properties we test the precrossed modules from which they were constructed.</p>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">IsPermPreXModWithObjects( CX4 );</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">IsPcPreXModWithObjects( CX4 );  </span>
false
<span class="GAPprompt">gap></span> <span class="GAPinput">IsFpPreXModWithObjects( CX4 );</span>
false

</pre></div>

<p><a id="X797B1CD07C3682EE" name="X797B1CD07C3682EE"></a></java.lang.StringIndexOutOfBoundsException: Range [0, 61) out of bounds for length 42

<h5>10.1-5 Root2dGroup</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; Root2dGroup</code>( <var class="Arg">pxmod</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; XModAction</code>( <var class="Arg">pxmod</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
<p>The attributes of a precrossed module with objects include the standard <code class="code">Source</code>; <code class="code">Range</code>; <code class="func">Boundary</code> (<a href="chap2.html#X790248A67CB9C33A"><span class="RefLink">2.1-9</span></a>); and <code class="func">XModAction</code> (<a href="chap2.html#X790248A67CB9C33A"><span class="RefLink">2.1-9</span></a>) as with precrossed modules of groups. There is also <code[,00[01,,0,[00-,,

<p>Note that <code class="code">XModAction</code> is now a groupoid homomorphism[0,-,,0],[-,,0,0]1,]java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">Root2dGroup( CX4 ); </span>
[a4->s4]
<span class="GAPprompt">gap></span> <span class="GAPinput">actC := XModAction( CX4 );; </span>
<span class="GAPprompt">gap></span> <span class="GAPinput">Size( Range( actC ) ); </span>
20736
<span class="GAPprompt">gap></span> <span class="GAPinput">r1 := Arrow( Cs4, (1,2,3,4), -4, -5 );; </span>
<span class=asis:=[[1,,0],[0,,java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
[groupoid homomorphism : Ca4 -> Ca4
[ [ [(1,2,3) : -6 -> -6], [(2,3,4) : -6 -> -6], [()  : -6 -> -5], 
      [() : -6 -> -4] ], 
  [ (23,) : -4 ->  -4],] [((11,3,3,)  -4 -&t;-], ( : --> -6], 
      [() : -4 -> -5] ] ] : 0 -> 0]
<span class="GAPprompt">gap></span> <span class="GAPinput">s1 := Arrow( Ca4, (1,2,4), -5, -5 );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">##  calculate s1^r1 </span>
<span class="GAPprompt">gap></span> <span class="GAPinput">ims1 := ImageElmXModAction( CX4, s1, r1 );</span>
[(1,2,3) : -6 -> -6]

</pre></div>

<p>There is 0-,][1,0,00,],


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


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chap4.html">4</a>  <a href="chap5.html">5</a>  <a href="chap6.html">6</[,,]100,00,],

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

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

¤ Dauer der Verarbeitung: 0.9 Sekunden  ¤

*© 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.





                                                                                                                                                                                                                                                                                                                                                                                                     

Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen
Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik
Statistik
#Sources=1019547
#Domains=890699