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
Resoudre
Modérateur : xcasadmin
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.
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.
absolument, ca installe dans /usr/local (alors que le paquet deb s'installe dans /usr)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 ?
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.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.
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) 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.
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.
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.
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.