Opened 7 years ago
Closed 7 years ago
#20405 closed defect (fixed)
Let (indexed) monoids know they are finitely generated
Reported by:  tscrim  Owned by:  sagecombinat 

Priority:  major  Milestone:  sage7.2 
Component:  categories  Keywords:  
Cc:  sagecombinat, nthiery  Merged in:  
Authors:  Travis Scrimshaw  Reviewers:  Julian Rüth 
Report Upstream:  N/A  Work issues:  
Branch:  740cf79 (Commits, GitHub, GitLab)  Commit:  740cf79cd75cabd0135897543bdcad788a543705 
Dependencies:  #20403  Stopgaps: 
Description
Right now, free (indexed) monoids do not know they are finitely generated (when the index set is finite of course), meaning that they cannot use the generic iteration. We fix this here.
Change History (8)
comment:1 Changed 7 years ago by
Branch:  → public/monoids/free_monoids_finitely_generated20405 

Commit:  → ee0536e6528ab48d3e146277a9e15bb85cbb0672 
Status:  new → needs_review 
comment:2 Changed 7 years ago by
Commit:  ee0536e6528ab48d3e146277a9e15bb85cbb0672 → c95e024b950cf660c5a13ddbfc6793167f01b62c 

Branch pushed to git repo; I updated commit sha1. New commits:
c95e024  Fixing trivial failing doctests due to new iterator.

comment:3 Changed 7 years ago by
Commit:  c95e024b950cf660c5a13ddbfc6793167f01b62c → e6402496bad187ba92f21d3f3bd46f74e488908f 

Branch pushed to git repo; I updated commit sha1. New commits:
e640249  Last fix of doctests.

comment:4 Changed 7 years ago by
Dependencies:  → #20403 

comment:5 Changed 7 years ago by
Commit:  e6402496bad187ba92f21d3f3bd46f74e488908f → e7914d4060cb7b1cb7429a09654bb4eb34f64adc 

Branch pushed to git repo; I updated commit sha1. New commits:
a0307f3  Changed iterator for finitely generated semigroups.

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

a27f383  trac #20403 fixing one doctest

c20562e  trac #20403 doc formatting

1c07d56  Merge branch 'public/semigroups/iterator_finitely_generated_semigroups20403' of trac.sagemath.org:sage into public/monoids/free_monoids_finitely_generated20405

e7914d4  Pulling changes from #17039 to fix doctest with this (#20405) + #20403.

comment:6 Changed 7 years ago by
Commit:  e7914d4060cb7b1cb7429a09654bb4eb34f64adc → 740cf79cd75cabd0135897543bdcad788a543705 

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
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_semigroups20403

6272efd  Removing tab character.

740cf79  Merge branch 'public/semigroups/iterator_finitely_generated_semigroups20403' into public/monoids/free_monoids_finitely_generated20405

comment:7 Changed 7 years ago by
Reviewers:  → Julian Rüth 

Status:  needs_review → positive_review 
One patchbot complains about startup time. Another one is fine with it and I do not see how this could cause an increased startup time.
comment:8 Changed 7 years ago by
Branch:  public/monoids/free_monoids_finitely_generated20405 → 740cf79cd75cabd0135897543bdcad788a543705 

Resolution:  → fixed 
Status:  positive_review → closed 
Note: See
TracTickets for help on using
tickets.
New commits:
Added (indexed) monoids to finitely generated monoids category.