Resoudre

Utilisation de Xcas

Modérateur : xcasadmin

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

Message par parisse » jeu. mars 12, 2009 12:06 pm

en effet, c'est suite au rajout du tri de la sortie de solve que ca plante. Je corrige tout ca des que possible...
merci!

slejoly
Messages : 194
Inscription : sam. oct. 14, 2006 10:17 am
Localisation : Lorient

Message par slejoly » sam. mars 14, 2009 3:39 pm

C'est mieux avec le dernier .deb, mais il reste :
assume(M<0)
resoudre(sqrt(x)>M,x)
qui donne [x>0] au lieu de [x>=0]

Stéphane Lejoly

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

Message par parisse » sam. mars 14, 2009 5:07 pm

oui, essentiellement xcas renvoie des inégalités strictes si elles sont strictes au départ. C'est toujours le problème des cas particuliers. Je verrai ce que je peux faire mais je ne promet rien à court terme...

slejoly
Messages : 194
Inscription : sam. oct. 14, 2006 10:17 am
Localisation : Lorient

Message par slejoly » sam. mars 14, 2009 5:11 pm

Je pense à un truc suite à cette discussion
Le package debian de giac s'installe par apt-get (si on a mis a jour /etc/apt/sources.list pour avoir le depot de giac) ou a la main par la commande dpkg -i. Attention, la mise a jour par apt-get n'est faite que si le numero de version de giac change, ce qui n'arrive que 2 ou 3 fois par an (le paquet est mis a jour avec les petites corrections de bugs environ 2 fois par mois).
pourquoi ne pas nommer giac.0.8.2+la date du correctif genre : giac.0.8.2-09.03.14 comme ça Synaptic détecterait régulièrement les correctifs.
Je dis ça ... !

Stéphane Lejoly

slejoly
Messages : 194
Inscription : sam. oct. 14, 2006 10:17 am
Localisation : Lorient

Message par slejoly » sam. mars 14, 2009 5:12 pm

Nos messages se sont croisés : compris pour les inégalités strictes.

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

Message par parisse » sam. mars 14, 2009 5:23 pm

slejoly a écrit : pourquoi ne pas nommer giac.0.8.2+la date du correctif genre : giac.0.8.2-09.03.14 comme ça Synaptic détecterait régulièrement les correctifs.
Je dis ça ... !

Stéphane Lejoly
Ah oui, il faut que je voie dans quelle mesure c'est possible, mais ca parait une bonne idée!

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

Message par parisse » ven. mars 20, 2009 7:55 am

J'ai mis a jour et le probleme des inegalites strictes au lieu de larges devrait etre corrige. A vos marques, prets, testez!

slejoly
Messages : 194
Inscription : sam. oct. 14, 2006 10:17 am
Localisation : Lorient

Message par slejoly » ven. mars 20, 2009 5:23 pm

C'est bon !
J'ai testé avec le paquet Mac car impossible d'avoir le paquet debian : ça mouline sur le ftp !
Stéphane Lejoly

Par contre si vous mettez un jour des giac.version.date pourriez vous l'annoncer que je rajoute
deb http://www-fourier.ujf-grenoble.fr/~parisse/debian/ stable main
dans le source.list

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

Message par parisse » ven. mars 20, 2009 6:41 pm

oui, le site ftp semble inacessible.
Je rajoute le lien vers le .deb en HTTP.

slejoly
Messages : 194
Inscription : sam. oct. 14, 2006 10:17 am
Localisation : Lorient

Message par slejoly » lun. mars 30, 2009 8:54 pm

J'ai maintenant ce problème :
resoudre((2x^2)/((x+1)^2)>=1)
qui me donne :
[x<=-1,((x>=-1) && (x<=(-sqrt(2)+1))),x>=(sqrt(2)+1)]
Je ne sais pas si vous pouvez améliorer cela ?

Stéphane Lejoly

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

Message par parisse » mar. mars 31, 2009 7:45 am

Non, je vais laisser comme ca. Ca fait apparaitre la singularite -1, tout en indiquant qu'a la limite en -1 l'inegalite est verifiee.

Répondre