1.2.2 stable

Nouveautes concernant Xcas.
News about Xcas

Modérateur : xcasadmin

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

1.2.2 stable

Message par parisse » mar. nov. 10, 2015 2:48 pm

Je passe la 1.2.2-9 en version stable, avec des binaires pour win/mac/linux.

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

Re: 1.2.2 stable

Message par parisse » jeu. févr. 18, 2016 6:15 pm

Mise a jour 1.2.2-31

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

Re: 1.2.2 stable

Message par parisse » ven. mars 04, 2016 8:42 pm

Mise a jour 1.2.2-33.
J'ai aussi mis a jour la compilation javascript et la lib linux de l'interface java jni.

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

Re: 1.2.2 stable

Message par parisse » mer. mars 23, 2016 1:36 pm

Mise a jour 1.2.2-35 pour linux.

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

Re: 1.2.2 stable

Message par parisse » jeu. mars 24, 2016 10:25 am

Mise a jour 1.2.2-37 pour linux. Si tout va bien d'ici mardi prochain, je la proposerai comme version pour les oraux de l'agreg (interne/externe), car elle corrige quelques bugs qui pourraient etre genants pour les candidats (calcul en multi-precision et produit element corps fini* vecteur/matrice).

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

Re: 1.2.2 stable

Message par parisse » ven. avr. 15, 2016 1:21 pm

J'ai mis a jour des versions *instables* 64 bits 1.2.2-39 (mac, windows, linux debian).
Quelques bugs corriges.

La principale nouveaute c'est la possibilite de "filtrer" des fichiers latex pour generer du HTML5 ou du PDF avec des calculs et des graphiques effectues par giac, a la maniere de pgiac (de Jean-Michel Sarlat). Ca marche sous linux si hevea et pdflatex sont installes en faisant

Code : Tout sélectionner

giac nom_fichier.tex
(bien mettre l'extension .tex pour que giac reconnaisse qu'on fait du latex et que ce n'est pas un calcul non interactif en langage Xcas).
giac filtre les calculs, les effectue, cree des EPS des graphiques 2d, ensuite giac appelle hevea -fix pour generer du HTML5 (a voir dans Firefox pour des performances optimales) et pdflatex pour le PDF.

Il suffit de creer un fichier .tex normal ou on a mis (juste apres \begin{document}) \begin{giacjsonline} et \end{giacjsonline} (juste avant \end{document}) , pour faire un calcul ou un graphe on utilise la commande \giacinputbigmath{...} ou \giacinputmath{...}. Voir le fichier http://www-fourier.ujf-grenoble.fr/~par ... testfr.tex pour des exemples types de commandes ou http://www-fourier.ujf-grenoble.fr/~par ... ethnum.tex pour un fichier en vrai grandeur.
J'attends que tout ca soit un peu teste pour faire une version stable (que je renommerai peut-etre 1.2.3).

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

Re: 1.2.2 stable

Message par parisse » jeu. mai 19, 2016 1:12 pm

1.2.2-47
Binaires disponibles pour 64 bits (et linux debian stable/testing 32 bits).
Quelques changements (optimisations en principe!) pour les operations polynomiales a coefficients dans une extension algebrique.

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

Re: 1.2.2 stable

Message par parisse » ven. mai 20, 2016 8:31 am

1.2.2-49
La 1.2.2-47 a une optimisation invalide, je la supprime des serveurs.

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

Re: 1.2.2 stable

Message par parisse » mar. mai 24, 2016 1:01 pm

1.2.2-51
Acceleration pour la factorisation de polynomes a plusieurs variables avec coefficients dans des extensions algebriques.

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

Re: 1.2.2 stable

Message par parisse » jeu. mai 26, 2016 12:20 pm

1.2.2-53:
Encore quelques petites optimisations sur egcd en dimension 1 et la factorisation de polynomes a coeffs dans une extension algebrique.
La GSL est linkee statiquement dans les packages linux, pour essayer d'etre compatible avec ubuntu 16.04.
J'ai mis a jour le manuel algorithmes, la version PDF contient maintenant des graphes, et la version HTML est interactive (possibilite de faire des calculs dans le document, boutons Index et Table pour naviguer plus facilement), testee avec Firefox.

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

Re: 1.2.2 stable

Message par parisse » jeu. juin 02, 2016 11:15 am

1.2.2-57: [Edit la 1.2.2-55 avait un bug bloquant]
corrections de bugs
changement d'algorithme pour le resultant en plusieurs variables : par interpolation. Sur les exemples que j'ai testes, je n'ai pas constate d'erreurs, et c'est parfois nettement plus rapide.

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

Re: 1.2.2 stable

Message par parisse » mer. juin 08, 2016 11:42 am

1.2.2-59
Quelques correctifs, en particulier des optimisations precedentes pouvaient etre tres lentes dans certains cas.

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

Re: 1.2.2 stable

Message par parisse » mar. juin 14, 2016 12:31 pm

1.2.2-61:
correction d'un bug dans limit

Code : Tout sélectionner

a:=(2^(4*x)+4^(2x))/4^(2x+1); limit(a,x=inf);

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

Re: 1.2.2 stable

Message par parisse » mer. juin 22, 2016 1:32 pm

1.2.2-63:
binaires disponibles aussi en windows 32, mac os x.6 et linux 32 bits archaique.

Nouveautes:
1/ il est maintenant possible de passer des parametres par defaut aux fonctions Xcas. Par exemple
f(x,y=3):={return x*y;}; f(5); f(2,4);
Le signe = a ete choisi pour eviter des parentheses qui seraient necessaires avec :=
Pour des raisons de coherence la declaration de variables locales avec affectation accepte dorenavant aussi = a la place de := (en evitant donc les parentheses),
et = devient synonyme de := (affectation) s'il est a la racine d'une instruction dans un programme (c'etait deja le cas depuis quelque temps mais j'ai enleve le warning). Par exemple

Code : Tout sélectionner

f(x):={
  local y=0,j;
  pour j de 1 jusque x faire y=y+j; fpour;
  return y;
}
2/ Je suis egalement en phase de prototypage d'un traducteur de fonction Xcas vers C++ sous linux, et donc j'ajoute la possibilite de typer des variables locales, par exemple on peut ecrire local j:integer;, l'interpreteur testera alors que les valeurs affectees a j sont bien entieres. L'implementation se fait en ajoutant un suffixe _i au nom de variable (_d pour des variables de type double) et en substituant, en consequence les variables que vous declarez dans un programme sont implicitement declarees comme entieres si elles terminent par _i et flottant double si elles terminent par _d. J'espere que ca ne posera pas de problemes pour des programmes existants?
Je compte ajouter un typage _s pour les chaines de caractere et _v pour des vecteurs et _m pour des matrices et peut-etre aussi du support pour des vecteurs/matrices d'entiers et de doubles.
A terme on gagnera un peu en vitesse si on garde des variables non typees, mais ca pourrait etre un facteur 10 ou plus si les variables sont typees.
Le prototype fonctionne deja avec

Code : Tout sélectionner

monf(x):={ local y=0,j:integer; if (x<0) return y; for j from 1 to x do y:=j+y; od; return y;}:;
cpp(monf);
la commande cpp cree un module dynamique sauvegarde sur le disque.
On peut alors quitter Xcas, le relancer et taper insmod("monf") pour charger le module dynamique puis par exemple monf(10^6) qui est deja notablement plus rapide que monf(10^6) interprete.

fhub
Messages : 31
Inscription : lun. juin 22, 2009 8:30 pm

Re: 1.2.2 stable

Message par fhub » mer. juin 22, 2016 3:50 pm

parisse a écrit :1.2.2-63:
binaires disponibles aussi en windows 32, mac os x.6 et linux 32 bits archaique.
Well, the file 'xcasunst.exe' has todays date, but it's exactly the same version as more than one month ago (from 12th May). :(
(I've checked it with a byte compare)

And for 'xcasinst.exe' it's the same, it's also just the old file.

Franz

Répondre