#545: [with patch; needs work] polish the new symbolic logic code.
------------------------------+---------------------------------------------
Reporter: was | Owner: chrisgorecki
Type: enhancement | Status: reopened
Priority: major | Milestone: sage-3.3
Component: basic arithmetic | Resolution:
Keywords: editor_wstein |
------------------------------+---------------------------------------------
Changes (by GeorgSWeber):
* summary: [with new patch; positive review, needs one more reviewer]
polish the new symbolic logic code. => [with
patch; needs work] polish the new symbolic
logic code.
Comment:
Ahh, excellent idea, this was just the input needed here. Robert, thank
you very much!
So now what's to do (if nobody else does it, I'll do it):
- move the file "boolopt.py" to its own (enhancement) ticket "with patch,
needs work" (easy)
- adjust the other five files of this patch so that they are stand-alone
(rather easy, essentially only the "simplify" function in boolformula.py
is concerned)
- add the two missing doctests to boolformula.py (very easy)
Please note that the file "logic.py" which has missing doctests according
to the coverage report above is not among the new files, but already a
part of Sage!
(So it couldn't possibly block this ticket to finally go in. But of
course, it needs to be cleaned up itself.)
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/545#comment:42>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
