Le forum de XCAS

solve(sqrt(x)<=0) renvoie [0] mais solve(sqrt(x)>=0) renvoie [x>0]

Là par contre c'est normal: en effet dans le premier cas il y a une solution réelle donc on retourne une liste de solutions, dans le 2ème cas il y a un intervalle de solutions donc (comme il n'y a pas d'objets intervalles pour le moment dans xcas) on renvoie l'intervalle sous forme de condition.

Je me suis mal exprimé
solve(sqrt(x)>=3) renvoie correctement [x>=9]
mais c'est incorrect avec
solve(sqrt(x)>=0) ou avec solve(sqrt(x)>=-2) qui renvoient tous les deux [x>0]

C'est le > qui pose problème alors. Je crois que comme je ne sais pas traiter les valeurs particulières (0 ici à la limite du domaine de définition) en toute généralité, il va falloir s'en contenter...