Le forum de XCAS

solve(x+3<5);
Warning, argument is not an equation, solving (x+3)<5=0

warning enleve dans ce cas. En fait c'est une addition recente, on m'a dit qu'en lycee il ne fallait resoudre que des equations et pas implicitement des expressions comme equation=0, j'ai donc rajoute le warning mais j'avais oublie les inequations:-)