Authors:

Current version: 0.998 (released 2008-05-31)

Warning. This package needs the GAP package automata.

The aim of this package is to turn GAP more user-friendly. It requires the usage of external programs as is the case of graphviz, a software for drawing graphs developed at AT & T Labs. It is used not only to draw right Cayley graphs of finite semigroups and Schuzenberger 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. Tcl/Tk should also be available in order to run the graphical interfaces used to specify automata and semigroups. If the current version of sgpviz is not yet one the GAP packages you have installed, you may wish to intall it by following the instructions available in the README file.
Note. Due to the use of many figures and trying to keep the manuals under a reasonable size, the html version is the completest.


Some images that may be found in the manual and you can obtain in your own computer:

XSemigroup XAutomaton XSemigroup DClassespoi3 CayleyGraphb21 ShuzenbergerGraphpoi3