Quotients de racines et bugs du CAS 3.2

[Bisam]

Pour excuser un tant soit peu TI, il faut savoir que les simplifications de racines sont une des choses les plus difficiles à implémenter en calcul formel.
En général, elles ne sont pas intégrées au moteur de calcul usuel mais mises dans des fonctions ad hoc afin d'éviter ce genre de bugs... c'est notamment ce que font Maple, Maxima, Xcas, etc...

Sachez tout de même qu'il n'y a pas besoin d'aller jusqu'à l'OS 3.2 pour trouver ce genre de bugs.
Essayez de simplifier avec n'importe quel OS : (1+sqrt(2))^(3/2)-sqrt(7+5*sqrt(2)). Cela vaut 0...