Le forum de XCAS

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

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 q...

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

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 es...

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

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

Merci.

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 p...

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 ...

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 !).

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.

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 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))]
??

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

1) Très bien.
3) Ah, c'est peut-être intéressant, à vous de voir.

Merci, bon week end à vous aussi.

1) Zut j'ai oublié de dire que : f1(x):=k (fonction constante). 2) Ah cela ne me pose pas de problème j'ai écrit Oi:=droite(...), c'est juste que je ne connaissais pas Ox. 3) C'était pour améliorer le rendu, mais en jouant sur le paramètre en question, tous les autres objets (points, droites...) de ...