Updates:
Labels: Milestone-Release0.7.0
Comment #24 on issue 1646 by mattpap: Solving inequalities
http://code.google.com/p/sympy/issues/detail?id=1646
As long as we work with relational representation, then solving
inequalities with complex symbols in not a big deal. I added such
functionality in polys11 branch, e.g.:
In [1]: solve(x**2 > 1)
Out[1]: (re(x) < -1 ∨ 1 < re(x)) ∧ im(x) = 0
In [2]: global_assumptions.add(Assume(x, Q.real))
In [3]: solve(x**2 > 1)
Out[3]: x < -1 ∨ 1 < x
In [4]: global_assumptions.remove(Assume(x, Q.real))
For assumptions I used to new version. Is there a more elegant way to work
with them? If not we should do something about this soon. It is also very
annoying that for simple cases (like this one), asking if x is real takes
half of execution time of solve().
I also added support for trivial multivariate systems of inequalities:
In [5]: solve([x**2 > 1, y**2 > 2])
Out[5]:
⎛ ⎽⎽⎽ ⎽⎽⎽⎞
(re(x) < -1 ∨ 1 < re(x)) ∧ ⎝╲╱ 2 < re(y) ∨ re(y) < -╲╱ 2 ⎠ ∧ im(x) = 0 ∧
im(y) = 0
--
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.
