<?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 (Kan) - Index</
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=
"chapInd" 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="chapBib_mj.html">[Previous Chapter]</a> </div>
<p id="mathjaxlink" class="pcenter"><a href="chapInd.html">[MathJax off]</a></p>
<p><a id="X83A0356F839C696F" name="X83A0356F839C696F"></a></p>
<div class="index">
<h3>Index</h3>
<code class="func">DCrules</code> <a href="chap2_mj.html#X815C08FD87D014B5">2.4-2</a> <br />
<code class="func">DisplayAsString</code> <a href="chap2_mj.html#X82E14C4284D89ADF">2.2-2</a> <br />
<code class="func">DisplayRwsRules</code> <a href="chap2_mj.html#X87A3823483E4FF86">2.1-1</a> <br />
<code class="func">DoubleCosetRewritingSystem</code> <a href="chap2_mj.html#X825D1F4D85DE122D">2.2-1</a> <br />
<code class="func">DoubleCosetsAutomaton</code> <a href="chap3_mj.html#X852CC057809CE3EE">3.2-1</a> <br />
example -- free product <a href="chap2_mj.html#X80B18B248603B3D6">2.2</a> <br />
example -- infinite rws <a href="chap2_mj.html#X7ED711187E2ECAC7">2.4</a> <br />
example -- trefoil group <a href="chap2_mj.html#X82FE46C27FE55A84">2.3</a> <br />
<code class="func">HKrules</code> <a href="chap2_mj.html#X815C08FD87D014B5">2.4-2</a> <br />
<code class="func">Hrules</code> <a href="chap2_mj.html#X815C08FD87D014B5">2.4-2</a> <br />
<code class="func">IdentityDoubleCoset</code> <a href="chap2_mj.html#X84B36973833F3B54">2.4-3</a> <br />
<code class="func">IsDoubleCosetRewritingSystem</code> <a href="chap2_mj.html#X825D1F4D85DE122D">2.2-1</a> <br />
<code class="func">IsWordAcceptorOfDoubleCosetRws</code> <a href="chap2_mj.html#X83FF05087E7B133A">2.2-3</a> <br />
<code class="func">KBMagFSAtoAutomataDFA</code> <a href="chap2_mj.html#X8722C57284F51940">2.4-1</a> <br />
<code class="func">KBMagRewritingSystem</code> <a href="chap2_mj.html#X8722C57284F51940">2.4-1</a> <br />
<code class="func">KBMagWordAcceptor</code> <a href="chap2_mj.html#X8722C57284F51940">2.4-1</a> <br />
<code class="func">KnuthBendixRewritingSystem</code> <a href="chap2_mj.html#X87A3823483E4FF86">2.1-1</a> <br />
<code class="func">Krules</code> <a href="chap2_mj.html#X815C08FD87D014B5">2.4-2</a> <br />
<code class="func">NextWord</code> <a href="chap2_mj.html#X7AF0265982B42E47">2.1-2</a> <br />
<code class="func">NextWords</code> <a href="chap2_mj.html#X7AF0265982B42E47">2.1-2</a> <br />
<code class="func">PartialDoubleCosetRewritingSystem</code> <a href="chap2_mj.html#X83DE506B828F4B0D">2.3-1</a> <br />
<code class="func">ReducedConfluentRewritingSystem</code> <a href="chap2_mj.html#X87A3823483E4FF86">2.1-1</a> <br />
ReducedForm <a href="chap2_mj.html#X87A3823483E4FF86">2.1-1</a> <br />
<code class="func">RightCosetsAutomaton</code> <a href="chap3_mj.html#X852CC057809CE3EE">3.2-1</a> <br />
trefoil group <a href="chap2_mj.html#X82FE46C27FE55A84">2.3</a> <br />
<code class="func">WordAcceptorByKBMag</code> <a href="chap2_mj.html#X8722C57284F51940">2.4-1</a> <br />
<code class="func">WordAcceptorByKBMagOfDoubleCosetRws</code> <a href="chap2_mj.html#X8722C57284F51940">2.4-1</a> <br />
<code class="func">WordAcceptorOfDoubleCosetRws</code> <a href="chap2_mj.html#X83FF05087E7B133A">2.2-3</a> <br />
<code class="func">WordAcceptorOfPartialDoubleCosetRws</code> <a href="chap2_mj.html#X83DE506B828F4B0D">2.3-1</a> <br />
<code class="func">WordAcceptorOfReducedRws</code> <a href="chap2_mj.html#X83FF05087E7B133A">2.2-3</a> <br />
<code class="func">WordToString</code> <a href="chap2_mj.html#X84B36973833F3B54">2.4-3</a> <br />
<p> </p>
</div>
<div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.html#contents">[Contents]</a> <a href="chapBib_mj.html">[Previous 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>
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet am 2026-11-04)
¤
*© Formatika GbR, Deutschland