Semigroupe 2.01 : a software for computing finite semigroups

Download Version 2.01      READ ME      Licence       Slides (1)       Slides (2)

IRIF, April 2009
See V. Froidure and J.-E. Pin, Algorithms for computing finite semigroups, in Foundations of Computational Mathematics, F. Cucker and M. Shub eds., Berlin, Lecture Notes in Computer Science, Springer Verlag, (1997), 112--126. Abstract.

Source C code

Arithmetique.c Arithmetique.h Blocs.c Blocs.h
Calcul.c Calcul.h DclassesIteratif.c DclassesIteratif.h
Espace.c Espace.h Erreurs.c Erreurs.h
Exemples.c Exemples.h FichierUnix.h FichierUnix.c
Globales.c Globales.h Initialisation.c Initialisation.h
InitiauxFinaux.c InitiauxFinaux.h InitLaTeX.c InitLaTeX.h
Inverses.c Inverses.h Main.c Main.h
Matrices.c Matrices.h MatricesBooleennes.c MatricesBooleennes.h
MatricesMaxPlus.c MatricesMaxPlus.h Memoire.c Memoire.h
Menu.c Menu.h Preferences.c Preferences.h
Reduction.c Reduction.h Sortie.c Sortie.h
SortieLaTeX.c SortieLaTeX.h SortieDclasses.c SortieDclasses.h
SortieLaTeXDclasses.c SortieLaTeXDclasses.h SortieVarietes.c SortieVarietes.h
SortieLaTeXVarietes.c SortieLaTeXVarietes.h Syntactique.c Syntactique.h
TableDeS.c TableDeS.h Test.c Test.h
TriParTas.c TriParTas.h Transitions.c Transitions.h
Utilitaires.c Utilitaires.h Varietes.c Varietes.h
Zero.c Zero.h

Auxiliary files

READ ME Documentation (PDF) makefile

The .tar.gz archive

Download all sources, documentation and install command

Main page of Jean-Éric Pin
Last modified 13 May 2020