Le forum de XCAS

un détail gênant pour des élèves.
simplifier(sqrt(a)-sqrt(b)) renvoie sqrt(a)-(sqrt(b))
simplifier((sqrt(a)-sqrt(a-1))) renvoie rootof([[-1,0,4*a-2,0],[1,0,-4*a+2,0,1]])
J'imagine qu'il faut s'en contenter ?

[Edit]
j'ai rencontré le problème avec:
M:=[[1,sqrt(x)],[2,sqrt(x-1)]]
det(M)
solve(det(M))

Pour la version 1.0 sans doute, au-delà j'empêcherai peut-etre les rootof pour des bicarrés, mais bon, les rootof arriveront probablement quand même à un moment ou à un autre...
Peut-etre faut-il se limiter à ratnormal et mult_conjugue?