  
  
                            [1m[4m[31mSemigroup visualization[0m
  
  
                               ( Version 0.996 )
  
  
                                 Manuel Delgado
  
                                Jos Joo Morais
  
  
  
  Manuel Delgado
      Email:    [34mmailto:mdelgado@fc.up.pt[0m
      Homepage: [34mhttp://www.fc.up.pt/cmup/mdelgado[0m
  Jos Joo Morais
      Email:    [34mmailto:josejoao@fc.up.pt[0m
  
  -------------------------------------------------------
  [1m[4m[31mCopyright[0m
  (C) 2005 by Manuel Delgado and Jos Joo Morais
  
  We  adopt  the  copyright  regulations  of  [1mGAP[0m as detailed in the copyright
  notice in the [1mGAP[0m manual.
  
  
  -------------------------------------------------------
  [1m[4m[31mAcknowledgements[0m
  The first author aknowledges financial support of FCT, through the [22m[36mCentro de
  Matemtica da Universidade do Porto[0m.
  
  The  second  author  acknowledges  financial  support  of  FCT and the POCTI
  program  through a scholarship given by [22m[36mCentro de Matemtica da Universidade
  do Porto[0m.
  
  Both  authors  acknowledge Jorge Almeida, Vtor H. Fernandes and Pedro Silva
  for many helpfull discussions and comments.
  
  
  -------------------------------------------------------
  [1m[4m[31mColophon[0m
  Bug  reports,  suggestions  and comments are, of course, welcome. Please use
  the  email  address  [34mmailto:mdelgado@fc.up.pt[0m or [34mmailto:josejoao@fc.up.pt[0m to
  this effect.
  
  
  -------------------------------------------------------
  
  
  [1m[4m[31mContent (SgpViz)[0m
  
  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
  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
  
  
  -------------------------------------------------------
