Fix enumeration of finitely generated semigroups

[tscrim]

We use breadth-first-search via RecursivelyEnumeratedSet to iterate through the elements of a finitely generated semigroup. This will allow us to deprecate TransitiveIdeal*

Depends on #13580

CC: @sagetrac-sage-combinat @nthiery

Component: algebra

Author: Travis Scrimshaw

Branch/Commit: 702d333

Reviewer: Frédéric Chapoton

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

[tscrim]

comment:1

I want to do the deprecation on a separate ticket because only this part is needed for #17039.

---

New commits:

a0307f3

Changed iterator for finitely generated semigroups.

[tscrim]

Branch: public/semigroups/iterator_finitely_generated_semigroups-20403

[tscrim]

Commit: a0307f3

[sagetrac-git]

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

859b05f

Change TODO list in backtrack to state we can deprecate TransitiveIdeal* now.

[sagetrac-git]

Changed commit from a0307f3 to 859b05f

[tscrim]

comment:3

Deprecation ticket is #20404.

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

c427ca9

Change TODO list in backtrack to state we can deprecate TransitiveIdeal* now.

[sagetrac-git]

Changed commit from 859b05f to c427ca9

[sagetrac-git]

Changed commit from c427ca9 to a27f383

[sagetrac-git]

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

a27f383

trac #20403 fixing one doctest

[sagetrac-git]

Changed commit from a27f383 to c20562e

[sagetrac-git]

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

c20562e

trac #20403 doc formatting

[fchapoton]

Reviewer: Frédéric Chapoton

[fchapoton]

comment:7

looks good to me

[sagetrac-git]

Changed commit from c20562e to 67521dd

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. Last 10 new commits:

a5f4d67	Improved doc for map-reduce
569de0d	Merge branch 'develop' into t/13580/map_reduce
b07dfe2	Doc of the two implementationsof ActiveTaskCounter
beebcbc	#13580: Added comment on timing in the doc
58eca2e	#13580: Removed comment which is now in the doc
1badd8a	#13580: Renamed ActiveTaskCounter(Posix)
46cbab9	13580: Fixed doctests to pass on Darwin
134c1fa	13580: doc rereading
4c82d1b	Merge branch 'u/hivert/ticket/13580' of trac.sagemath.org:sage into u/hivert/ticket/13580
67521dd	Merge branch 'u/hivert/ticket/13580' into public/semigroups/iterator_finitely_generated_semigroups-20403

[tscrim]

Dependencies: #13580

[tscrim]

comment:9

Trivial conflict/rebase over #13580.

[vbraun]

comment:11

See patchbot

[sagetrac-git]

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

6272efd

Removing tab character.

[sagetrac-git]

Changed commit from 67521dd to 6272efd

[vbraun]

comment:14

There is another failure on 32-bit that seems to come from this ticket: http://build.sagedev.org/release/builders/%20%20slow%20AIMS%20%20%28Debian%207%2032%20bit%29%20incremental/builds/479/steps/shell_4/logs/stdio

[kiwifb]

comment:15

My own doctesting earlier this afternoon, complained about a tab in backtrack.py as well.

[tscrim]

comment:16

The tab character should be fixed in 6272efd.

I am actually surprised the breadth first search is so consistent. It is somewhat non-deterministic because it uses a set for the next level, whereas it probably should be a list. However, that is an issue for another ticket because it will require much more large-scale changes.

[sagetrac-git]

Changed commit from 6272efd to 702d333

[sagetrac-git]

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

702d333

Fix doctest output order (for 32-bit).

[tscrim]

comment:18

Quick-n-dirty fix for doctest order.

[vbraun]

Changed branch from public/semigroups/iterator_finitely_generated_semigroups-20403 to 702d333