<?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 (SgpViz) - 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="chap4.html">4</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 aim of this package is to turn <strong class="pkg"> GAP </strong> more user-friendly, at least for semigroup theorists. It requires the usage of external programs as is the case of <code class="code">graphviz</code> <a href="chapBib.html#biBKoutsofiosNorth:2002">[DEGKNW02]</a>, a software for drawing graphs developed at AT & T Labs, that can be obtained at <span class="URL"><a href="http://www.graphviz.org/">http://www.graphviz.org/</a></span>. It is used not only to draw right Cayley graphs of finite semigroups and Sch{\"u}zenberger graphs of finite inverse semigroups but also to visualize in the usual way the egg-box picture of a D-classe of a finite semigroup. <br><br> <strong class="button">Important note</strong>: The version of <code class="code">graphviz</code> to install should be greater or equal to 1.16. <br><br> Tcl/Tk should also be available in order to run the graphical interfaces (XAutomaton and XSemigroup) used to specify automata and semigroups.</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="chap4.html">4</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>