Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/lins/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 15.2.2024 mit Größe 8 kB image not shown  

Quelle  chap0_mj.html   Sprache: HTML

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


<?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>
<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 (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_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="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.html">Ind</a>  </div>

<div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chap1_mj.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap0.html">[MathJax off]</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_mj.html#X7DFB63A97E67C0A1">1 <span class="Heading">Introduction</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.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_mj.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_mj.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_mj.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_mj.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_mj.html#X7BDB05377BFE069C">1.3-1 LowIndexNormalSubs</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap2_mj.html#X785A18B58132442A">2 <span class="Heading">LINS Interface</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.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_mj.html#X805D91168165F914">2.1-1 List</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X7C5BDEAA86131918">2.1-2 ComputedNormalSubgroups</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X7982DB9485ED76E7">2.1-3 LinsRoot</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X7A5319077C05B8E7">2.1-4 IndexBound</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X831B320C79AA71A4">2.1-5 LinsOptions</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X828E91E67C410968">2.1-6 IsomorphismFpGroup</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.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_mj.html#X7BEE08B378362A2B">2.2-1 Grp</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X7B06D640788992F7">2.2-2 Index</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X81D3F0917ED3C8D2">2.2-3 LinsNodeMinimalSupergroups</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X848673C8803B8DE3">2.2-4 LinsNodeMinimalSubgroups</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X7BE4DCA080C54191">2.2-5 LinsNodeSupergroups</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X7EAE7C1F87B8F113">2.2-6 LinsNodeSubgroups</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.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_mj.html#X8064963E80A5D83F">2.3-1 LowIndexNormalSubgroupsSearch</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X87176F3085F306FF">2.3-2 LowIndexNormalSubgroupsSearchForAll</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X871127A07C12AD32">2.3-3 LowIndexNormalSubgroupsSearchForIndex</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.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_mj.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_mj.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_mj.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_mj.html#X7B66546A7F17A46A">3 <span class="Heading">LINS Search</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X7E1489817AF4CDDB">3.1 <span class="Heading">LINS Search Options</span></a>
</span>
</div>
</div>
<div class="ContChap"><a href="chap4_mj.html#X861E5DF986F89AE2">4 <span class="Heading">License</span></a>
</div>
<div class="ContChap"><a href="chapBib_mj.html"><span class="Heading">References</span></a></div>
<div class="ContChap"><a href="chapInd_mj.html"><span class="Heading">Index</span></a></div>
<br />
</div>

<div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chap1_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="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>

99%


¤ Dauer der Verarbeitung: 0.11 Sekunden  ¤

*© Formatika GbR, Deutschland




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.