gap-semigroups

The Semigroups package is a GAP package containing methods for semigroups,
principally semigroups of transformations, partial permutations or
subsemigroups of regular Rees 0-matrix semigroups. Semigroups contains more
efficient methods than those available in the GAP library (and in many cases
more efficient than any other software) for creating semigroups, calculating
their Green's classes, size, elements, group of units, minimal ideal, small
generating sets, testing membership, finding the inverses of a regular element,
factorizing elements over the generators, and many more. It is also possible to
test if a semigroup satisfies a particular property, such as if it is regular,
simple, inverse, completely regular, and a variety of further properties.

          

---

License: GPL-2.0+
URL: http://www-groups.mcs.st-and.ac.uk/~jamesm/semigroups