Status: Valid
Owner:
Labels: Type-Defect Priority-Medium Logic Assumptions WrongResult
New issue 3812 by ronan.l...@gmail.com: simplify() is wrong
http://code.google.com/p/sympy/issues/detail?id=3812
In [7]: simplify(x >> y)
Out[7]: False
--
You received this message because this project
Updates:
Labels: Simplify
Comment #1 on issue 3812 by asmeu...@gmail.com: simplify() is wrong
http://code.google.com/p/sympy/issues/detail?id=3812
Possibly related to issue 3825.
--
You received this message because this project is configured to send all
issue notifications to this ad
Comment #2 on issue 3812 by supp...@mooncoder.com: simplify() is
wrong
http://code.google.com/p/sympy/issues/detail?id=3812
Very annoying.
simplify_logic("Implies(a,b)") returns False too.
I found a workaround to first convert to_cnf() and then simplify.
--
You received this message becaus
Comment #3 on issue 3812 by supp...@mooncoder.com: simplify() is
wrong
http://code.google.com/p/sympy/issues/detail?id=3812
Very annoying, silently gives wrong results...
simplify_logic("Implies(a,b)") returns False too.
I found a workaround: first call eliminate_implications() or convert
Updates:
Cc: srjoglek...@gmail.com
Comment #4 on issue 3812 by asmeu...@gmail.com: simplify() is wrong
http://code.google.com/p/sympy/issues/detail?id=3812
It's an issue with the new boolean simplify function.
--
You received this message because this project is configured to send all
Comment #5 on issue 3812 by srjoglek...@gmail.com: simplify() is
wrong
http://code.google.com/p/sympy/issues/detail?id=3812
I will look into it and send a PR
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust you
Comment #6 on issue 3812 by srjoglek...@gmail.com: simplify() is
wrong
http://code.google.com/p/sympy/issues/detail?id=3812
https://github.com/sympy/sympy/pull/2175
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adj
Updates:
Status: Fixed
Comment #7 on issue 3812 by smi...@gmail.com: simplify() is wrong
http://code.google.com/p/sympy/issues/detail?id=3812
(No comment was entered for this change.)
--
You received this message because this project is configured to send all
issue notifications to th
Comment #9 on issue 3812 by skirpic...@gmail.com: simplify() is
wrong
http://code.google.com/p/sympy/issues/detail?id=3812#c9
Migrated to http://github.com/sympy/sympy/issues/6911
--
You received this message because this project is configured to send all
issue notifications to this addres