Le forum de XCAS

C'était trop beau !
Digits:=4;
evalf(solve(x^2-3=0));
evalf(solve(x^2-3>0));
me donne une écriture approchée des solutions.
Malheureusement
evalf(solve(x^2-3<0)); conserve les sqrt(3)
Ce n'est pas possible d'avoir par une méthode simple et directe des approximations dans une commande
générale du type solve(inequation) ?

Si, si, on va faire les modifs pour. Il faut que je rajoute and dans les opérateurs qui quotent leurs arguments mais doivent quand même évaluer numériquement.