Le forum de XCAS

J'ai à nouveau un petit problème :

je déclare assume(x>3)

puis f(x):=x+2

et solve(f(x)=1/2,x)

j'obtiens []

si je tape solve(f(x)=0.5,x)

j'obtiens [-3/2]

Je ne comprens pas!

En effet, il manque un test sur les racines trouvées dans le cas d'une équation à coefficients approchés, il faudra que je le rajoute.