Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/kan/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 23.0.2024 mit Größe 5 kB image not shown  

Quelle  chap1.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/kan/doc/chap1.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>
<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" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chap1"  onload="jscontent()">


<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#contents">[Contents]</a>    <a href="chap0.html">[Previous Chapter]</a>    <a href="chap2.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap1_mj.html">[MathJax on]</a></p>
<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 [Hey99], and was designed to compute induced actions of categories (see also [BH00]).



<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>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">LoadPackage( "kan" ); </span>

</pre></div>

<p>The package may be obtained as a compressed tar file <code class="file">kan-version.number.tar.gz</code> by ftp from one of the following sites:</p>


<ul>
<li><p>the <strong class="pkg">Kan</strong> GitHub site: <span class="URL"><a href="https://github.com/gap-packages.github.io/kan/">https://github.com/gap-packages.github.io/kan/</a></span>.</p>

</li>
<li><p>any <strong class="pkg">GAP</strong> archive, e.g. <span class="URL"><a href="https://www.gap-system.org/Packages/packages.html">https://www.gap-system.org/Packages/packages.html</a></span>;</p>

</li>
</ul>
<p>The package also has a GitHub repository at: <span class="URL"><a href="https://github.com/gap-packages/kan/">https://github.com/gap-packages/kan/</a></span>.</p>

<p>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>Once the package is loaded, it is possible to check the installation is correct by running a test file of the manual examples with the following command. (The test file itself is <code class="file">tst/fulltest.tst</code> or <code class="file">tst/parttest.tst</code>, depending whether or not <strong class="pkg">KBMag</strong> is available.)</p>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">ReadPackage( "kan", "tst/testall.g" );</span>
#I  Testing /Applications/gap/my-dev/pkg/kan/tst/fulltest.tst
#I  No errors detected while testing package kan
true

</pre></div>

<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, the manual <code class="code">doc/manual.pdf</code> can be found in the documentation folder. The <code class="code">html</code> versions, with or without MathJax, may be rebuilt as follows.</p>


<div class="example"><pre>

<span class="GAPprompt">gap></span> <span class="GAPinput">InfoLevel( InfoKan );</span>
0
<span class="GAPprompt">gap></span> <span class="GAPinput">ReadPackage( "kan, "makedoc.g" );

</pre></div>

<p>Please send bug reports, suggestions and other comments to the second author, or use the GitHub issue tracker at <span class="URL"><a href="https://github.com/gap-packages/kan/issues/new">https://github.com/gap-packages/kan/issues/new</a></span>.</p>

<p>Additional information can be found on the <em>Computational Higher-dimensional Discrete Algebra</em> website at <span class="URL"><a href="https://github.com/cdwensley">https://github.com/cdwensley</a></span>.</p>


<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</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>

97%


¤ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ¤

*© 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.