inequation avec exp

Bugs

Modérateur : xcasadmin

alb
Messages : 1229
Inscription : ven. août 28, 2009 3:34 pm

inequation avec exp

Message par alb » mer. juin 04, 2014 2:37 pm

solve(5*exp(-x)-3*exp(-2*x)>0) renvoie list[x>(-ln(5/3))] ok
supposons(x>0);solve(5*exp(-x)-3*exp(-2*x)>0) renvoie list[1]

meme type de pb ici
solve(5*exp(x)-3>0) renvoie list[x>(ln(3/5))]
assume(x<0);solve(5*exp(x)-3>0) renvoie list[x>(ln(3/5))]

[Edit]
avec giac c'est bon

Code : Tout sélectionner

0>> f(x):=5*exp(-x)-3*exp(-2x)+x-3
// Interprète f
// Succès lors de la compilation f
 (x)->5*exp(-x)-3*exp(-2*x)+x-3
// Time 0.02
1>> g:=unapply(simplifier(f(x)-(x-3)),x)
 (x)->-3*exp(-x)^2+5*exp(-x)
// Time 0
2>> resoudre(g(x)>0)
list[x>(-ln(5/3))]
// Time 0
3>> assume(x>0)
x
// Time 0
4>> resoudre(g(x)>0)
list[x>0]
// Time 0

Code : Tout sélectionner

0>> solve(5*exp(x)-3>0)
list[x>(ln(3/5))]
// Time 0.01
1>> assume(x<0)
x
// Time 0
2>> solve(5*exp(x)-3>0)
list[((x>(ln(3/5))) and (x<0))]
// Time 0
Pour faire simple, sur xcas:
solve(x-1>0)
assume(x<3)
solve(x-1>0) // donne list[x>1]

Il me semble que le pb vient de l'autosimplification sur xcas
autosimplify(0) ok
autosimplify(1) l'hypothese n'est pas prise en compte

parisse
Messages : 5084
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

Re: inequation avec exp

Message par parisse » jeu. juin 05, 2014 6:38 am

En effet, merci pour l'analyse tres precise, la correction est bien facilitee!

alb
Messages : 1229
Inscription : ven. août 28, 2009 3:34 pm

Re: inequation avec exp

Message par alb » lun. juin 16, 2014 11:54 am

desole pour le up mais je ne vois pas d'amelioration sur Xcas
assume(x<3);solve(x>1); renvoie list[x>1]

parisse
Messages : 5084
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

Re: inequation avec exp

Message par parisse » lun. juin 16, 2014 12:13 pm

hum, j'ai bien [((x>1) and (x<3))], c'est bien la derniere version?

alb
Messages : 1229
Inscription : ven. août 28, 2009 3:34 pm

Re: inequation avec exp

Message par alb » lun. juin 16, 2014 12:30 pm

j'etais avec testing 1.1.1-5 sous linux
je fais une maj j'ai donc testing 1.1.1-6 mais j'obtiens le meme resultat
par defaut dans la configuration il ya bien regroup dans autosimplify ?

parisse
Messages : 5084
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

Re: inequation avec exp

Message par parisse » lun. juin 16, 2014 12:46 pm

Oups, j'ai nop, c'est pour ca que ca marche chez moi.

parisse
Messages : 5084
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

Re: inequation avec exp

Message par parisse » lun. juin 16, 2014 12:57 pm

Bon, cette fois-ci ca devrait etre corrige, tant pis, je laisse le meme numero de version 1.1.1-6 pour les binaires.

alb
Messages : 1229
Inscription : ven. août 28, 2009 3:34 pm

Re: inequation avec exp

Message par alb » jeu. juin 19, 2014 8:58 pm

effectivement c'est corrige sur 1.1.1-7

Répondre