<?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) - Contents</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="chap1.html">Next Chapter</a> </div>
<p><a id="X7D2C85EC87DD46E5" name="X7D2C85EC87DD46E5"></a></p>
<div class="pcenter">
<h1>Semigroup visualization</h1>
<p>( Version
0.998
)</p>
</div>
<p><b> Manuel Delgado
</b>
<br />Email: <span class="URL"><a href="mailto:mdelgado@fc.up.pt">mdelgado@fc.up.pt</a></span>
<br />Homepage: <span class="URL"><a href="http://www.fc.up.pt/cmup/mdelgado">http://www.fc.up.pt/cmup/mdelgado</a></span>
</p><p><b> José João Morais
</b>
<br />Email: <span class="URL"><a href="mailto:josejoao@fc.up.pt">josejoao@fc.up.pt</a></span>
</p>
<p><a id="X81488B807F2A1CF1" name="X81488B807F2A1CF1"></a></p>
<h3>Copyright</h3>
<p>© 2005 by Manuel Delgado and José João Morais</p>
<p>We adopt the copyright regulations of <strong class="pkg">GAP</strong> as detailed in the copyright notice in the <strong class="pkg">GAP</strong> manual.</p>
<p><a id="X82A988D47DFAFCFA" name="X82A988D47DFAFCFA"></a></p>
<h3>Acknowledgements</h3>
<p>The first author aknowledges financial support of FCT, through the <em>Centro de Matemática da Universidade do Porto</em>.</p>
<p>The second author acknowledges financial support of FCT and the POCTI program through a scholarship given by <em>Centro de Matemática da Universidade do Porto</em>.</p>
<p>Both authors acknowledge Jorge Almeida, Vítor H. Fernandes and Pedro Silva for many helpfull discussions and comments.</p>
<p><a id="X7982162280BC7A61" name="X7982162280BC7A61"></a></p>
<h3>Colophon</h3>
<p>Bug reports, suggestions and comments are, of course, welcome. Please use the email address <span class="URL"><a href="mailto:mdelgado@fc.up.pt">mdelgado@fc.up.pt</a></span> or <span class="URL"><a href="mailto:josejoao@fc.up.pt">josejoao@fc.up.pt</a></span> to this effect.</p>
<p><a id="X8537FEB07AF2BEC8" name="X8537FEB07AF2BEC8"></a></p>
<div class="contents">
<h3>Contents</h3>
<div class="ContChap"><a href="chap1.html#X7DFB63A97E67C0A1">1 <span class="Heading">
Introduction
</span></a>
</div>
<div class="ContChap"><a href="chap2.html#X868F7BAB7AC2EEBC">2 <span class="Heading">Basics</span></a>
<div class="ContSect"><span class="nocss"> </span><a href="chap2.html#X7A489A5D79DA9E5C">2.1 <span class="Heading">Examples </span></a>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap2.html#X85134313846D1A8A">2.2 <span class="Heading">Some attributes</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X7F7FAED380682973">2.2-1 HasCommutingIdempotents</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X83F1529479D56665">2.2-2 IsInverseSemigroup</a></span>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap2.html#X78CA2A0D869C51DC">2.3 <span class="Heading">Some basic functions</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X7A65787A83C0F8EF">2.3-1 PartialTransformation</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X7EEED52C7D38E1CA">2.3-2 ReduceNumberOfGenerators</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X7BBEBEE885D05208">2.3-3 SemigroupFactorization</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X7FB7633483A45209">2.3-4 GrahamBlocks</a></span>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap2.html#X789D5E5A8558AA07">2.4 <span class="Heading">Cayley graphs</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X822983CD7F01B5EA">2.4-1 RightCayleyGraphAsAutomaton</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap2.html#X82F7D3E485D615D8">2.4-2 RightCayleyGraphMonoidAsAutomaton</a></span>
</div>
</div>
<div class="ContChap"><a href="chap3.html#X826F747F81441D2E">3 <span class="Heading">
Drawings of semigroups
</span></a>
<div class="ContSect"><span class="nocss"> </span><a href="chap3.html#X7F71117D7F0259B8">3.1 <span class="Heading">
Drawing the D-class of an element of a semigroup
</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3.html#X87448A11856B0F2D">3.1-1 DrawDClassOfElement</a></span>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap3.html#X81CCF2BB81C4DF6F">3.2 <span class="Heading">
Drawing the D-classes of a semigroup
</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3.html#X7BDBEDA37ADCAADE">3.2-1 DrawDClasses</a></span>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap3.html#X789D5E5A8558AA07">3.3 <span class="Heading">Cayley graphs</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3.html#X7EB36DB07C6F58A0">3.3-1 DrawRightCayleyGraph</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3.html#X86798CC9823D1DB2">3.3-2 DrawCayleyGraph</a></span>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap3.html#X8641B3A6846AAFB5">3.4 <span class="Heading">Schutzenberger graphs</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3.html#X7B7B58B77EA25719">3.4-1 DrawSchutzenbergerGraphs</a></span>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap3.html#X7F5419527FFCD1DF">3.5 <span class="Heading">Drawings output formats</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3.html#X844AA65E815BCFDF">3.5-1 DrawingsListOfExtraFormats</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3.html#X7CE046CE786F76D5">3.5-2 DrawingsExtraFormat</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3.html#X87B43746819C55F3">3.5-3 SetDrawingsExtraFormat</a></span>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap3.html#X795DD98D86A1A441">3.6 <span class="Heading">Drawings extra graph attributes</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3.html#X7A3895EB7C0573DD">3.6-1 DrawingsExtraGraphAttributes</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3.html#X7B652A9179C45291">3.6-2 SetDrawingsExtraGraphAttributes</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap3.html#X7B915CC480D0ABF0">3.6-3 ClearDrawingsExtraGraphAttributes</a></span>
</div>
</div>
<div class="ContChap"><a href="chap4.html#X83D3B9D482790646">4 <span class="Heading">User friendly ways to give semigroups and automata</span></a>
<div class="ContSect"><span class="nocss"> </span><a href="chap4.html#X811E5FC2849C5644">4.1 <span class="Heading">
Finite automata
</span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4.html#X8470C731867684DF">4.1-1 XAutomaton</a></span>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap4.html#X836830E97ED27F7F">4.2 <span class="Heading"> Finite semigroups </span></a>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4.html#X7CFD37938771E821">4.2-1 XSemigroup</a></span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4.html#X83397F6B7B44CACD">4.2-2 <span class="Heading">
Semigroups given through generators and relations
</span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4.html#X7FCC7AFB793048E2">4.2-3 <span class="Heading">
Semigroups given by partial transformations
</span></a>
</span>
<span class="ContSS"><br /><span class="nocss"> </span><a href="chap4.html#X854F0DDF7D612393">4.2-4 <span class="Heading">
Syntatic semigroups
</span></a>
</span>
</div>
</div>
<br />
</div>
<div class="chlinkprevnextbot"> <a href="chap0.html">Top of Book</a> <a href="chap1.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>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
91213ddcfbe7f54821d42c2d9e091326
>
files
>
2629
