James Mitchell

It should be relatively straightforward to make free bands in the Semigroups package acting semigroups. This will involve the following: * adding the filter `IsActingSemigroup` to `IsFreeBandSubsemigroup`, or at least,...

TODO add more details.

Support for the `Konieczny` class in `libsemigroups` should be added to the Semigroups package: https://libsemigroups.readthedocs.io/en/latest/_generated/libsemigroups__konieczny.html?highlight=koniec#_CPPv4I00EN13libsemigroups9KoniecznyE This can probably wait until after libsemigroups v3.0.0 is released.

An element of the free inverse semigroup can be represented as a birooted word graph. It'd be great if this graph was accessible and splashable from GAP.

In the same vein as `RectangularBand` etc. A *free semilattice* is a commutative ($xy = yx$ for all $x, y \in S$) semigroup of idempotents ($x^2 = x$ for all...

The doc for `SmallestMultiplicationTable` states `Returns: The lex-least multiplication table of a semigroup.` but as reported by Mikolas Janota, the table returned by this function is not always lex-least: ~~~...

Set up a `valgrind` CI job for release candidates

1

As the title says.

This PR adds an operation `UniformRandomPartialPerm` that returns a partial perm acting on `n` points uniformly at random. On the down side this is slower than `RandomPartialPerm` but on the...

Requires some tests.

Implement `LeftSemigroupIdeal` and `RightSemigroupIdeal`

3

The subject says it all, there is currently no functionality for computing left/right ideals.