<p>The argument <span class="SimpleMath">G</span> can also be a finite set of elements in a (possibly infinitepInputs terms span=SimpleMathZG/>- spanclass=><andjava.lang.StringIndexOutOfBoundsException: Range [134, 133) out of bounds for length 196
<p
<>classbutton:strong<p>
<pli
<>.- </>
<div
</>
<p/ul
<>wherespanclass""<span>isomorphicto span ="F/ modulothe normal closure of <span class="SimpleMath">S</span>. This presentation for <span class="SimpleMath">G</span> corresponds to the 2-skeleton
<h5> < =Gspanjava.lang.StringIndexOutOfBoundsException: Range [73, 72) out of bounds for length 190
<div class="func"><table class="func" width="100 ""F/>anda<classS><span span=SimpleMathFspan>It a 2dimensional -pace< class=""K/ to forthe< class=SimpleMath>=/spanl;spanclassS"R/span>>span =""^</>.<p
<p>The function returns "true" if <span class="SimpleMath">K</span> has trivial second homotopy java.lang.StringIndexOutOfBoundsException: Index 100 out of bounds for length 0
<p>Otherwise it returns "fail" and prints: Presentation is NOT piece-wise Euclidean non-positively curved. (In this
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; PresentationOfResolution</code>( <var class="Arg">R</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs at least two terms of a reduced <span class="SimpleMath">ZG</span>-resolution <span class="SimpleMath">R</span> and returns a record <span class="SimpleMath">P</span> with components</p>
<ul>
<li><p><span class="SimpleMath">P.freeGroup</span> is a free group <span class="SimpleMath">F</span>,</p>
</li>
<li><p><span class="SimpleMath">P.relators</span> is a list <span class="SimpleMath">S</span> of words in <span class="SimpleMath">F</span>,</p>
</li>
<li><p><span class="SimpleMath">P.gens</span> is a list of positive integers such that the <span class="SimpleMath">i</span>-th generator of the presentation corresponds to the group element R!.elts[P[i]] .</p>
</li>
</ul>
<p>where <span class="SimpleMath">G</span> is isomorphic to <span class="SimpleMath">F</span> modulo the normal closure of <span class="SimpleMath">S</span>. This presentation for <span class="SimpleMath">G</span> corresponds to the 2-skeleton of the classifying CW-space from which <span class="SimpleMath">R</span> was constructed. The resolution <span class="SimpleMath">R</span> requires no contracting homotopy.</p>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">an style='color: green'>8227; TorsionGeneratorsAbelianGroup</code>( <var class="Arg">G</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Inputs an abelian group <span class="SimpleMath">G</span> and returns a generating set <span class="SimpleMath">[x_1, ... ,x_n]</span> where no pair of generators have coprime orders.</p>
¤ 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.9Bemerkung:
¤
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.