Page 1 sur 1
supposons,evalf et resoudre
Publié : mar. oct. 11, 2011 5:14 pm
par alb
la commande evalf est-elle interdite dans cet exemple ?
supposons(x>1/4);evalf(resoudre(x-2/3<0))
Re: supposons,evalf et resoudre
Publié : ven. oct. 14, 2011 12:38 pm
par alb
J'ai trouvé une solution:
posons(x>1/4);S:=resoudre(x-2/3<0);purge(x);approx(S)
Re: supposons,evalf et resoudre
Publié : sam. oct. 15, 2011 8:24 am
par parisse
On est en effet obligé de trouver une solution de ce type, parce que solve renvoie [((x>=(1/4)) and (x<(2/3)))] et evalf va essayer d'évaluer les tests, or avec l'hypothèse sur x le premier test s'évalue en vrai. Je ne vois pas comment faire pour éviter ça (il faudrait quoter les inéquations).