solve et sign et piecewise en général

Utilisation de Xcas

Modérateur : xcasadmin

Répondre
Guillaume
Messages : 112
Inscription : sam. janv. 20, 2007 8:48 pm
Contact :

solve et sign et piecewise en général

Message par Guillaume » dim. oct. 19, 2008 1:44 pm

Bonjour,

j'entre f:=x->abs(x);

puis fp:=function_diff(f);

fp(x) me renvoie sign(x)

mais solve(fp(x)=0,x) me renvoie
Unable to isolate function sign

Est-ce possible d'obtenir [] à la place ?

Si je rentre f avec piecewise, c'est pire...

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

Message par parisse » dim. oct. 19, 2008 4:15 pm

tiens, chez moi ca fait la meme erreur Unable to isolate avec solve(piecewise(...),x)
En effet, ni piecewise ni sign ne sont reconnus par isolate. Je vais essayer de m'en occuper la semaine prochaine (pour sign ca devrait etre facile, pour piecewise un peu moins...)

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

Message par parisse » mer. oct. 22, 2008 9:17 am

Je viens de mettre en ligne xcas_root/user avec le solver qui accepte piecewise. Dites-moi si ca fonctionne comme souhaite!

Guillaume
Messages : 112
Inscription : sam. janv. 20, 2007 8:48 pm
Contact :

Message par Guillaume » mer. oct. 22, 2008 7:11 pm

Ça ne semble pas marcher. Je viens de mettre à jour pourtant.
J'ai la 0.8.1 de 21h10..

0>> f:=x->piecewise(x<0,-1,1)
// Success
// End defining f
(x)->piecewise(x<0,-1,1)

// Time 0
1>> solve(f(x)=0,x)
[]

// Time 0.01
2>> solve(f(x)=1,x)
[x]

// Time 0
3>> solve(f(x)=-1,x)
[]

et avec sign, ça ne marche pas non plus.

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

Message par parisse » jeu. oct. 23, 2008 6:09 am

En effet, pour piecewise, j'ai juste fait le cas des fonctions non constantes par morceaux. Quel est le probleme pour sign?

Guillaume
Messages : 112
Inscription : sam. janv. 20, 2007 8:48 pm
Contact :

Message par Guillaume » jeu. oct. 23, 2008 7:36 am

OK : ça marche avec la version de ce matin avec sign. Merci !

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

Message par parisse » ven. oct. 24, 2008 6:54 am

j'ai legerement modifie solve/piecewise. Ce n'est pas ideal car la reponse peut contenir des and des or et des not qui ne sont pas simplifies (et pas simplifiables pour le moment avec xcas) mais ca devrait eviter des reponses fausses.

Guillaume
Messages : 112
Inscription : sam. janv. 20, 2007 8:48 pm
Contact :

Message par Guillaume » ven. oct. 24, 2008 7:11 am

Bravo ! C'est excellent ! Les and ne sont pas plus perturbants que les & habituels et les not permettent aux élèves d'étudier les complémentaires...
Encore merci.

PS : quand je fais giac -v, j'ai encore 0.8.1...

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

Message par parisse » ven. oct. 24, 2008 7:52 am

ok, ca devrait etre 0.8.2 maintenant.

Guillaume
Messages : 112
Inscription : sam. janv. 20, 2007 8:48 pm
Contact :

Message par Guillaume » ven. oct. 24, 2008 11:06 am

OK !

Répondre