1.1.1 instable

Nouveautes concernant Xcas.
News about Xcas

Modérateur : xcasadmin

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

1.1.1 instable

Message par parisse » jeu. avr. 17, 2014 11:26 am

Je viens de mettre en telechargement le 1er jet de la version 1.1.1, avec des ameliorations (en principe!) pour la resolution de systemes polynomiaux.
Exemples

Code : Tout sélectionner

solve([a^3+b^3+c^3-8,a^2+b^2+c^2-6,a+b+2c-4],[a,b,c]);
solve([x^2+y+z=1,x+y^2+z=1,x+y+z^2=1],[x,y,z]);
csolve([54-5y+99z-61*x*y-50x^2-12*y*z,1-47x-91*x*y-47z^2-61*y*z+41y^2,-86+23x*y-84x^2+19*x^2*y-50*x*y*z+88*x*z^2],[x,y,z]);
S:=solve([24*u*z-u^2-z^2-u^2*z^2-13,24*y*z-y^2-z^2-y^2*z^2-13,24*u*y-u^2-y^2-u^2*y^2-13],[u,y,z]); 
solve([x*y*z+y*z*t+z*t*u+t*u*x+u*x*y, y*z*t+y*z*t*u+z*t*u*x+t*u*x*y+u*x*y*z, x*y*z*t*u-1, x+y+z+t+u, x*y+y*z+z*t+t*u+u*x],[x,y,z,t,u]);
(Il reste a traiter le cas des ideaux non radicaux)

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

Re: 1.1.1 instable

Message par parisse » mer. avr. 23, 2014 11:54 am

Mise a jour, en principe ca devrait marcher pour tous les systemes polynomiaux, en pratique il y a encore surement des bugs.

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

Re: 1.1.1 instable

Message par parisse » lun. mai 12, 2014 12:00 pm

Mise a jour, avec en nouveaute de l'arithmetique d'intervalle (utilisant MPFI). La syntaxe pour representer un intervalle de reels est i[a,b], par exemple i[1,2]*i[3,4] renvoie un intervalle contenant toutes les valeurs possibles de x*y si 1<=x<=2 et 3<=y<=4.
J'ai aussi bascule complexroot (localisation certifiee de racines complexes d'un polynome) vers l'utilisation des racines numeriques puis arrondi a un rationnel proche r et certification en calculant degre(P)*P(r)/P'(r), ce qui devrait etre plus efficace que les suites de Sturm complexes. Plus quelques corrections de bugs...

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

Re: 1.1.1 instable

Message par parisse » lun. mai 26, 2014 12:06 pm

Nouvelle mise a jour, qui devrait etre assez proche de la version 1.1.1 stable (il reste a mettre a jour la doc).

Les fonctions sur les intervalles ont ete ajoutees dans le menu, et la saisie d'un intervalle se fait preferentiellement sous la forme [min..max], par exemple [1..2], pour eviter les confusions avec le i complexe de la syntaxe precedente i[a,b] (pour le moment acceptee), ainsi qu'un nombre flottant dont le premier digit non certain est suivi par un ?, par exemple 0.123? est equivalent a [0.122..0.124]. La fonction solve ou fsolve avec 2 listes (equations, inconnues) et le mot-clef interval en 3eme argument renvoie une liste de solutions sous formes d'intervalles au lieu de valeurs approchees.

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

Re: 1.1.1 instable

Message par parisse » mer. mai 28, 2014 2:50 pm

Nouvelle mise a jour qui corrige des recursions infinies avec les intervalles.
Introduction d'une nouvelle possibilite: assigner un nom de variable a une racine d'equation pour avoir un affichage des rootof correspondant en fonction de cette variable.
Par exemple
rootof(x^2+x+1):=j; normal(j^2); factor(x^2+x+1,j)

Répondre