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

<!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>
<title>GAP (LINS) - Contents</title>
<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="chap0"  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="chapBib.html">Bib</a>  <a href="chapInd.html">Ind</a>  </div>

<div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap1.html">[Next Chapter]</a>   </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><a href="chap2.html#X871127A07C12AD32">2.3-3 LowIndexNormalSubgroupsSearchForIndex</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X7A489A5D79DA9E5C">2.4 <span class="Heading">Examples</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X8710B1687E0AFB86">2.4-1 <span class="Heading">Revised 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="chap2.html#X78E0C77181121AB2">2.4-2 <span class="Heading">Revised Example : all normal subgroups of index <span class="SimpleMath">n</span></span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X82F9F3B67D438032">2.4-3 <span class="Heading">Example : a normal subgroup of index <span class="SimpleMath">n</span></span></a>
</span>
</div></div>
</div>
<div class="ContChap"><a href="chap3.html#X7B66546A7F17A46A">3 <span class="Heading">LINS Search</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X7E1489817AF4CDDB">3.1 <span class="Heading">LINS Search Options</span></a>
</span>
</div>
</div>
<div class="ContChap"><a href="chap4.html#X861E5DF986F89AE2">4 <span class="Heading">License</span></a>
</div>
<div class="ContChap"><a href="chapBib.html"><span class="Heading">References</span></a></div>
<div class="ContChap"><a href="chapInd.html"><span class="Heading">Index</span></a></div>
<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>