Comment #25 on issue 1646 by christian.muise: Solving inequalities http://code.google.com/p/sympy/issues/detail?id=1646
The work on assumptions is currently under way. The new assumption system is drastically sped up as part of my summer of code, and will hopefully be included in the trunk soon. After that, I'm going to try and sort out the removal of the old assumptions -- there are a number of branches that attempt to do so, and we just need to pick one and hook it in to use the new assumptions via 'ask'.
As for convenience, I also plan on putting in a patch that will allow one to do the following:
In [1]: solve(x**2 > 1) Out[1]: (re(x) < -1 ∨ 1 < re(x)) ∧ im(x) = 0 In [2]: with Assume(x, Q.real): In [3]: solve(x**2 > 1) Out[3]: x < -1 ∨ 1 < x In [4]: solve(x**2 > 1) Out[4]: (re(x) < -1 ∨ 1 < re(x)) ∧ im(x) = 0 Cheers -- You received this message because you are subscribed to the Google Groups "sympy-issues" group. To post to this group, send email to sympy-iss...@googlegroups.com. To unsubscribe from this group, send email to sympy-issues+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy-issues?hl=en.