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
assume
Modérateur : xcasadmin
-
frederic han
- Messages : 1139
- Inscription : dim. mai 20, 2007 7:09 am
- Localisation : Paris
- Contact :
Re: assume
Salut!
ouais, il ne faut pas trop lui en demander:-)
Pour l'instant c'est essentiellement des hypotheses a 1 variable qui sont implementees.
ouais, il ne faut pas trop lui en demander:-)
Pour l'instant c'est essentiellement des hypotheses a 1 variable qui sont implementees.