Le forum de XCAS

solve(x^2-2) renvoie [-(sqrt(2)),sqrt(2)]
solve(abs(x^2-2)) renvoie [sqrt(2)]
abs((-sqrt(2))^2-2) renvoie 0.0
fsolve(abs(x^2-2)) renvoie undef

E:=abs(x^2-2);limite(taux_accroissement(E,sqrt(2),sqrt(2)+h),h,0,1) renvoie 2*sqrt(2) OK
E:=abs(ln(x)-1);limite(taux_accroissement(E,e,e+h),h,0,1) renvoie 0 au lieu de 1/exp(1)
[résolu si on fait posons(h>0)]

Pour solve(abs(x^2-2)), je peux corriger (la verification ne simplifiait pas assez), en esperant qu'il n'y aura pas d'effet de bord. Pour abs((-sqrt(2))^2-2) aussi.
Pour fsolve ce n'est pas possible, parce que l'inverse de la derivee est singuliere en les racines (or c'est Newton qui est utilise, on converge tres bien mais quand on est trop pres de sqrt(2) paf l'inverse de la derivee vaut undef).
Pour le taux accroissement, le probleme vient de l'application de la formule du ln complexe lorsque l'argument est negatif, je regarderai si j'ai le temps la semaine prochaine, on peut eviter le probleme en faisant assume(h>-e) pour etre sur que le ln est bien defini en reel.