Issue 3812 in sympy: simplify(<Implies>) is wrong

[sy...@googlecode.com]

Status: Valid
Owner: ----
Labels: Type-Defect Priority-Medium Logic Assumptions WrongResult

New issue 3812 by Ronan.L...@gmail.com: simplify(<Implies>) 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 is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings

[sy...@googlecode.com]

Updates:
Labels: Simplify

Comment #1 on issue 3812 by asme...@gmail.com: simplify(<Implies>) is wrong
http://code.google.com/p/sympy/issues/detail?id=3812

Possibly related to issue 3825.

[sy...@googlecode.com]

Comment #2 on issue 3812 by supp...@mooncoder.com: simplify(<Implies>) 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.

[sy...@googlecode.com]

Comment #3 on issue 3812 by supp...@mooncoder.com: simplify(<Implies>) 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

[sy...@googlecode.com]

Updates:
Cc: srjoglek...@gmail.com

Comment #4 on issue 3812 by asme...@gmail.com: simplify(<Implies>) is wrong
http://code.google.com/p/sympy/issues/detail?id=3812

It's an issue with the new boolean simplify function.

[sy...@googlecode.com]

Comment #5 on issue 3812 by srjoglek...@gmail.com: simplify(<Implies>) is
wrong
http://code.google.com/p/sympy/issues/detail?id=3812

I will look into it and send a PR

[sy...@googlecode.com]

Comment #6 on issue 3812 by srjoglek...@gmail.com: simplify(<Implies>) is
wrong
http://code.google.com/p/sympy/issues/detail?id=3812

https://github.com/sympy/sympy/pull/2175

[sy...@googlecode.com]

Updates:
Status: Fixed

Comment #7 on issue 3812 by smi...@gmail.com: simplify(<Implies>) is wrong
http://code.google.com/p/sympy/issues/detail?id=3812

(No comment was entered for this change.)

[sy...@googlecode.com]

Comment #9 on issue 3812 by skirpic...@gmail.com: simplify(<Implies>) is
wrong
http://code.google.com/p/sympy/issues/detail?id=3812#c9

Migrated to http://github.com/sympy/sympy/issues/6911