Comment #32 on issue 1646 by mattpap: Solving inequalities http://code.google.com/p/sympy/issues/detail?id=1646
In e1becad2d38088231fbc7f690a4d66f7c71b09b9 in polys11 I added support for solving inequalities with absolute values (arbitrarily nested), e.g.:
In [1]: solve([abs(x - 5) < 3, Assume(x, Q.real)], x) Out[1]: 2 < x ∧ x < 8 In [2]: solve([abs(2*x + 3) >= 8, Assume(x, Q.real)], x) Out[2]: x ≤ -11/2 ∨ 5/2 ≤ x In [3]: solve([abs(x - 4) + abs(3*x - 5) < 7, Assume(x, Q.real)], x) Out[3]: 1/2 < x ∧ x < 4 In [4]: solve([abs(x - 4) + abs(3*abs(x) - 5) < 7, Assume(x, Q.real)], x) Out[4]: (x < -1 ∧ -2 < x) ∨ (1/2 < x ∧ x < 4) -- You received this message because you are subscribed to the Google Groups "sympy-issues" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy-issues?hl=en.
