<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">[DEG+02]</a>, a software for drawing graphs developed at AT & T Labs, that can be obtained at <span class="URL"><a href="https://www.graphviz.org/">https://www.graphviz.org/</a></span>. It is used not only to draw right Cayley graphs of finite semigroups and Schüzenberger graphs of finite inverse semigroups but also to visualise 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 must be greater or equal to 1.16. <br><br> Tcl/Tk should also be available in order to run the graphical interfaces</p>
<p>XAutomaton and XSemigroup <br /> used to specify automata and semigroups.</p>
<p><br><br> <strong class="button">Warning</strong>: the use of XAutomaton and XSemigroup is intended only for simple examples. After its use one may have to start another GAP session. <br><br></p>
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.