Issue 3155 in sympy: simplification of logical expressions

2012-03-16 Thread sympy
Status: New Owner: Labels: Type-Defect Priority-Medium New issue 3155 by carlosha...@gmail.com: simplification of logical expressions http://code.google.com/p/sympy/issues/detail?id=3155 I'm new to sympy, and I'm using it to create complex logical expressions and try to simplify them.

Re: Issue 3155 in sympy: simplification of logical expressions

2012-03-16 Thread sympy
Updates: Status: Accepted Labels: -Type-Defect -Priority-Medium Type-Enhancement Priority-High Logic Comment #1 on issue 3155 by ronan.l...@gmail.com: simplification of logical expressions http://code.google.com/p/sympy/issues/detail?id=3155 Well, simplification of logical ex

Re: Issue 3155 in sympy: simplification of logical expressions

2012-10-03 Thread sympy
Comment #3 on issue 3155 by srjoglek...@gmail.com: simplification of logical expressions http://code.google.com/p/sympy/issues/detail?id=3155 I guess my last pull request fixes this. Some documentation changes as said by @smichr will be done in a day or two. But the functionality has been

Re: Issue 3155 in sympy: simplification of logical expressions

2012-11-01 Thread sympy
Comment #4 on issue 3155 by smi...@gmail.com: simplification of logical expressions http://code.google.com/p/sympy/issues/detail?id=3155 So if an expression is a Boolean, simplify should call simplify_logic (which is in logic.boolalg.py) -- You received this message because you are subscr

Re: Issue 3155 in sympy: simplification of logical expressions

2013-01-18 Thread sympy
Updates: Status: Fixed Comment #5 on issue 3155 by smi...@gmail.com: simplification of logical expressions http://code.google.com/p/sympy/issues/detail?id=3155 (No comment was entered for this change.) -- You received this message because you are subscribed to the Google Groups "sym

Re: Issue 3155 in sympy: simplification of logical expressions

2013-01-18 Thread sympy
Comment #6 on issue 3155 by asmeu...@gmail.com: simplification of logical expressions http://code.google.com/p/sympy/issues/detail?id=3155 This was https://github.com/sympy/sympy/issues/1715. -- You received this message because you are subscribed to the Google Groups "sympy-issues" group.