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.