Semigroups
Semigroups copied to clipboard
semigroups
The GAP package Semigroups
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...
PreImagesRepresetnative, PreImages, PreImagesSet and PreImagesElm can all return incorrect results when the element(s) supplied are not in the range of the map. This situation has been discussed in GAP issue...
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: ~~~...
In Jenkins builds for GAP 4.9.1 release candidates (the one that uses the `-win.zip` archives with line endings for text files converted to Windows format), the following problem happens: ```...
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...