Maximal subsemigroups not working for non-regular Rees 0-matrix semigroups

[james-d-mitchell]

Originally reported by: James Mitchell (Bitbucket: james-d-mitchell, GitHub: james-d-mitchell)

---

The following happens in the 2.2 branch:

#!GAP
gap> S := ReesZeroMatrixSemigroup( Group( [ () ] ), [ [ (), 0 ], [ 0, () ] ] );;
gap> T := Semigroup(RMSElement(S, 2, (), 2), RMSElement(S, 1, (), 2));;
gap> MaximalSubsemigroups(T);
Error, Semigroups: MaximalSubsemigroups,
not yet implemented for a non-regular Rees 0-matrix semigroup, called from
<function "unknown">( <arguments> )
 called from read-eval loop at line 32 of *stdin*
you can 'quit;' to quit to outer loop, or
you can 'return;' to continue
brk> 

But T is an acting semigroup, and so it should work!

---

• Bitbucket: https://bitbucket.org/james-d-mitchell/semigroups/issue/110

[james-d-mitchell]

Original comment by James Mitchell (Bitbucket: james-d-mitchell, GitHub: james-d-mitchell):

---

Removing milestone: 2.3 (automated comment)

[james-d-mitchell]

Original comment by wilfwilson (Bitbucket: wilfwilson, GitHub: wilfwilson):

---

Checking gaplint on maximal.g*. Fixed Issue #110 (and closing it). WW