Le forum de XCAS

Un truc bizarre, si je définis
f(x):=x^2
puis assume(M>0)
resoudre(f(x)>M,x) donne []
alors que resoudre(x^2>M,x) donne bien [x<(-(sqrt(M))),x>(sqrt(M))]

Stéphane Lejoly

Bon si je recommence avec
f(x):=x^2
Un tableur entre les deux.
assume(M>0)
resoudre(x^2>M,x) donne []
puis plus loin
assume(M>0)
resoudre(f(x)>M,x) donne bien [x<(-(sqrt(M))),x>(sqrt(M))]
??

C'est toujours moi !
assume(M<0)
resoudre(sqrt(x)>M,x) donne [((x>0) && (x<(M^2))),x>(M^2)]
je m'attends plutôt à [x].

Quel beau joujou que ce Xcas !

bon, il y a un probleme avec solve inequation à paramètre, ça vient de sign qui n'est pas assez sioux. Ca va prendre du temps à améliorer...

Oui mais ce qui est bizarre c'est que j'ai l'impression qu'un coup ça marche un coup non. Bon courage pour la correction.

bon, en fin de compte, je crois avoir trouve une methode simple qui devrait permettre de gerer ce cas correctement. Je mettrai la version linux (xcas_root/user) en ligne demain.

Si j'ai bien compris, linux (xcas_root/user) c'est celle là :
« installez à la main un ou plusieurs des paquets ci-dessous:
Paquetage Debian tout en un pour sarge/etch/ubuntu recente (giac 0.8.2)»
ce n'est pas celle que je mets à jour avec apt-get (je progresse sous linux, mais lentement !).

Non, xcas_root/user est une archive binaire (tar et compressée) qui s'installe dans /usr/local/ par la commande tar xvfz xcas_root/user.tgz. Ce n'est pas un package debian. 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).

Des fois que, pour xcas_root,
la commande tar xvfz xcas_root.tgz je dois la lancer du répertoire / et donc avec xcas_root téléchargé sur le Bureau je tape un truc comme :
cd /
puis
sudo tar xvfz ~/Bureau/xcas_root.tgz
et cela va s'installer tout seul où il faut ?

P.-S. Je pense que le paquet debian (manuel) sera une sage transition par rapport à l'installeur Mac OS !
En fait la mise a jour par apt-get n'a que peu d'intérêt pour l'instant.

slejoly a écrit :Des fois que, pour xcas_root,
la commande tar xvfz xcas_root.tgz je dois la lancer du répertoire / et donc avec xcas_root téléchargé sur le Bureau je tape un truc comme :
cd /
puis
sudo tar xvfz ~/Bureau/xcas_root.tgz
et cela va s'installer tout seul où il faut ?

absolument, ca installe dans /usr/local (alors que le paquet deb s'installe dans /usr)

P.-S. Je pense que le paquet debian (manuel) sera une sage transition par rapport à l'installeur Mac OS !
En fait la mise a jour par apt-get n'a que peu d'intérêt pour l'instant.

c'est une methode interessante pour quelqu'un qui met a jour xcas tous les 6 mois-1 an mais ca empeche de beneficier immediatement des petits correctifs.

Deux dernières (j'espère pour vous !) :
1) j'ai installé xcas avec apt-get : il est donc dans /usr, maintenant si j'installe xcas_root dans /usr/local cela va mettre le bazar, il y aura deux commandes xcas, faut-il donc que je retire le « xcas-apt-get » avec un
sudo apt-get autoremove giac ?

2) le paquet .deb s'installe-t-il lui aussi dans /usr comme le apt-get et donc le met à jour manuellement ?

J'approche du niveau 0 de la ligne de commande, je le conçois !

1/ le xcas_root s'installe dans /usr/local et le deb dans /usr, ils n'interagissent donc pas, vous n'etes pas obliges d'effacer le package debian. Ensuite il y a 2 commandes xcas en effet, /usr/bin/xcas et /usr/local/bin/xcas, celle qui se lance depend du PATH. Pour le savoir, il suffit de taper
which xcas
dans un terminal.
Vous pouvez aussi creer un lanceur sur le bureau et specifier l'un des 2 chemins.

2/ si vous installez le deb avec dpkg -i cela equivaut a l'install faite par apt-get car apt-get appelle dpkg. La seule difference c'est que vous forcez l'upgrade meme si la version indiquee n'a pas change.

Très bien, je pense me contenter du .deb (en plus,de souvenir, un double-clic dessus lance l'installation).

Merci.

Bonsoir,
avec le .deb
f(x):=x^2
puis assume(M>0)
resoudre(f(x)>M,x) donne bien maintenant :
[x<(-(sqrt(M))),x>(sqrt(M))]
mais
assume(M<0)
resoudre(sqrt(x)>M,x) me donne toujours [((x>0) && (x<(M^2))),x>(M^2)]
(?)

Stéphane Lejoly

Bonjour,
sous Ubuntu (je suis obligé de préciser maintenant !), Synaptic vient de me proposer une mise à jour de giac, je l'ai donc faite (bizarre j'ai l'impression que la version n'a pas été modifiée (?)) et depuis :

f(x):=x^2;
assume(M>0);
resoudre(f(x)>M,x) <-ici Xcas plante complètement.

J'ai essayé sous Mac (sans mise à jour récente) il y a les erreurs déjà évoquées mais ça ne plante pas.

Stéphane Lejoly

P.-S. J'ai noté que depuis l'avant dernière mise à jour de giac-xcas.deb les menus sont bien tous en français ce qui n'était pas le cas avant.