Semigroups
Semigroups copied to clipboard
semigroups
The GAP package Semigroups
https://app.codecov.io/gh/semigroups/Semigroups/ shows code coverage checks - but why they are not reported as comments in pull requests? Maybe @fingolfin knows?
In the `DotString` method for a semigroup, JE suggests adding the option to label the H-classes (or an H-class) of a non-regular D-class by the Schutzenberger group of that D-class.
Here is a list of everything (more or less) that is not documented in Semigroups 3.0.0. Let's tick the box when we've written the doc, and I'll cross out those...
By Theorem 5.1.1 in https://arxiv.org/abs/2012.10323, the semigroup of all square matrices of dimension k over Z/nZ is generated by `GL(k, Z/nZ)` along with one specified matrix for each prime divisor...
Originally reported by: **Attila Egri-Nagy (Bitbucket: [egri-nagy](http://bitbucket.org/egri-nagy), GitHub: [egri-nagy](http://github.com/egri-nagy))** --- Like IsomorphismGroups, a function for deciding whether two semigroups are isomorphic is highly desirable. Since this is a huge request...
Originally reported by: **James Mitchell (Bitbucket: [james-d-mitchell](http://bitbucket.org/james-d-mitchell), GitHub: [james-d-mitchell](http://github.com/james-d-mitchell))** --- Essentially make a wrapper for transformations, which implement partial transformations. Requested by Itamar Stein. --- - Bitbucket: https://bitbucket.org/james-d-mitchell/semigroups/issue/145
For the idempotents of an arbitrary regular semigroup, it would be good to have a method for `NaturalPartialOrder`. For some reason this has not been done previously.
It'd be great if `Projection` and the other things implemented for direct products also worked (where appropriate) for wreath products.
This issue is related to the examples I gave in a comment to Issue #537 started by Max (@fingolfin) Hopefully these new examples help to find the problem (the main...
As described in Howie's book Chapter 4.