Opened 4 years ago
Closed 4 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)  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 4 years ago by
 Branch set to public/monoids/free_monoids_finitely_generated20405
 Commit set to ee0536e6528ab48d3e146277a9e15bb85cbb0672
 Status changed from new to needs_review
comment:2 Changed 4 years ago by
 Commit changed from ee0536e6528ab48d3e146277a9e15bb85cbb0672 to c95e024b950cf660c5a13ddbfc6793167f01b62c
Branch pushed to git repo; I updated commit sha1. New commits:
c95e024  Fixing trivial failing doctests due to new iterator.

comment:3 Changed 4 years ago by
 Commit changed from c95e024b950cf660c5a13ddbfc6793167f01b62c to e6402496bad187ba92f21d3f3bd46f74e488908f
Branch pushed to git repo; I updated commit sha1. New commits:
e640249  Last fix of doctests.

comment:4 Changed 4 years ago by
 Dependencies set to #20403
comment:5 Changed 4 years ago by
 Commit changed from e6402496bad187ba92f21d3f3bd46f74e488908f to 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 4 years ago by
 Commit changed from e7914d4060cb7b1cb7429a09654bb4eb34f64adc to 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 4 years ago by
 Reviewers set to Julian Rüth
 Status changed from needs_review to 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 4 years ago by
 Branch changed from public/monoids/free_monoids_finitely_generated20405 to 740cf79cd75cabd0135897543bdcad788a543705
 Resolution set to fixed
 Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
New commits:
Added (indexed) monoids to finitely generated monoids category.