Quelle chap1_mj.html

Sprache: HTML

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

<java.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 56

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<script type="text/javascript"
  src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script>
<title>GAP (lpres) - Chapter 1: The chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href=
<meta http-equiv=<=html"<=" >lpres/>package/>
<meta name="generator" content=">class"java.lang.StringIndexOutOfBoundsException: Range [50, 49) out of bounds for length 168
<link rel="stylesheet" type="text/css" href="manual.span>
<srcmanualjs =javascript>
<script type="text/javascript
/>
<p><a"7java.lang.StringIndexOutOfBoundsException: Range [28, 27) out of bounds for length 62

<div class="chlinktop"><span class="chlink1">Goto Chapter: </java.lang.StringIndexOutOfBoundsException: Index 63 out of bounds for length 0

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

<p id="mathjaxlink" class="pcenter"java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<< =X86"=X86java.lang.StringIndexOutOfBoundsException: Range [53, 52) out of bounds for length 62
<div class="ChapSects"><a href=
java.lang.StringIndexOutOfBoundsException: Range [5, 4) out of bounds for length 168
java.lang.StringIndexOutOfBoundsException: Range [7, 6) out of bounds for length 7
</div>
</div>

<h3>1 <span class="Heading">The <strong class="pkg">lpres</strong> package</java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>This package was written by René Hartung in java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

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

<h4>1.1 <span class=

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

<p>The Grigorchuk group is not finitely presentable

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

<p>where <span class="SimpleMath">\(\sigma\)</span> is the java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>In 2003, Bartholdi <a href="chapBib_mj.html#biBBartholdi03">[Bar03

<p class="center">\[G=\left\java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 0

<p>where <span class="SimpleMath">\(\Phi^*\java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 0

<p>The <strong class="pkg">lpres</strong>-package defines new <strong class="pkg">GAP</strong> objects to java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>Our nilpotent quotient algorithm generalizes Nickel's algorithm for finitely presented groups (see <a href="chapBib_mj.html#biBNickel96">[Nic96]</a>) which is implemented in the <strong class="pkg">NQ</strong>-package; see <a href="chapBib_mj.html#biBnq">[Nic03]</a>. In difference to the <strong class="pkg">NQ</strong>-package, the <strong class="pkg">lpres</strong>-package is implemented in <strong class="pkg">GAP</strong> only.</p>

<p>Since finite L-presentations generalize finite presentations, our algorithm also applies to finitely presented groups. It coincides with Nickel's algorithm in this special case.</p>

<p>A detailed description of our algorithm can be found in <a href="chapBib_mj.html#biBBEH08">[BEH08]</a> or in the diploma thesis <a href="chapBib_mj.html#biBH08">[Har08]</a>. Furthermore the <strong class="pkg">lpres</strong>-package includes the algorithms of <a href="chapBib_mj.html#biBMR2678952">[Har10]</a> for approximating the Schur multiplier of finitely L-presented groups.</p>

<p>The <strong class="pkg">lpres</strong>-package also includes the Reidemeister-Schreier algorithm from <a href="chapBib_mj.html#biBMR2876891">[Har12]</a>. L-presented groups were introduced as a tool to understand self-similar groups such as the Grigorchuk group. As such, <strong class="pkg">lpres</strong> works in close contact with the package <strong class="pkg">fr</strong>. See <a href="chapBib_mj.html#biBMR3133711">[Har13]</a> for more on the relationships between L-presented groups and self-similar groups.</p>

<p>Finally, we note that we use the term "algorithm" somewhat loosely: many of the algorithms in this package are in fact semi-algorithms, guaranteed to give a correct answer but not guaranteed to terminate.</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="chap2_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="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chap4_mj.html">4</a>  <a href="chap5_mj.html">5</a>  <a href="chap6_mj.html">6</a>  <a href="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.html">Ind</a>  </div>

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

Messung V0.5 in Prozent

span style='color:red'>p>
</body>
</html>

Messung V0.5 in Prozent

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

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.