Le forum de XCAS

Bonjour a tous,

c'est bizarre xcas sait faire:

assume(a>0 );assume(v>0);assume(u>0)

(u+a)>0
(u+a+3*v)>0
u*v>0

mais pas
(u*v+a)>0

Fred

Salut!

ouais, il ne faut pas trop lui en demander:-)
Pour l'instant c'est essentiellement des hypotheses a 1 variable qui sont implementees.