simplification de sqrt(((a-sqrt(3)*b)^2)/12)

[fred]

Bonjour

Si je teste :
normal(sqrt((a-b)^2)) -> Xcas répond : abs(a-b) (OK)
normal(sqrt((a-sqrt(3)*b)^2)) -> Xcas répond : abs(a+(-(sqrt(3)))*b) (OK)
normal(sqrt(((a-sqrt(3)*b)^2)/1)) -> Xcas répond : abs(a+(-(sqrt(3)))*b) (OK)
normal(sqrt(((a-sqrt(3)*b)^2)/12)) -> Xcas répond : (sqrt(3)*a-3*b)/6 (il manque la valeur absolue)
normal(sqrt(((a-sqrt(3)*b)^2)/17)) (17 premier avec 3) -> Xcas répond : (2*sqrt(17)*a+(-2*sqrt(51))*b)/34 (il manque la valeur absolue)
normal(sqrt(((a-sqrt(3)*b)^2)/sqrt(3))) -> Xcas ne simplifie rien : il développe le numérateur !

Conclusion : il y a un problème avec la division ?

[parisse]

Non, c'est que les valeurs absolues du début sont obtenues sans avoir besoin de faire normal (reconnaissance par sqrt d'une puissance paire).
Les cas non triviaux sont traités en cherchant une extension algébrique unique contenant tous les radicaux rencontrés. S'il y a des simplifications, elles peuvent nécessiter de choisir une branche parmi les racines carrées, mais normalement un warning devrait être affiché, il faudra que je voie pourquoi il n'y en a pas. Pour les racines imbriquées, il n'y a pas de simplification à cause du sqrt(.../sqrt(3)), du coup plutot que renvoyer un rootof il reprend la racine de départ (développée).

[parisse]

Il devrait y avoir une amelioration, les abs devraient etre la.