la commande evalf est-elle interdite dans cet exemple ?
supposons(x>1/4);evalf(resoudre(x-2/3<0))
supposons,evalf et resoudre
Modérateur : xcasadmin
Re: supposons,evalf et resoudre
J'ai trouvé une solution:
posons(x>1/4);S:=resoudre(x-2/3<0);purge(x);approx(S)
posons(x>1/4);S:=resoudre(x-2/3<0);purge(x);approx(S)
Re: supposons,evalf et resoudre
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).