mode approche

[alb]

Un doute m'envahit, je suis en mode approché:
f(x):=sqrt(x)
f(3) renvoie sqrt(3)
f(3)+1/2 renvoie 2.2321
Je ne me souviens pas avoir rencontré ce comportement ??
Avec giac tout se passe bien:

Code : Tout sélectionner

0>> approx_mode:=1
1
// Time 0.01
1>> f(x):=sqrt(x)
// Interprete f
// Success compiling f
 (x)->sqrt(x)
// Time 0
2>> f(3)
1.73205080757
// Time 0

[alb]

Je me permets de relancer le sujet simplement pour savoir si une modification est prévue.

[parisse]

oui, ca devrait etre bon pour la prochaine mise a jour (mais c'etait moins urgent que le generateur aleatoire....)

[alb]

Evidemment ! Merci pour tout.

[alb]

Désolé de revenir sur le probleme (xcas approx coche)
g(x):=sqrt(x);g(3) renvoie maintenant une valeur approchee mais
f(x):=sqrt(3);f(1) renvoie la valeur exacte, idem avec une liste,
[seq(1/k,k,2,10),seq(sqrt(k),k,2,10)] donne une matrice de valeurs exactes

[parisse]

Je ne sais pas si je peux changer ca de maniere coherente, il faudrait tester le mode approx a chaque eval et remplacer par un evalf, et si on veut faire ca partout ca fait trop de changements, reste a voir si on peut renvoyer eval vers evalf si mode approx...

[alb]

Le jeu n'en vaut pas la chandelle !
Comment expliquer qu'avec giac si on fait approx_mode:=1 tous les résultats sont approches
alors que dans une session xcas avec approx_mode:=1 les valeurs de retour des fonctions ne le sont pas toujours ?

[alb]

Si approx est coche
solve(3x^2-2x-1=0) renvoie bien 2 solutions
solve(abs(x-1)=3) n'en renvoie qu'une

[parisse]

c'est comme pour fsolve, les equations polynomiales renvoient toutes leurs racines, les non-polynomiales utilisent un algorithme iteratif et ne renvoient donc qu'une solution