GAP

Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 

GAP package Semigroups

Authors

J. D. Mitchell, M. Delgado, J. East, A. Egri-Nagy, N. Ham, J. Jonusas, M. Pfeiffer, B. Steinberg, J. Smith, M. Torpey, W. Wilson

Short Description

The Semigroups package is a GAP package containing methods for semigroups, monoids, and inverse semigroups, principally of transformations, partial permutations, bipartitions, subsemigroups of regular Rees 0-matrix semigroups, free inverse semigroups, free bands, and semigroups of matrices over finite fields.

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, monoids, and inverse semigroup, calculating their Green's structure, ideals, size, elements, group of units, 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.

There are methods for finding congruences of certain types of semigroups, the normalizer of a semigroup in a permutation group, the maximal subsemigroups of a finite semigroup, and smaller degree partial permutation representations of inverse semigroups. There are functions for producing pictures of the Green's structure of a semigroup, and for drawing bipartitions.

Version

Current version number 2.8.0   (Released 26/05/2016)

Status

deposited

Dependencies

GAP version: >=4.8.3
Needed other packages: orb(>=4.7.3), io(>=4.4.4),
Suggested other packages: gapdoc(>=1.5.1), grape(>=4.5), genss(>=1.5),

Online documentation

Semigroups: [ HTML] version   [ PDF] version  

Download

[README]    semigroups-2.8.0[.tar.gz  (1.4MB)]   [.tar.bz2  (1.2MB)]   [-win.zip  (1.5MB)]   [.zip  (1.5MB)]  

Source code repository

git : https://github.com/gap-packages/Semigroups

Issue tracker

https://github.com/gap-packages/Semigroups/issues

Contact

J. D. Mitchell
Address:
Mathematical Institute, North Haugh, St Andrews, Fife, KY16 9SS, Scotland
WWW: http://www-groups.mcs.st-andrews.ac.uk/~jamesm/
E-mail: jdm3@st-and.ac.uk