<?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) - Chapter 1: Introduction</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="chap0.html">Previous Chapter</a> <a href="chap2.html">Next Chapter</a> </div>
<p><a id="X7DFB63A97E67C0A1" name="X7DFB63A97E67C0A1"></a></p>
<div class="ChapSects"><a href="chap1.html#X7DFB63A97E67C0A1">1 <span class="Heading">Introduction</span></a>
</div>
<h3>1 <span class="Heading">Introduction</span></h3>
<p>The <strong class="pkg">kan</strong> package started out as part of Anne Heyworth's thesis <a href="chapBib.html#biBanne-thesis">[Hey99]</a>}, and was designed to compute induced actions of categories (see also <a href="chapBib.html#biBBrHe">[BH00]</a>).</p>
<p>This version of <strong class="pkg">kan</strong> only provides functions for the computation of normal forms of representatives of double cosets of finitely presented groups, and is made available in support of the paper <a href="chapBib.html#biBBrGhHeWe">[BGHW06]</a>. Existing methods for computing double cosets in <strong class="pkg">GAP</strong> are described in <a href="chapBib.html#biBSteveL">[Lin91]</a>.</p>
<p>The package is loaded into <strong class="pkg">GAP</strong> with the command</p>
<table class="example">
<tr><td><pre>
gap> LoadPackage( "kan" );
</pre></td></tr></table>
<p>This version of <strong class="pkg">kan</strong> has been prepared for <strong class="pkg">GAP</strong> 4.4.11. Some of the functions in the <strong class="pkg">automata</strong> package are used to compute word acceptors and regular expressions for the languages they accept.</p>
<p>The <strong class="pkg">kbmag</strong> package is also used to compute a word acceptor of a group <code class="code">G</code> when <code class="code">G</code> has no finite rewriting system. If <strong class="pkg">kbmag</strong> is not available (the user is not on a UNIX system, or the C-programs have not been compiled), the file <code class="file">dckbmag.gi</code> will not be read, so methods for the functions detailed in section 2.4.1 will not be available.</p>
<p>The information parameter <code class="code">InfoKan</code> takes default value <code class="code">0</code>. When raised to a higher value, additional information is printed out.</p>
<p>Once the package is loaded, it is possible to check the installation is correct by running the test suite of the package with the following command. (The test file itself is <code class="file">tst/kan_manual.tst</code>.)</p>
<table class="example">
<tr><td><pre>
gap> ReadPackage( "kan", "tst/testall.g" );
+ setting AssertionLevel to 0 to avoid recursion in Automata
+ Testing all example commands in the Kan manual
+ GAP4stones: 6
true
</pre></td></tr></table>
<p>(If <strong class="pkg">kbmag</strong> is not loaded then a collection of error lines for Example 3 will be printed out.)</p>
<p>Please send bug reports, suggestions and other comments to the second author.</p>
<p>The <strong class="pkg">kan</strong> package is subject to the <strong class="pkg">GAP</strong> copyright regulations as detailed in the copyright notice in the <strong class="pkg">GAP</strong> manual.</p>
<div class="chlinkprevnextbot"> <a href="chap0.html">Top of Book</a> <a href="chap0.html">Previous Chapter</a> <a href="chap2.html">Next 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>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
5e1854624d3bc613bdd0dd13d1ef9ac7
>
files
>
2078
