The GAP package Semigroups
Branch: master
Clone or download
Type Name Latest commit message Commit time
Failed to load latest commit information.
data io: auto detect file encoding in generator files Nov 21, 2017
doc Add MH and MW as contributors Feb 15, 2019
gap updates bibliography Feb 14, 2019
m4 Modernize ac_find_gap.m4 Nov 26, 2018
src cpplint: update config for 1.4.3 Feb 18, 2019
.LIBSEMIGROUPS_VERSION Bump libsemigroups to v0.6.4 Sep 29, 2018
.gaplint.yml gaplint: update for v1.0.* part 3 Apr 20, 2018
.travis.yml travis: switch from trusty to xenial Nov 9, 2018 Update version numbers Feb 15, 2019 Update Jan 14, 2019
PackageInfo.g Update version numbers Feb 15, 2019 Reformat Nov 29, 2018
VERSIONS Update version numbers Feb 15, 2019 libsemigroups: changes for compatibility with libsemigroups Jan 19, 2017
makedoc.g Linting Mar 14, 2017 travis: install libsemigroups in a separate script Sep 13, 2018
read.g Implement dual semigroups Jun 4, 2018

README - Semigroups package for GAP

Copyright (C) 2011-18 James D. Mitchell et al.
Licensing information is available in the LICENSE file.

DOI Build Status

Getting Semigroups

To get the latest version of the package download the archive file semigroups-x.x.x.tar.gz from the Semigroups webpage, and inside the pkg subdirectory of your GAP installation unpack semigroups-x.x.x.tar.gz, by, for example, doing:

gunzip semigroups-x.x.x.tar.gz; tar xvf semigroups-x.x.x.tar

This will create a subdirectory semigroups-x.x.x.


For questions, remarks, suggestions, and issues please use the issue tracker.


It is assumed that you have a working copy of GAP with version number 4.9.0 or higher. The most up-to-date version ofGAP and instructions on how to install it can be obtained from the main GAP page.

The following is a summary of the steps that should lead to a successful installation of Semigroups:

  • get the IO package version 4.5.1 or higher

  • get the orb package version 4.8.1 or higher

Both orb and Semigroups perform better when orb is compiled, so compile orb!

  • ensure that the Digraphs package version 0.12.0 or higher is available. Digraphs must be compiled before Semigroups can be loaded.

  • get the genss package version 1.6.5 or higher

  • download the package archive semigroups-x.x.x.tar.gz from the Semigroups webpage.

  • unzip and untar the file semigroups-x.x.x.tar.gz, for example, using

    gunzip semigroups-x.x.x.tar.gz; tar xvf semigroups-x.x.x.tar

    this should create a directory called semigroups-x.x.x.

  • locate the pkg directory of your GAP directory, which contains the directories lib, doc, and so on. Move the directory semigroups-x.x.x into the pkg directory.

  • from version 3.0.0, it is necessary to compile the Semigroups package. Semigroups uses the libsemigroups C++ library, which requires a compiler implementing the C++11 standard. To compile, inside the pkg/semigroups-x.x.x directory, type

    • ./configure
    • make

    If you are using GCC to compile Semigroups, then version 5.0 or higher is required. Trying to compile Semigroups with an earlier version of GCC will result in an error at compile time. Semigroups supports GCC version 5.0 or higher, and clang version 5.0 or higher.

    Further information about this step can be found in manual section entitled “Compiling the kernel module”.

  • start GAP in the usual way.

  • type LoadPackage("semigroups");