Le forum de XCAS

Je trouve dommage que sign(0)=0. Cela laisse croire que abs est dérivable en 0.
Et dans l'exercice bac29, si on demande
resoudre(deriver(l,m),m)
au lieu
resoudre(deriver(simplifier(l),m),m)
on obtient 3 solutions! (0 1/2 et 1, alors que l est dérivable sur ]0,1[).

Je ne crois pas qu'il y ait de convention meilleure qu'une autre pour sign(0), et le choix d'une autre convention provoquerait des bizarreries dans d'autres cas. De toutes facons, un systeme de calcul formel ne pourra jamais traiter tous les cas particuliers correctement, c'est aussi l'occasion de dire a nos eleves et etudiants qu'une reflexion critique s'impose par rapport aux resultats renvoyes.

Je ne vois pas quel problème cela poserait que sign(0) ne soit pas défini, tout comme ln(0)... Cela respecterait la définition de cette fonction (notion de signe ou sign=abs').

Il faudrait que je reessaie, mais si ma memoire est bonne, si je change la valeur de sign(0) une partie des tests de regression ne fonctionne tout simplement plus...