Opened 10 years ago
Closed 6 years ago
#8797 closed task (fixed)
add symbolic logic to the reference manual
Reported by: | mvngu | Owned by: | mvngu |
---|---|---|---|
Priority: | major | Milestone: | sage-6.4 |
Component: | documentation | Keywords: | beginner doctest documentation |
Cc: | Merged in: | ||
Authors: | Reviewers: | Travis Scrimshaw | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
As the subject says. Currently, the modules under sage/logic/
are not in the reference manual. Clean up the documentation of all modules under sage/logic/
and get those modules in the reference manual. But before adding them to the reference manual, first we need to clean up their documentation. This clean-up task is spread across the following tickets:
- #8790 --- improve doctest coverage of logic/logic.py
- #8792 --- clean up documentation of logic/booleval.py
- #8793 --- clean up documentation of logic/boolformula.py
- #8794 --- clean up documentation of logic/logicparser.py
- #8795 --- clean up documentation of logic/logictable.py
- #8796 --- clean up documentation of logic/propcalc.py
- #15768 --- clean up documentation of logic/* (which also takes care of #8790, #8794 and #8795)
Change History (10)
comment:1 Changed 7 years ago by
comment:2 Changed 7 years ago by
- Keywords beginner doctest documentation added
comment:3 Changed 7 years ago by
- Milestone changed from sage-5.11 to sage-5.12
comment:4 Changed 6 years ago by
- Milestone changed from sage-6.1 to sage-6.2
comment:5 Changed 6 years ago by
- Description modified (diff)
comment:6 Changed 6 years ago by
- Milestone changed from sage-6.2 to sage-6.3
comment:7 Changed 6 years ago by
- Milestone changed from sage-6.3 to sage-6.4
comment:8 Changed 6 years ago by
- Status changed from new to needs_review
Since all the task are completed, I suggest to close this ticket.
comment:9 Changed 6 years ago by
- Reviewers set to Travis Scrimshaw
- Status changed from needs_review to positive_review
- Type changed from enhancement to task
comment:10 Changed 6 years ago by
- Resolution set to fixed
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
I am working on this and all its related tickets. ~KnS