Quelle chap0.html Sprache: HTML

products/Sources/formale Sprachen/GAP/pkg/lins/doc/chap0.html

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

<!DOCTYPE PUBLIC "//W3C//TD XHTML 1.0 Strict/ENjava.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56
         ////TD

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (LINS) - Contents</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta="generator" contentGAPDoc2HTML>
< =""=/"=".css
scripttype<>
<script type="text/javascript">div="pcenter"java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
</>
<bodyclass=""  onload)>

<div class="chlinktop

<div

<p id="mathjaxlink" class="pcenter"><a href="chap0_mj.html">[MathJax on]</a></p>
<p><a id="X7D2C85EC87DD46E5" name="X7D2C85EC87DD46E5"></a></p>
<div class="pcenter">

<h1>LINS</h1>

<h2>provides an algorithm for computing the normal subgroups of a finitely presented group up to some given index bound.</h2>

<p>
    0.9</p>

<p>
    15 March 2024
  </p>

</div>
<p><b>
    Friedrich Rober

  </b>
<br />Email: <span class="URL"><a href="mailto:friedrich.rober@rwth-aachen.de">friedrich.rober@rwth-aachen.de</a></span>
</p>

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

<div class="contents">
<h3>Contents<a id="contents" name="contents"></a></h3>

<div class="ContChap"><a href="chap1.html#X7DFB63A97E67C0A1">1 <span class="Heading">Introduction</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X8389AD927B74BA4A">1.1 <span class="Heading">Overview</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X7A489A5D79DA9E5C">1.2 <span class="Heading">Examples</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X7F618D0D83DAB8E8">1.2-1 <span class="Heading">Example : all normal subgroups up to index <span class="SimpleMath">n</span></span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X7C64EE208379E474">1.2-2 <span class="Heading">Example : all normal subgroups of index <span class="SimpleMath">n</span></span></a>
</span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X8240F18D7AFA30F4">1.3 <span class="Heading">Main Functions</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X7BDB05377BFE069C">1.3-1 LowIndexNormalSubs</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap2.html#X785A18B58132442A">2 <span class="Heading">LINS Interface</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X7FE2171385FFDCFA">2.1 <span class="Heading">LINS Graph</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X805D91168165F914">2.1-1 List</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X7C5BDEAA86131918">2.1-2 ComputedNormalSubgroups</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X7982DB9485ED76E7">2.1-3 LinsRoot</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X7A5319077C05B8E7">2.1-4 IndexBound</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X831B320C79AA71A4">2.1-5 LinsOptions</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X828E91E67C410968">2.1-6 IsomorphismFpGroup</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X78C3620F7CD6CBA1">2.2 <span class="Heading">LINS Node</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X7BEE08B378362A2B">2.2-1 Grp</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X7B06D640788992F7">2.2-2 Index</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X81D3F0917ED3C8D2">2.2-3 LinsNodeMinimalSupergroups</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X848673C8803B8DE3">2.2-4 LinsNodeMinimalSubgroups</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X7BE4DCA080C54191">2.2-5 LinsNodeSupergroups</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X7EAE7C1F87B8F113">2.2-6 LinsNodeSubgroups</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X7C993B5A7C54E27B">2.3 <span class="Heading">LINS Search Functions</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X8064963E80A5D83F">2.3-1 LowIndexNormalSubgroupsSearch</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X87176F3085F306FF">2.3-2 LowIndexNormalSubgroupsSearchForAll</a></span>
<span class="ContSS"><br /><span class="nocss">  </span  </p>
</div/iv>
<div class="ContSect"><span class="tocline">
</span>a id=X8537FEB07AF2BEC8nameX8537FEB07AF2BEC8<a<pjava.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62
<iv ="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X8710B1687E0AFB86">2.4-1<spanclassHeading Example : all subgroups toindex class="SimpleMath"n</>/>/
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X78E0C77181121AB2">2.4-2 <span class="Heading">Revised Example : all normal subgroups of indexjava.lang.StringIndexOutOfBoundsException: Index 181 out of bounds for length 7
<span
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X82F9F3B67D438032">2.4-3 <span class="Heading">Example :<span
</spanjava.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7
<>/java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12
</div>
< class"a=chap3.html#X7B66546A7F17A46A" span">LINS Search
<div class"ContSect>tocline"nocss/
</span>
</div>
</div>
<div class="ContChap"><a href="chap4.html#X861E5DF986F89AE2">4 <span class="Heading">License</span></a>
</divdiv>>
=".html"span classHeading">References/div>
<div class="ContChap"><a href=<div class"ContSect">spanclass="tocline"><pan="nocss">&;</span>a ="chap2.html#X7FE2171385FFDCFA">2.1 <span class="Heading">LINS Graph</span></a>
<br />
</div>

<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap1.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="chapBib.html">Bib</a>  <a href="chapInd.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>

quality100%

¤ Dauer der Verarbeitung: 0.10 Sekunden ¤

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.