#545: [with patch, positive review] polish the new symbolic logic code.
------------------------------+---------------------------------------------
Reporter: was | Owner: chrisgorecki
Type: enhancement | Status: reopened
Priority: major | Milestone: sage-3.4.2
Component: basic arithmetic | Resolution:
Keywords: editor_wstein |
------------------------------+---------------------------------------------
Changes (by GeorgSWeber):
* milestone: sage-4.0 => sage-3.4.2
Comment:
Minh, thanks for your good work!
After applying the five patches Minh mentioned in the correct order to
Sage-3.4.2.alpha0, the equivlant.patch didn't apply. So I rebased and made
it such that Wilfried's name appears in it as originator.
Positive review to the sequence of five patches Minh mentioned. And
positive review to the changes of Wilfried (I really did nothing but
rebase them). The main author here is Chris Gorecki, of course.
After this ticket is finally closed (Requiescat In Pacem), the next steps
would be to dismiss "logic.py" (I think it becomes mostly obsolete by this
patch here), add the "rest" as a logic chapter to the Sphinx documentation
(probably this needs some work, but hopefully some scripts will be
available to help), and finally work on/solve #5910.
Cheers, gsw
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/545#comment:48>
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
-~----------~----~----~----~------~----~------~--~---
