#545: [with patch, needs review] polish the new symbolic logic code.
------------------------------+---------------------------------------------
Reporter: was | Owner: chrisgorecki
Type: enhancement | Status: reopened
Priority: major | Milestone: sage-4.0
Component: basic arithmetic | Resolution:
Keywords: editor_wstein |
------------------------------+---------------------------------------------
Comment(by mvngu):
Apply patches in the following order:
1. {{{trac_545-logic5.patch}}} -- Basically the same as
{{{logic4.patch}}}, but without including those diff lines for
{{{boolopt.py}}}. The module {{{boolopt.py}}} is now moved to ticket #5910
as an enhancement.
1. {{{trac_545-latex2.patch}}} -- Essentially the same as
{{{trac_545_latex.patch}}}, but you won't see any fuzz when applying it.
1. {{{trac_545_long-doctests-fixed.patch}}}
1. {{{trac_545_boolformula-doctests.patch}}} -- This should bring doctest
coverage of {{{boolformula.py}}} up to 100%.
1. {{{trac_545-adjust-simplify.patch}}} -- This adjusts the method
{{{simplify()}}} in {{{boolformula.py}}} and all doctests that uses
{{{simplify()}}}. So this patch only touches {{{boolformula.py}}} and
{{{propcalc.py}}}.
If I read this ticket correctly, I think only {{{trac_545_boolformula-
doctests.patch}}} and {{{trac_545-adjust-simplify.patch}}} need to be
reviewed.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/545#comment:46>
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
-~----------~----~----~----~------~----~------~--~---
