Peut-on résoudre des inéquations avec Giac ?
Apparamment avec xcas, solve donne des réponses, mais elles ne semblent pas toujours justes ( par exemple x^2>0). Et il n y a rien dans la documentation de Xcas. Qu'en est-il ?
inéquation
Modérateur : xcasadmin
La résolution d'inéquation nécessite de différer l'évaluation,
sinon lorsque Xcas sait (ou croit savoir) qu'une inéquation n'est
jamais ou est toujours vérifiée, il évalue l'inéquation 0 (faux)
ou 1 (vrai) et solve(0) renvoie x alors que solve(1) renvoie
l'ensemble vide, l'inverse de ce que l'on souhaite!
Ainsi, tapez solve('x^2>0') et non solve(x^2>0)
Avec giac, vous pouvez utiliser _solve avec le meme argument et 0 comme variable de contexte
sinon lorsque Xcas sait (ou croit savoir) qu'une inéquation n'est
jamais ou est toujours vérifiée, il évalue l'inéquation 0 (faux)
ou 1 (vrai) et solve(0) renvoie x alors que solve(1) renvoie
l'ensemble vide, l'inverse de ce que l'on souhaite!
Ainsi, tapez solve('x^2>0') et non solve(x^2>0)
Avec giac, vous pouvez utiliser _solve avec le meme argument et 0 comme variable de contexte
Re: inéquation
Bonjour,
J'aimerais résoudre des inéquations avec Xcas et je ne trouve pas vraiment de documentation à ce sujet.
J'ai 6 systèmes de 3 équations avec 2 variables du type suivant :
a>0
1+2a+b>0
-a-4b>0
avec a et b réels
Il faut que l'un de ces 6 systèmes soit vérifié : (1) ou (2) ou (3) ou (4) ou (5) ou (6).
Comment faire sous Xcas ? Pouvez-vous m'aider ?
Merci par avance
J'aimerais résoudre des inéquations avec Xcas et je ne trouve pas vraiment de documentation à ce sujet.
J'ai 6 systèmes de 3 équations avec 2 variables du type suivant :
a>0
1+2a+b>0
-a-4b>0
avec a et b réels
Il faut que l'un de ces 6 systèmes soit vérifié : (1) ou (2) ou (3) ou (4) ou (5) ou (6).
Comment faire sous Xcas ? Pouvez-vous m'aider ?
Merci par avance
Re: inéquation
Si c'est de la programmation linéaire, il y a l'instruction simplex_reduce qui permet de résoudre la forme matricielle du problème. Sinon, il n'y a pas pour l'instant de méthode implémentée à plusieurs variables (solve ne fonctionne qu'avec 1 variable).