Opened 6 years ago
Closed 6 years ago
#18636 closed enhancement (duplicate)
Index of functions to hasse_diagram.py
Reported by: | jmantysalo | Owned by: | |
---|---|---|---|
Priority: | trivial | Milestone: | sage-duplicate/invalid/wontfix |
Component: | documentation | Keywords: | |
Cc: | chapoton | Merged in: | |
Authors: | Jori Mäntysalo | Reviewers: | |
Report Upstream: | N/A | Work issues: | |
Branch: | u/jmantysalo/index_of_functions_to_hasse_diagram_py (Commits, GitHub, GitLab) | Commit: | 8ebdb69b071b24be5dd94c067ef7abf2d42c413d |
Dependencies: | Stopgaps: |
Description
Add a alphabetical list of functions to hasse_diagram.py
.
Change History (9)
comment:1 Changed 6 years ago by
- Branch set to u/jmantysalo/index_of_functions_to_hasse_diagram_py
comment:2 Changed 6 years ago by
- Commit set to 8ebdb69b071b24be5dd94c067ef7abf2d42c413d
- Status changed from new to needs_review
comment:3 follow-up: ↓ 4 Changed 6 years ago by
Is there a way to have such tables added automatically??? I imagine it is very easy to forget about updating it when functions change...
comment:4 in reply to: ↑ 3 Changed 6 years ago by
Replying to novoselt:
Is there a way to have such tables added automatically??? I imagine it is very easy to forget about updating it when functions change...
AFAIK no. And adding one should be done on Sphinx, which is used for the documentation.
comment:5 Changed 6 years ago by
Ping. This should be quite trivial to review.
comment:7 follow-up: ↓ 8 Changed 6 years ago by
- Milestone changed from sage-6.8 to sage-wishlist
- Status changed from needs_review to needs_work
Forget. As Nathann made #18926, this is better to implement with it.
(As the "index" is just an alphabetical list. This is totally different with, say, posets.py
.)
comment:8 in reply to: ↑ 7 Changed 6 years ago by
- Milestone changed from sage-wishlist to sage-duplicate/invalid/wontfix
- Status changed from needs_work to positive_review
Replying to jmantysalo:
Forget. As Nathann made #18926, this is better to implement with it.
...and he already added this index to that ticket. Hence I mark this as duplicate / positive_review ready to close.
comment:9 Changed 6 years ago by
- Resolution set to duplicate
- Status changed from positive_review to closed
Not so important, but maybe useful addition.
New commits:
Added an index. No code changes.