Opened 12 years ago

Closed 8 years ago

#5910 closed enhancement (invalid)

[with patch, needs work] move logic module boolopt.py to another enhancement ticket

Reported by: mvngu Owned by: somebody
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: misc Keywords: Quine-McCluskey, logic
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

This is a followup to #545. As discussed at #545, the module boolopt.py is moved to this enhancement ticket. So basically, #545 no longer requires boolopt.py to reach 100% doctest coverage in order to be merged into Sage. Thus the only work needed to be done here is to bring coverage of boolopt.py to 100%.

Attachments (2)

trac_5910-doctest-simplify.patch (8.6 KB) - added by mvngu 12 years ago.
Restore the method simplify() and its doctests
trac_5910-boolopt.patch (24.6 KB) - added by mvngu 12 years ago.
with Unix newline

Download all attachments as: .zip

Change History (6)

Changed 12 years ago by mvngu

Restore the method simplify() and its doctests

comment:1 Changed 12 years ago by mvngu

  • Summary changed from move logic module boolopt.py to another enhancement ticket to [with patch, needs work] move logic module boolopt.py to another enhancement ticket

comment:2 Changed 12 years ago by mabshoff

Please make sure to convert the newlines to standard Unix convention since it seems that some newlines are in Windows format. It would also be good to get all this restified, get the coverage of logic.py up and get the code into the reference manual post ReST conversion - not that this all has to happen on this ticket. I am just glad we are done wioth #545 :)

Cheers,

Michael

Changed 12 years ago by mvngu

with Unix newline

comment:3 Changed 11 years ago by AlexGhitza

  • Component changed from basic arithmetic to misc
  • Report Upstream set to N/A

comment:4 Changed 8 years ago by mhansen

  • Milestone changed from sage-5.11 to sage-duplicate/invalid/wontfix
  • Resolution set to invalid
  • Status changed from needs_work to closed

Given http://comments.gmane.org/gmane.comp.mathematics.sage.devel/67430 , I think we can close this. The file is still here for reference if we ever need it.

Note: See TracTickets for help on using tickets.