<?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 (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" /> </head> <body> <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="chapBib.html">Bib</a> <a href="chapInd.html">Ind</a> </div> <div class="chlinkprevnexttop"> <a href="chap0.html">Top of Book</a> <a href="chapBib.html">Previous Chapter</a> </div> <p><a id="X83A0356F839C696F" name="X83A0356F839C696F"></a></p> <div class="index"> <h3>Index</h3> <code class="func">DCrules</code> <a href="chap2.html#X815C08FD87D014B5">2.4-2</a><br /> <code class="func">DisplayAsString</code> <a href="chap2.html#X7AF0265982B42E47">2.4-3</a><br /> <code class="func">DisplayRwsRules</code> <a href="chap2.html#X87A3823483E4FF86">2.1-1</a><br /> <code class="func">DoubleCosetRewritingSystem</code> <a href="chap2.html#X825D1F4D85DE122D">2.2-1</a><br /> <code class="func">DoubleCosetsAutomaton</code> <a href="chap3.html#X852CC057809CE3EE">3.2-1</a><br /> example -- free product <a href="chap2.html#X846F0B22859B601A">2.2</a><br /> example -- infinite rws <a href="chap2.html#X86DACE357868DC1B">2.4</a><br /> example -- trefoil group <a href="chap2.html#X838CC08E7E92EBC0">2.3</a><br /> <code class="func">HKrules</code> <a href="chap2.html#X815C08FD87D014B5">2.4-2</a><br /> <code class="func">Hrules</code> <a href="chap2.html#X815C08FD87D014B5">2.4-2</a><br /> <code class="func">IdentityDoubleCoset</code> <a href="chap2.html#X7AF0265982B42E47">2.4-3</a><br /> <code class="func">IsDoubleCosetRewritingSystem</code> <a href="chap2.html#X825D1F4D85DE122D">2.2-1</a><br /> <code class="func">IsWordAcceptorOfDoubleCosetRws</code> <a href="chap2.html#X83FF05087E7B133A">2.2-2</a><br /> <code class="func">KBMagFSAtoAutomataDFA</code> <a href="chap2.html#X8722C57284F51940">2.4-1</a><br /> <code class="func">KBMagRewritingSystem</code> <a href="chap2.html#X8722C57284F51940">2.4-1</a><br /> <code class="func">KBMagWordAcceptor</code> <a href="chap2.html#X8722C57284F51940">2.4-1</a><br /> <code class="func">KnuthBendixRewritingSystem</code> <a href="chap2.html#X87A3823483E4FF86">2.1-1</a><br /> <code class="func">Krules</code> <a href="chap2.html#X815C08FD87D014B5">2.4-2</a><br /> <code class="func">NextWord</code> <a href="chap2.html#X7AF0265982B42E47">2.4-3</a><br /> <code class="func">PartialDoubleCosetRewritingSystem</code> <a href="chap2.html#X83DE506B828F4B0D">2.3-1</a><br /> <code class="func">ReducedConfluentRewritingSystem</code> <a href="chap2.html#X87A3823483E4FF86">2.1-1</a><br /> <code class="func">RightCosetsAutomaton</code> <a href="chap3.html#X852CC057809CE3EE">3.2-1</a><br /> trefoil group <a href="chap2.html#X838CC08E7E92EBC0">2.3</a><br /> <code class="func">WordAcceptorByKBMag</code> <a href="chap2.html#X8722C57284F51940">2.4-1</a><br /> <code class="func">WordAcceptorByKBMagOfDoubleCosetRws</code> <a href="chap2.html#X8722C57284F51940">2.4-1</a><br /> <code class="func">WordAcceptorOfDoubleCosetRws</code> <a href="chap2.html#X83FF05087E7B133A">2.2-2</a><br /> <code class="func">WordAcceptorOfPartialDoubleCosetRws</code> <a href="chap2.html#X83DE506B828F4B0D">2.3-1</a><br /> <code class="func">WordAcceptorOfReducedRws</code> <a href="chap2.html#X83FF05087E7B133A">2.2-2</a><br /> <code class="func">WordToString</code> <a href="chap2.html#X7AF0265982B42E47">2.4-3</a><br /> <p> </p> </div> <div class="chlinkprevnextbot"> <a href="chap0.html">Top of Book</a> <a href="chapBib.html">Previous 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="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>