Good: I was sure I tried ">=" also in my original case, which is more
complex, but it turns out I was wrong. BTW, how can I reply to your
mail so that the reply appears in the same thread, in Maxima mailing
list? Thnx,
Best Regards
Sergio
2009/10/1 Richard Fateman <fateman at cs.berkeley.edu>:
> deltaquattro at gmail.com wrote:
>>
>> Hi,
>>
>> I got the following in Maxima:
>>
>> (%i1) ?declare(a,real,b,real);
>> (%o1) ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?done
>> (%i2) c:a+b;
>> (%o2) ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?b + a
>> (%i3) is(c^2>0);
>> (%o3) ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? unknown
>>
>> I know that "is" in Maxima is not very strong, but this is really
>> trivial. Is there something I'm doing wrong? Thanks,
>>
>> Best Regards
>>
>> Sergio
>> _______________________________________________
>> Maxima mailing list
>> Maxima at math.utexas.edu
>> http://www.math.utexas.edu/mailman/listinfo/maxima
>>
>
> try
>
> is (c^2>=0);
>
> which returns true. ?:)
>
>