Implement category for H, L, R, J trivials monoids

[avirmaux]

The aim is to integrate in the main Sage library the mature methods and examples for

• H-trivial monoids
• R-trivial monoids
• L-trivial monoids
• J-trivial monoids

from the Sage-Semigroups package. https://github.com/nthiery/sage-semigroups

CC: @nthiery @hivert @tscrim @saliola

Component: categories

Keywords: monoids, days64

Branch/Commit: public/18001 @ ea4a971

Issue created by migration from https://trac.sagemath.org/ticket/18001

[avirmaux]

Branch: u/virmaux/develop

[avirmaux]

Changed branch from u/virmaux/develop to u/virmaux/monoids

[nthiery]

New commits:

3b59784

Files for H, J, R, L trivial monoids, beginning of the implementation

[nthiery]

Dependencies: 18265

[nthiery]

Commit: 3b59784

[sagetrac-git]

Changed commit from 3b59784 to 4dbdfac

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

4dbdfac

18001: merge with develop

[sagetrac-git]

Changed commit from 4dbdfac to c389ef3

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

c6ce643	18001: rebase with develop
30c19af	18001: rebase
c389ef3	18001: rebase (h_trivial)

[tscrim]

Changed dependencies from 18265 to #18265

[fchapoton]

Changed branch from u/virmaux/monoids to public/18001

[fchapoton]

comment:7

I have made a cleaner branch, starting from u/virmaux/develop.

I have also corrected a few typos in the new files.

---

New commits:

906e4f2

Merge branch 'u/virmaux/develop' in 7.4.b0

[fchapoton]

Changed commit from c389ef3 to 906e4f2

[fchapoton]

Changed dependencies from #18265 to none

[sagetrac-git]

Changed commit from 906e4f2 to 24a1fbd

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

24a1fbd

trac 18001 pep8 details

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

204dac1

trac 18001 some details

[sagetrac-git]

Changed commit from 24a1fbd to 204dac1

[sagetrac-git]

Changed commit from 85ee163 to e473ebf

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

e473ebf

Changing the category of R-trivial monoids example.

[tscrim]

comment:23

Well, it does fix one problem: the enumeration and the lack of a list() method. (I'm not sure if that means some of these methods should actually belong to the finite finitely-generated semigroups category, and I have swept the problem under the run.)

However, it then shows another problem, which seems to be rooted in the test itself. The method j_transversal_of_idempotents returns a list, but this test seems to be expecting a dict. So either the j_transversal_of_idempotents should now return a family whose keys are index_of_regular_j_class or the test itself needs to change. (BTW, there is a bug with j_transversal_of_idempotents; the output is cached, but it is a mutable list.)

[fchapoton]

comment:24

and also a superfluous import

+src/sage/categories/finite_semigroups.py:16: 'sage.categories.finite_enumerated_sets.FiniteEnumeratedSets' imported but unused

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

40afa48	Merge branch 'public/18001' in 9.2.b3
4f7ad67	fix one doctest

[sagetrac-git]

Changed commit from e473ebf to 4f7ad67

[fchapoton]

comment:26

any interest on this ? Nicolas ou Florent, ça vous motive un peu ou pas ?

[tscrim]

comment:27

I have interest, but no time. :/

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

23a3548	Merge branch 'public/18001' in 9.2.b4
ea4a971	replace Returns by Return

[sagetrac-git]

Changed commit from 4f7ad67 to ea4a971

[mkoeppe]

comment:30

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.

[fchapoton]

comment:31

or is this just a duplicate of #18265 ?