There is no advanced algorithm to do that in giac, but for simple examples 
like that it works:
assume(a>1); assume(b>a); 2b>a;

Le dimanche 9 octobre 2016 08:35:19 UTC+2, Ralf Stephan a écrit :
>
>
> Maxima 5.37.2:
>
> (%i1) assume(a>1);
> (%o1)                               [a > 1]
> (%i2) assume(b>a);
> (%o2)                               [b > a]
> (%i3) is(2*b>a);
> (%o3)                               unknown
>  
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

Reply via email to