Page 1 sur 1
abs
Publié : mar. juin 07, 2011 5:42 pm
par alb
Est-ce possible de corriger ce probleme ?
supposons(x<=5);abs(x-5) renvoie x-5
Re: abs
Publié : mer. juin 08, 2011 1:52 pm
par parisse
C'est corrige et je viens de mettre a jour les packages linux et windows (version instable).
Re: abs
Publié : mer. juin 08, 2011 2:43 pm
par alb
C'est bon, merci
Il y a des cas où le résultat de int contient des abs malgré les hypothèses faites:
1/ supposons(x<5);E:=1/(x-5);int(E) me donne ln(abs(x-5))
2/ supposons(x>1);E:=1/(x*ln(x));int(E) me donne ln(abs(ln(x)))
il faut utiliser simplify pour faire disparaître abs dans ces deux exemples
3/ En revanche abs est supprimé sans recours à simplify dans cet exemple:
supposons(x>-1 and x<1);E:=2x/(x^2-1);int(E)
mais le résultat est plus joli avec simplify
Moralité: il vaut mieux faire simplify(int(E)) dans tous les cas ?
La version instable se nomme aussi giac 0.9.2 ?
Re: abs
Publié : mer. juin 08, 2011 3:35 pm
par parisse
oui, le abs est surement du à une optimisation que j'ai faite (pour architecture ARM) dans la sortie brute de la primitive, en effet le calcul de abs(a*x+b) renvoie abs(a*x+b) sauf dans les rares cas ou on a fait une hypothèse sur x. Après ça se discute, vaut-il mieux laisser la primitive comme ça ou la simplifier?