3.0.17

This version contains some minor improvements and bugfixes.

3.0.16

This version contains some minor improvements and bugfixes.

3.0.15

Version 3.0.15 (released 24/03/2018)

This version contains some bugfixes, and some improved functionality:

• Issue 444: there was a garbage collection error in the kernel module that sometimes resulted in a GAP error "<func> must return a value". [F. Smith]

• Issue 459: the method for IsTrivial did not check if the number of generators was non-zero. [J. D. Mitchell]

• PR 457: an improved method for finding a set of generating pairs of a congruence over a Rees 0-matrix semigroup represented as a linked triple [Michael Torpey]

• Issue 461: NrCongruenceClasses sometimes returned the wrong result for classes of semigroups not defined in the Semigroups package. [Michael Torpey]

• Issue 463: replaced use of EvalString by ValueGlobal. [J. D. Mitchell]

3.0.14

This version contains a fix for the following issue, this was resolved by updating the version of libsemigroups to 0.6.3:

• Issue 450: There was an intermittent error in some methods for congruences and finitely presented semigroups arising from a bug in libsemigroups. [J. D. Mitchell]

3.0.13

This version contains some minor updates for compatibility GAP 4.9, and some
fixes for some minor issues.

3.0.12

This version contains some minor updates for compatibility GAP 4.9, to fix some
bugs, to update the build system, and to update the kernel module for
libsemigroups version 0.6.2.

The following improvements have been made:

• PR 426: a new faster method for IsomorphismFpSemigroup for factorisable inverse monoids is added. [Chris Russell]
• PR 430: the performance of the maximal subsemigroups functionality has been improved. [Wilf A. Wilson]

The following issues are resolved:

• Issue 424: the operation MinimalFactorization sometimes returned incorrect results. [J. D. Mitchell]

• Issue 435: the operation ClosureInverseMonoid sometimes returned incorrect results. [J. D. Mitchell]

2.8.2

This is a minor release to correct the required version of GAP in
PackageInfo.g (from GAP 4.9.0 to GAP 4.8.9).

2.8.1

This is a minor release to update the output in some test file and manual examples due to some changes in the GAP library code.

This version of Semigroups is only compatible with versions of GAP before 4.9, and this release is only being made for compatibility with GAP 4.8.9.

Please note that the most recent version of Semigroups is v3.0.11, which requires GAP 4.9.

3.0.11

This version contains some minor updates for compatibility GAP 4.9,
the build system has been modified slightly, the kernel module has been
updated for libsemigroups version 0.6.1.

3.0.10

This version contains some minor updates for compatibility GAP 4.9.