Quelle  chap0_mj.html   Sprache: 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 (FGA) - 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="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>FGA</h1>


<h2>Free Group Algorithms</h2>

<p>
    1.5.0</p>

<p>
    4 April 2023
  </p>

</div>
<p>
    <em>Note:</em> This version of FGA is a fork of the original FGA, maintained by the GAP Team.
  </p>
<p><b>
    Christian Sievers


  </b>
<br />Email: <span class="URL"><a href="mailto:c.sievers@tu-bs.de">c.sievers@tu-bs.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#X7E0D17E880A6A0AB">1.2 <span class="Heading">Implementation and background</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X7980B0AB8471913D">1.3 <span class="Heading">Integration of the package</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X861E5DF986F89AE2">1.4 <span class="Heading">License</span></a>
</span>
</div>
</div>
<div class="ContChap"><a href="chap2_mj.html#X7B92AEAE7ACBE77D">2 <span class="Heading">Functionality of the FGA package</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html#X86E0C3F57990A253">2.1 <span class="Heading">New operations for free groups</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X829FB22C7DFBEADC">2.1-1 FreeGeneratorsOfGroup</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X7D7AE4F284F17C20">2.1-2 RankOfFreeGroup</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X7DD1809D868165AD">2.1-3 CyclicallyReducedWord</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html#X7AB44D3D80E0F85A">2.2 <span class="Heading">Method installations</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X87B5370C7DFD401D">2.2-1 Normalizer</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X857DC7B085EB0539">2.2-2 RepresentativeAction</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X7A2BF4527E08803C">2.2-3 Centralizer</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X83A0356F839C696F">2.2-4 Index</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X851069107CACF98E">2.2-5 Intersection</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X87BDB89B7AAFE8AD"><code>2.2-6 \in</code></a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X7839D8927E778334">2.2-7 IsSubgroup</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X806A4814806A4814"><code>2.2-8 \=</code></a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X81D15723804771E2">2.2-9 MinimalGeneratingSet</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html#X82B7B32E783A39B0">2.3 <span class="Heading">Constructive membership test</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X78917F717E5DB86A">2.3-1 AsWordLetterRepInGenerators</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.html#X7AEFC7BA80FA4CFC">2.4 <span class="Heading">Automorphism groups of free groups</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X87677B0787B4461A">2.4-1 AutomorphismGroup</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X7F28268F850F454E">2.4-2 IsomorphismFpGroup</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X85AD957084C1E38D">2.4-3 FreeGroupEndomorphismByImages</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X8173ECA579D6172B">2.4-4 FreeGroupAutomorphismsGeneratorO</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap3_mj.html#X7FB71438871FB3B7">3 <span class="Heading">Installing and loading the FGA package</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X7C4ADCD67FB4C44D">3.1 <span class="Heading">Installing the FGA package</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X7BAF2BE07BAB1F27">3.2 <span class="Heading">Loading the FGA package</span></a>
</span>
</div>
</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="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>