  
  
                                     [1X[5XSgpViz[105X[101X
  
  
                   [1XA [5XGAP[105X package for semigroup visualisation[101X
  
  
                                Version 0.999.5
  
  
                                 Manuel Delgado
  
                                José João Morais
  
  
  
  Manuel Delgado
      Email:    [7Xmailto:mdelgado@fc.up.pt[107X
      Homepage: [7Xhttps://www.fc.up.pt/cmup/mdelgado[107X
  
  -------------------------------------------------------
  [1XCopyright[101X
  [33X[0;0Y© 2005 by Manuel Delgado and José João Morais[133X
  
  [33X[0;0Y[5XSgpViz[105X  package  is  free software; you can redistribute it and/or modify it
  under     the     terms     of    the    GNU    General    Public    License
  ([7Xhttps://www.fsf.org/licenses/gpl.html[107X)  as  published  by the Free Software
  Foundation;  either  version 2 of the License, or (at your option) any later
  version.  For details, see the file 'GPL' included in the package or see the
  FSF's own site.[133X
  
  
  -------------------------------------------------------
  [1XAcknowledgements[101X
  [33X[0;0YThe  first  author acknowledges financial support of FCT, through the [13XCentro
  de Matemática da Universidade do Porto[113X.[133X
  
  [33X[0;0YThe  second  author  acknowledges  financial  support  of  FCT and the POCTI
  program  through a scholarship given by [13XCentro de Matemática da Universidade
  do Porto[113X.[133X
  
  [33X[0;0YBoth  authors  acknowledge Jorge Almeida, Vítor H. Fernandes and Pedro Silva
  for many helpful discussions and comments.[133X
  
  [33X[0;0Y[12XConcerning maintenance:[112X[133X
  
  [33X[0;0YThe maintainer wants to acknowledge partial support by:[133X
  
  [33X[0;0YFCT   -   Fundação   para  a  Ciência  e  a  Tecnologia  under  the  project
  PTDC/MAT/65481/2006[133X
  
  [33X[0;0Y[13XCentro de Matemática da Universidade do Porto[113X (CMUP), funded by the European
  Regional   Development  Fund  through  the  programme  COMPETE  and  by  the
  Portuguese Government through the FCT project PEst-C/MAT/UI0144/2011.[133X
  
  [33X[0;0YCMUP  (UID/MAT/00144/2013  and  UID/MAT/00144/2019),  which is funded by FCT
  (Portugal)  with  national  (MEC)  and European structural funds through the
  programs FEDER, under the partnership agreement PT2020.[133X
  
  [33X[0;0YFurthermore,  the  maintainer  wants  to  thank the organisers of [10XGAPDays[110X in
  their  several  editions,  as  well  as  several people (for advises, giving
  feedback,  etc).  Among them I would like to refer: Max Horn, James Mitchel,
  Jan Philipp Wächter, João Araújo, Alfredo Costa and Teresa Melo.[133X
  
  
  -------------------------------------------------------
  [1XColophon[101X
  [33X[0;0YThis   manual  describes  the  [5XGAP[105X  package  [5XSgpViz[105X,  Version  0.999.5,  for
  visualising finite semigroups.[133X
  
  [33X[0;0YSince  Version  0.998  (released  in 2008), the package is maintained by the
  first author.[133X
  
  [33X[0;0YThe  present  package  is superseded by the [5XGAP[105X package [13Xsemigroups[113X, by James
  Mitchel,  in  what  concerns  some  aspects  of  semigroup visualisation. We
  strongly  recommend  the  usage  of  that  package,  unless  you find useful
  specific tools available in [5XSgpViz[105X but not in [13Xsemigroups[113X.[133X
  
  [33X[0;0YBug  reports,  suggestions  and comments are, of course, welcome. Please use
  the email address [7Xmailto:mdelgado@fc.up.pt[107X to this effect.[133X
  
  [33X[0;0YIf  you  have  benefited  from  the  use  of  the [5XSgpViz[105X [5XGAP[105X package in your
  research,  please  cite  it  in addition to [5XGAP[105X itself, following the scheme
  proposed in [7Xhttps://www.gap-system.org/Contacts/cite.html[107X.[133X
  
  
  -------------------------------------------------------
  
  
  [1XContents (SgpViz)[101X
  
  1 [33X[0;0YIntroduction[133X
  2 [33X[0;0YBasics[133X
    2.1 [33X[0;0YExamples[133X
    2.2 [33X[0;0YSome attributes[133X
      2.2-1 HasCommutingIdempotents
      2.2-2 IsInverseSemigroup
    2.3 [33X[0;0YSome basic functions[133X
      2.3-1 PartialTransformation
      2.3-2 ReduceNumberOfGenerators
      2.3-3 SemigroupFactorization
      2.3-4 GrahamBlocks
    2.4 [33X[0;0YCayley graphs[133X
      2.4-1 RightCayleyGraphAsAutomaton
      2.4-2 RightCayleyGraphMonoidAsAutomaton
  3 [33X[0;0YDrawings of semigroups[133X
    3.1 [33X[0;0YDrawing the D-class of an element of a semigroup[133X
      3.1-1 DrawDClassOfElement
      3.1-2 DotForDrawingDClassOfElement
    3.2 [33X[0;0YDrawing the D-classes of a semigroup[133X
      3.2-1 DrawDClasses
      3.2-2 DotForDrawingDClasses
    3.3 [33X[0;0YCayley graphs[133X
      3.3-1 DrawRightCayleyGraph
      3.3-2 DrawCayleyGraph
      3.3-3 DotForDrawingRightCayleyGraph
    3.4 [33X[0;0YSchützenberger graphs[133X
      3.4-1 DrawSchutzenbergerGraphs
      3.4-2 DotForDrawingSchutzenbergerGraphs
  4 [33X[0;0YUser friendly ways to give semigroups and automata[133X
    4.1 [33X[0;0YFinite automata[133X
      4.1-1 XAutomaton
    4.2 [33X[0;0YFinite semigroups[133X
      4.2-1 XSemigroup
      4.2-2 [33X[0;0YSemigroups given through generators and relations[133X
      4.2-3 [33X[0;0YSemigroups given by partial transformations[133X
      4.2-4 [33X[0;0YSyntatic semigroups[133X
  
  
  [32X
