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