Correct, but convoluted answer?
This absolute value inequality 5|2x−3|+3<23 is satisfied when x∈(−12, 72). When I ask Sage to solve it, with this command
solve(5*abs(2*x-3)+3<23, x)I get the same solution, but in a very convoluted way, as follows:
[[(-1/2) < x, x < (3/2)], [x == (3/2)], [(3/2) < x, x < (7/2)]]Does this seem strange to anyone else?
Perhaps, but this is how Maxima returns the answer, essentially, in such situations - I believe the documentation has several examples like this.
On the other hand, Sage could try to simplify intervals returned by Maxima. So, an enhancement ticket is needed.
Okay, that seems fine! Though it probably won't be as high-priority :-) Or one could open a Maxima ticket asking for this, though the same comment applies.