Opened 9 years ago
Closed 9 years ago
#14183 closed task (fixed)
Unnecessary replication of Code in sage/logic/boolformula.py
| Reported by: | knsam | Owned by: | burcin |
|---|---|---|---|
| Priority: | major | Milestone: | sage-5.9 |
| Component: | symbolics | Keywords: | logic |
| Cc: | Merged in: | sage-5.9.beta1 | |
| Authors: | Kannappan Sampath | Reviewers: | Punarbasu Purkayastha |
| Report Upstream: | N/A | Work issues: | |
| Branch: | Commit: | ||
| Dependencies: | Stopgaps: |
Status badges
Description
The functions convert_cnf is simply the function convert_cnf_table. Although, this has been acknowledged in the docstring, the very implementation seems out of the way. We usually, declare the functions equal instead of having different docstrings and such. So, I have done this in this case with minor tweaks in the documentation.
Attachments (1)
Change History (4)
Changed 9 years ago by
comment:1 Changed 9 years ago by
- Status changed from new to needs_review
comment:2 Changed 9 years ago by
- Reviewers set to Punarbasu Purkayastha
- Status changed from needs_review to positive_review
comment:3 Changed 9 years ago by
- Merged in set to sage-5.9.beta1
- Resolution set to fixed
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
Looks good to me and passes all doctests @patchbot.