You're right, I made a mistake... Sorry!
2009/10/9 TP <paratribulations at free.fr>:
> 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)
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>