Updates:
Status: Fixed
Comment #19 on issue 1894 by ronan.l...@gmail.com: Automatic rewriting of
boolean functions
http://code.google.com/p/sympy/issues/detail?id=1894
This was pushed in back in May.
--
You received this message because you are subscribed to the Google Groups
"sympy
Updates:
Labels: Ronan.Lamy NeedsReview
Comment #17 on issue 1894 by asmeurer: Automatic rewriting of boolean
functions
http://code.google.com/p/sympy/issues/detail?id=1894
(No comment was entered for this change.)
--
You received this message because you are subscribed to the Google
Comment #16 on issue 1894 by ronan.l...@gmail.com: Automatic rewriting of
boolean functions
http://code.google.com/p/sympy/issues/detail?id=1894
The patch I mentioned above is https://github.com/sympy/sympy/pull/280
--
You received this message because you are subscribed to the Google Groups
Updates:
Labels: -NNF
Comment #15 on issue 1894 by asmeurer: Automatic rewriting of boolean
functions
http://code.google.com/p/sympy/issues/detail?id=1894
(No comment was entered for this change.)
--
You received this message because you are subscribed to the Google Groups
"sympy-is
Comment #14 on issue 1894 by ronan.l...@gmail.com: Automatic rewriting of
boolean functions
http://code.google.com/p/sympy/issues/detail?id=1894
saptman: Hold on a second, I have a patch ready to remove automatic
evaluation of Implies. I'll send the pull request "real soon now".
--
You re
Comment #13 on issue 1894 by christian.muise: Automatic rewriting of
boolean functions
http://code.google.com/p/sympy/issues/detail?id=1894
I'd recommend considering individual to_nnf functions on each of the
classes -- the logic gets muddy looking when put into one large to_nnf
function
Updates:
Labels: NNF
Comment #12 on issue 1894 by sapta.ii...@gmail.com: Automatic rewriting of
boolean functions
http://code.google.com/p/sympy/issues/detail?id=1894
Imo, Sympy should not do stuff that you do not expect it to do. If I give
an input in a certain form without any exp
Comment #11 on issue 1894 by asmeurer: Automatic rewriting of boolean
functions
http://code.google.com/p/sympy/issues/detail?id=1894
Yes, except they should still evaluate literals (like Implies(True, False)
=> False).
For some arguments as to why this should be done, consider what
is "
Comment #10 on issue 1894 by christian.muise: Automatic rewriting of
boolean functions
http://code.google.com/p/sympy/issues/detail?id=1894
Ronan: "OK, you're right. The same applies to Xor(x, y) and Equivalent(x,
y). Not(And(x, y)) should also remain as it is and Nand(x, y) should just
b
Comment #9 on issue 1894 by asmeurer: Automatic rewriting of boolean
functions
http://code.google.com/p/sympy/issues/detail?id=1894
I'm not sure what you are asking. I personally think that all of those
should not automatically be converted to their And/Or equivalents.
--
You received th
Comment #8 on issue 1894 by christian.muise: Automatic rewriting of boolean
functions
http://code.google.com/p/sympy/issues/detail?id=1894
I'm a little unclear as to why there should be a dual way of dealing with
simplification in logic -- if we want to avoid the re-writing to NNF, then
w
Updates:
Labels: -Milestone-Release0.7.0 Milestone-Release0.7.1
Comment #7 on issue 1894 by asmeurer: Automatic rewriting of boolean
functions
http://code.google.com/p/sympy/issues/detail?id=1894
(No comment was entered for this change.)
--
You received this message because you are s
Updates:
Summary: Automatic rewriting of boolean functions
Status: Accepted
Comment #6 on issue 1894 by ronan.l...@gmail.com: Automatic rewriting of
boolean functions
http://code.google.com/p/sympy/issues/detail?id=1894
OK, you're right. The same applies to Xor(x, y) and Equiv
13 matches
Mail list logo
