GAP

Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 

GAP package Semigroups

A package for semigroups and monoids

Author

James Mitchell

Short Description

The Semigroups package is a GAP package containing methods for semigroups, monoids, and inverse semigroups. There are particularly efficient methods for semigroups or ideals consisting of transformations, partial permutations, bipartitions, partitioned binary relations, subsemigroups of regular Rees 0-matrix semigroups, and matrices of various semirings including boolean matrices, matrices over finite fields, and certain tropical matrices.

Semigroups contains efficient methods 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 so on. It is 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 presentations for a semigroup, the congruences of a semigroup, the normalizer of a semigroup in a permutation group, the maximal subsemigroups of a finite semigroup, smaller degree partial permutation representations, and the character tables of inverse semigroups. There are functions for producing pictures of the Green's structure of a semigroup, and for drawing graphical representations of certain types of elements.

Version

Current version number 3.0.20   (Released 01/10/2018)

Status

deposited

Dependencies

GAP version: >=4.9.0
Needed other packages: orb(>=4.8.0), io(>=4.5.1), digraphs(>=0.12.0), genss(>=1.6.5),
Suggested other packages: gapdoc(>=1.5.1),

Online documentation

Semigroups: [ HTML] version   [ PDF] version  

Download

[README]    semigroups-3.0.20[.tar.gz  (3.6MB)]   [.tar.bz2  (3.0MB)]   [-win.zip  (3.9MB)]   [.zip  (3.9MB)]  

Source code repository

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

Issue tracker

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

Contact

James 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