Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/fga/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 4.3.2023 mit Größe 7 kB image not shown  

Quelle  chap0_mj.html   Sprache: HTML

 
 products/sources/formale Sprachen/GAP/pkg/fga/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 (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>

100%


¤ Dauer der Verarbeitung: 0.6 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.