Bug solve

[alb]

Peut-on mettre plusieurs hypothèses dans un supposons qui précède resoudre ?
supposons(x>=4);resoudre(x>3); renvoie [x>=4]
supposons(x>=1 et x<=5);resoudre(x>3); renvoie [((x>3) && (x<=5))]
supposons(x<=4 ou x>=5);resoudre(x>3); renvoie [] Le ou n'est pas possible ?

[parisse]

C'est parce que je n'ai pas prévu ça pour le moment. Il faut que je modifie le traitement des inéquations pour oublier l'hypothèse lors de la recherche des solutions de l'équation, et les rétablir seulement après.

[parisse]

Je viens de mettre à jour le source de giac avec quelques améliorations pour les inéquations (avec paramètres). Je pense aussi mettre des binaires en version test aujourd'hui.