#545: [with new patch; positive review, needs one more reviewer] 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 patch, needs work] polish the new symbolic logic code.
=> [with new patch; positive review, needs one
more reviewer] polish the new symbolic logic
code.
Comment:
Urgh.
Currently this ticket already has three different patches to be applied
from three different guys.
I've made my case, please another one step in and review this, thanks!
(The long doctests now do pass --- but there is the coverage problem,
which is essentially a hen-and-egg problem: the code does not go into Sage
because of the coverage, but who would work on code not being in Sage to
make the coverage higher?)
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/545#comment:40>
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
-~----------~----~----~----~------~----~------~--~---
