GAP package for enumerating subsemigroups of semigroup, deciding isomorphisms
and constructing embeddings. The algorithms assume that the elements of the
semigroups can be fully calculated, therefore their applicability is limited
to relatively small semigroups.
Indeed, the original motivation for developing the package was the computational
enumeration of transformation semigroups up to degree 4. Instructions for
recomputing those results can be found in the
The code is highly experimental with no user documentation,
only inline comments. The algorithms are described on a
high level in the paper 'On Enumerating Transformation Semigroups'
Copyright (C) 2014 James East, Attila Egri-Nagy, James D. Mitchell
SubSemi is free software; you can redistribute it and/or modify it under
the terms of the GNU General Public License as published by the
Free Software Foundation; either version 2 of the License,
or (at your option) any later version.