#545: [with patch; needs work] polish the new symbolic logic code.
------------------------------+---------------------------------------------
Reporter: was | Owner: chrisgorecki
Type: enhancement | Status: reopened
Priority: major | Milestone: sage-3.4.1
Component: basic arithmetic | Resolution:
Keywords: editor_wstein |
------------------------------+---------------------------------------------
Comment(by mvngu):
So what happens here is one should apply the following in the specified
order as suggested by Georg:
[[BR]]
1. first apply {{{logic4.patch}}}
1. then {{{trac_545_latex.patch}}}
1. and finally {{{trac_545_long-doctests-fixed.patch}}}
Now {{{trac_545_latex.patch}}} applied fine, but hunk #2 suceeded with
fuzz, as reported by Georg. Apart from this fuzz, all the above three
patches applied OK in the specified order against 3.4-alpha0. Doctests
including {{{-long}}} passed. Having done so, one can then apply
{{{trac_545_boolformula-doctests.patch}}} (based on 3.4-alpha0) which adds
two missing doctests to {{{boolformula.py}}}.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/545#comment:45>
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
-~----------~----~----~----~------~----~------~--~---
