Stefano Ferri wrote:
> Maxima says that it is unknown because your expression %i2 is assumed
> not to contain the equality to 0.
> I have not Maxima here to try, but if you enter
>
> is(a - d + x > =0)
>
> you should now get false as an answer.
No, it yields "unknown" as well.
I do not understand your explanation: if a-d+x<0, then it is not positive,
is it?
--
python -c "print ''.join([chr(154 - ord(c)) for c in '*9(9&(18%.\
9&1+,\'Z4(55l4('])"
"When a distinguished but elderly scientist states that something is
possible, he is almost certainly right. When he states that something is
impossible, he is very probably wrong." (first law of AC Clarke)