ASKSAGE: Sage Q&A Forum - Individual question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Wed, 20 Aug 2014 08:38:00 -0500Correct, but convoluted answer?http://ask.sagemath.org/question/23840/correct-but-convoluted-answer/ This absolute value inequality
$$5\left| 2x-3\right| + 3 < 23$$
is satisfied when
$$x \in \left( - \frac{1}{2}, \ \frac{7}{2} \right)$$.
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?Tue, 19 Aug 2014 21:34:05 -0500http://ask.sagemath.org/question/23840/correct-but-convoluted-answer/Comment by kcrisman for <p>This absolute value inequality
$$5\left| 2x-3\right| + 3 < 23$$
is satisfied when
$$x \in \left( - \frac{1}{2}, \ \frac{7}{2} \right)$$.
When I ask Sage to solve it, with this command</p>
<pre><code>solve(5*abs(2*x-3)+3<23, x)
</code></pre>
<p>I get the same solution, but in a very convoluted way, as follows:</p>
<pre><code>[[(-1/2) < x, x < (3/2)], [x == (3/2)], [(3/2) < x, x < (7/2)]]
</code></pre>
<p>Does this seem strange to anyone else?</p>
http://ask.sagemath.org/question/23840/correct-but-convoluted-answer/?comment=23855#post-id-23855Okay, 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.Wed, 20 Aug 2014 08:38:00 -0500http://ask.sagemath.org/question/23840/correct-but-convoluted-answer/?comment=23855#post-id-23855Comment by rws for <p>This absolute value inequality
$$5\left| 2x-3\right| + 3 < 23$$
is satisfied when
$$x \in \left( - \frac{1}{2}, \ \frac{7}{2} \right)$$.
When I ask Sage to solve it, with this command</p>
<pre><code>solve(5*abs(2*x-3)+3<23, x)
</code></pre>
<p>I get the same solution, but in a very convoluted way, as follows:</p>
<pre><code>[[(-1/2) < x, x < (3/2)], [x == (3/2)], [(3/2) < x, x < (7/2)]]
</code></pre>
<p>Does this seem strange to anyone else?</p>
http://ask.sagemath.org/question/23840/correct-but-convoluted-answer/?comment=23854#post-id-23854On the other hand, Sage could try to simplify intervals returned by Maxima. So, an enhancement ticket is needed.Wed, 20 Aug 2014 08:06:51 -0500http://ask.sagemath.org/question/23840/correct-but-convoluted-answer/?comment=23854#post-id-23854Comment by kcrisman for <p>This absolute value inequality
$$5\left| 2x-3\right| + 3 < 23$$
is satisfied when
$$x \in \left( - \frac{1}{2}, \ \frac{7}{2} \right)$$.
When I ask Sage to solve it, with this command</p>
<pre><code>solve(5*abs(2*x-3)+3<23, x)
</code></pre>
<p>I get the same solution, but in a very convoluted way, as follows:</p>
<pre><code>[[(-1/2) < x, x < (3/2)], [x == (3/2)], [(3/2) < x, x < (7/2)]]
</code></pre>
<p>Does this seem strange to anyone else?</p>
http://ask.sagemath.org/question/23840/correct-but-convoluted-answer/?comment=23849#post-id-23849Perhaps, but this is how Maxima returns the answer, essentially, in such situations - I believe the documentation has several examples like this.Wed, 20 Aug 2014 07:36:53 -0500http://ask.sagemath.org/question/23840/correct-but-convoluted-answer/?comment=23849#post-id-23849