<?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>
¤ Dauer der Verarbeitung: 0.6 Sekunden
¤
*© Formatika GbR, Deutschland
