[1XSemigroup visualization[0m ( Version 0.998 ) Manuel Delgado José João Morais Manuel Delgado Email: [7Xmailto:mdelgado@fc.up.pt[0m Homepage: [7Xhttp://www.fc.up.pt/cmup/mdelgado[0m José João Morais Email: [7Xmailto:josejoao@fc.up.pt[0m ------------------------------------------------------- [1XCopyright[0m © 2005 by Manuel Delgado and José João Morais We adopt the copyright regulations of [5XGAP[0m as detailed in the copyright notice in the [5XGAP[0m manual. ------------------------------------------------------- [1XAcknowledgements[0m The first author aknowledges financial support of FCT, through the [13XCentro de Matemática da Universidade do Porto[0m. The second author acknowledges financial support of FCT and the POCTI program through a scholarship given by [13XCentro de Matemática da Universidade do Porto[0m. Both authors acknowledge Jorge Almeida, VÃtor H. Fernandes and Pedro Silva for many helpfull discussions and comments. ------------------------------------------------------- [1XColophon[0m Bug reports, suggestions and comments are, of course, welcome. Please use the email address [7Xmailto:mdelgado@fc.up.pt[0m or [7Xmailto:josejoao@fc.up.pt[0m to this effect. ------------------------------------------------------- [1XContents (SgpViz)[0X 1 Introduction 2 Basics 2.1 Examples 2.2 Some attributes 2.2-1 HasCommutingIdempotents 2.2-2 IsInverseSemigroup 2.3 Some basic functions 2.3-1 PartialTransformation 2.3-2 ReduceNumberOfGenerators 2.3-3 SemigroupFactorization 2.3-4 GrahamBlocks 2.4 Cayley graphs 2.4-1 RightCayleyGraphAsAutomaton 2.4-2 RightCayleyGraphMonoidAsAutomaton 3 Drawings of semigroups 3.1 Drawing the D-class of an element of a semigroup 3.1-1 DrawDClassOfElement 3.2 Drawing the D-classes of a semigroup 3.2-1 DrawDClasses 3.3 Cayley graphs 3.3-1 DrawRightCayleyGraph 3.3-2 DrawCayleyGraph 3.4 Schutzenberger graphs 3.4-1 DrawSchutzenbergerGraphs 3.5 Drawings output formats 3.5-1 DrawingsListOfExtraFormats 3.5-2 DrawingsExtraFormat 3.5-3 SetDrawingsExtraFormat 3.6 Drawings extra graph attributes 3.6-1 DrawingsExtraGraphAttributes 3.6-2 SetDrawingsExtraGraphAttributes 3.6-3 ClearDrawingsExtraGraphAttributes 4 User friendly ways to give semigroups and automata 4.1 Finite automata 4.1-1 XAutomaton 4.2 Finite semigroups 4.2-1 XSemigroup 4.2-2 Semigroups given through generators and relations 4.2-3 Semigroups given by partial transformations 4.2-4 Syntatic semigroups -------------------------------------------------------