Semigroupe : a program for computing finite semigroups

Download Version 1.0      READ ME      Licence

LIAFA, December 2002
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 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
Interface.c Interface.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
Mots.c Mots.h Preferences.c Preferences.h
Reduction.c Reduction.h Sortie.c Sortie.h
SortieDclasses.c SortieDclasses.h SortieVarietes.c SortieVarietes.h
Syntactique.c Syntactique.h TableDeS.c TableDeS.h
Transitions.c Transitions.h Utilitaires.c Utilitaires.h
Varietes.c Varietes.h Zero.c Zero.h

Auxiliary files

READ ME Documentation (PDF) Documentation (Postscript) makefile

The .tar.gz.uu archive

Download all sources, documentation and install command
Main page of Jean-Éric Pin
Last modified Apr 30, 2009