π
<-
Chat plein-écran
[^]

Mise au point interface Khi+KhiCAS/chat

Nouveautés, projets, mises à jour.
En ligne

Re: Mise au point interface Khi+KhiCAS/chat

Message non lude parisse » 17 Jan 2022, 07:48

On se calme, svp, faut arreter de laisser croire que Giac ne fait pas les choses serieusement. Mais c'est un gros projet qui a une histoire (22 ans) et beaucoup de portages, donc c'est complexe.

L'archive "officielle" compilait tres bien avec gcc 9. Elle etait dans l'etat du source en decembre, avant que des corrections soient faites dans giac pour que ca compile avec des versions plus recentes de gcc, ces modifications sont bien sur incluses dans le SVN/GIT de geogebra.
J'ai mise a jour l'archive "officielle" hier, elle devrait compiler avec un gcc recent (mais je n'ai pas teste).

D'autre part, il y a bien sur des tests de regression dans giac, dans le sous-repertoire check de l'archive https://www-fourier.univ-grenoble-alpes.fr/~parisse/giac/giac-1.7.0.tar.bz2, par exemple des calculs d'integrale qui permettent tres souvent de detecter des erreurs:
Code: Tout sélectionner
cas_setup(0,0,0,1,0,[1e-10,1e-17],12,[1,50,0,25],0,0,0),xcas_mode(0);
integrate(1/(x**4-1)**10,x);
integrate((x**4+4*x**2+6*x+4)/(x+1)**2,x);
integrate(x/((x-1)*(x+1)**2),x);
integrate(x/((x+1)*(x**4-1)),x);
integrate(1/(3*x*(x**2+x+1)*(x-1)**3),x);
integrate(1/(x**4-1)**2,x);
integrate(1/(x**4+1)**2,x);
integrate(1/(x**4+1)**4,x);
integrate(x**7/((x**4-1)*(x**2+3)),x);
integrate(((1+x)/(1-x))**(1/3),x);
integrate((sin(2*x)+1)/(cos(2*x)),x);
integrate((2*sin(x)+1)/(2*sin(x)-1),x);
integrate(exp(x)/(3+2*exp(x)),x);
integrate(sin(x)**2*cos(x)**4,x);
integrate(sin(x)/(sin(x)**3+cos(x)**3),x);
integrate(1/sqrt(2*x*t)*exp(-t**2/2),x);
integrate(sin(3*x)**4/exp((3*x+1)/cos(t)),x);
integrate(2*x/sqrt(x**2-1),x);
integrate((sin(x)+cos(x))/(sin(x)-cos(x)),x);
integrate(sin(pi/2-2*x),x);
integrate(tan(x)+tan(x)**3,x);
integrate((exp(x)-exp(-x))/(exp(x)+exp(-x)),x);
integrate(1/cos(x)**25,x);
integrate(1/(sin(x)-1)**3,x);
integrate(1/(sin(x)+1)**3,x);
integrate(ln(x+sqrt(1+x**2)),x);
integrate(atan(2*x/(1+x**2)),x);
integrate(x*sqrt(1+x**2),x);
integrate(sin(x)/cos(x)**2,x);
integrate(exp(x)/(1+exp(2*x)),x);
integrate(cos(x/2)**2/(x+sin(x)),x);
integrate(x/sqrt(x+1),x);
integrate(exp(x)/((3+exp(x))*sqrt(exp(x)-1)),x);
ratnormal(integrate(sqrt(x)/sqrt(a**3-x**3),x)/sign(a));
integrate(sqrt(a-x)/sqrt(x),x);
integrate(sqrt(x**2+a**2),x);
integrate(sin(2*x)*cos(x),x);
integrate(x*atan(x),x);
integrate(sinh(x)*cos(x),x);
integrate(atan(x)/x,x);
integrate(1/(sin(x)-2)**3,x);
integrate((2*x**2+1)*exp(x**2),x);
integrate(sin(3*x)/sin(x),x);
integrate(1/(t*ln(t)**2),t,2,x);
integrate(ln(1+2/(n*(n+3))),n,1,+infinity);
integrate((pi*t-t**2)*sin(n*t),t,0,pi);
integrate(exp(t)*cos(n*t),t,-pi,pi);
integrate(cos(x)/exp(x),x,0,+infinity);
integrate((t**4+t+1)/(t**6+t**3+2),t,1,+infinity);
assume(t>2),integrate(x*exp(1/2*abs(ln(x**2))),x,2,t),purge(t);
integrate(1/sqrt(2*x*t)*exp(-t**2/2),x,a,b);
integrate((x**2*(1-x))**(1/3),x,0,1);
normal(integrate(atan(sqrt(1-x**2)),x,0,1));
assume(x>0),integrate(ln(x**2+t**2)/(1+t**2),t,0,+infinity),purge(x);

Et geogebra a ses propres tests de regression.
Avatar de l’utilisateur
parisseVIP++
Niveau 12: CP (Calculatrice sur Pattes)
Niveau 12: CP (Calculatrice sur Pattes)
Prochain niv.: 79.8%
 
Messages: 3545
Inscription: 13 Déc 2013, 16:35
Genre: Non spécifié
Calculatrice(s):
MyCalcs profile

Re: Mise au point interface Khi+KhiCAS/chat

Message non lude legmask » 17 Jan 2022, 11:07

parisse a écrit:L'archive "officielle" compilait tres bien avec gcc 9. Elle etait dans l'etat du source en decembre, avant que des corrections soient faites dans giac pour que ca compile avec des versions plus recentes de gcc, ces modifications sont bien sur incluses dans le SVN/GIT de geogebra.
J'ai mise a jour l'archive "officielle" hier, elle devrait compiler avec un gcc recent (mais je n'ai pas teste).


Désolée mais j'ai qu'une chose a dire Image
Image
Avatar de l’utilisateur
legmaskVIP
Niveau 14: CI (Calculateur de l'Infini)
Niveau 14: CI (Calculateur de l'Infini)
Prochain niv.: 31.5%
 
Messages: 110
Images: 4
Inscription: 20 Déc 2019, 16:49
Genre: Homme
Calculatrice(s):
MyCalcs profile
Classe: BioMAD
GitHub: LeGmask

Re: Mise au point interface Khi+KhiCAS/chat

Message non lude Adriweb » 17 Jan 2022, 11:19

D'ailleurs je pourrai tester avec un clang recent, ca vaut le coup de vérifier la compatibilité.
Image

MyCalcs: Help the community's calculator documentations by filling out your calculators info!
MyCalcs: Aidez la communauté à documenter les calculatrices en donnant des infos sur vos calculatrices !
Inspired-Lua.org: All about TI-Nspire Lua programming (tutorials, wiki/docs...)
Avatar de l’utilisateur
AdriwebAdmin
Niveau 16: CC2 (Commandeur des Calculatrices)
Niveau 16: CC2 (Commandeur des Calculatrices)
Prochain niv.: 78.2%
 
Messages: 14648
Images: 1118
Inscription: 01 Juin 2007, 00:00
Localisation: France
Genre: Homme
Calculatrice(s):
MyCalcs profile
Twitter/X: adriweb
GitHub: adriweb

En ligne

Re: Mise au point interface Khi+KhiCAS/chat

Message non lude parisse » 17 Jan 2022, 12:39

Je n'ai pas teste parce que je ne vais pas risquer de casser une install qui marche en upgradant de gcc9 vers gcc11 (je n'ai pas le temps, en tout cas pour le moment).
Avatar de l’utilisateur
parisseVIP++
Niveau 12: CP (Calculatrice sur Pattes)
Niveau 12: CP (Calculatrice sur Pattes)
Prochain niv.: 79.8%
 
Messages: 3545
Inscription: 13 Déc 2013, 16:35
Genre: Non spécifié
Calculatrice(s):
MyCalcs profile

Re: Mise au point interface Khi+KhiCAS/chat

Message non lude Adriweb » 17 Jan 2022, 18:18

Adriweb a écrit:D'ailleurs je pourrai tester avec un clang recent, ca vaut le coup de vérifier la compatibilité.

D'apres le repo de geogebra, j'ai fait ceci sans problème, ca utilise clang (tout récent) en interne sur macOS par défaut:
- cd && mkdir gg-svn && cd gg-svn
- svn co https://dev.geogebra.org/svn/trunk/geogebra/
- cd geogebra/giac
- Modifiez gradle/wrapper/gradle-wrapper.properties pour changer la version de gradle vers la 6.3 (je sais pas si y'a besoin de ca sur un environnement un peu plus vieux)
- ./gradlew giacOsx_amd64StaticLibrary (par exemple, commands "tasks" pour voir la liste de ce qui est dispo, y'en a plein)

Ca m'a généré build/libs/giac/static/osx_amd64/libgiac.a en 2 min 58s sur cette machine, et c'est donc une lib static prêt à être utilisé au sein d'un autre code.

Bon, juste pour dire qu'il y a moyen de faire tout ceci sans se casser trop la tête, même si évidemment c'est beaucoup plus lourd de passer par geogebra et tout le systeme de build via java et gradle.

J'ai pas eu le temps de regarder ce qu'il faudrait faire a partir de zéro via l'archive giac tar.gz du serveur upstream (hors geogebra etc. donc)
Image

MyCalcs: Help the community's calculator documentations by filling out your calculators info!
MyCalcs: Aidez la communauté à documenter les calculatrices en donnant des infos sur vos calculatrices !
Inspired-Lua.org: All about TI-Nspire Lua programming (tutorials, wiki/docs...)
Avatar de l’utilisateur
AdriwebAdmin
Niveau 16: CC2 (Commandeur des Calculatrices)
Niveau 16: CC2 (Commandeur des Calculatrices)
Prochain niv.: 78.2%
 
Messages: 14648
Images: 1118
Inscription: 01 Juin 2007, 00:00
Localisation: France
Genre: Homme
Calculatrice(s):
MyCalcs profile
Twitter/X: adriweb
GitHub: adriweb

En ligne

Re: Mise au point interface Khi+KhiCAS/chat

Message non lude parisse » 17 Jan 2022, 18:58

On peut remercier Zoltan Kovacs!
Avatar de l’utilisateur
parisseVIP++
Niveau 12: CP (Calculatrice sur Pattes)
Niveau 12: CP (Calculatrice sur Pattes)
Prochain niv.: 79.8%
 
Messages: 3545
Inscription: 13 Déc 2013, 16:35
Genre: Non spécifié
Calculatrice(s):
MyCalcs profile

Précédente

Retourner vers Actualités

Qui est en ligne

Utilisateurs parcourant ce forum: Aucun utilisateur enregistré et 2 invités

-
Rechercher
-
Social TI-Planet
-
Sujets à la une
"1 calculatrice pour tous", le programme solidaire de Texas Instruments. Reçois gratuitement et sans aucune obligation d'achat, 5 calculatrices couleur programmables en Python à donner aux élèves les plus nécessiteux de ton lycée. Tu peux recevoir au choix 5 TI-82 Advanced Edition Python ou bien 5 TI-83 Premium CE Edition Python.
Enseignant(e), reçois gratuitement 1 exemplaire de test de la TI-82 Advanced Edition Python. À demander d'ici le 31 décembre 2024.
Offre de test des nouveautés de rentrée 2024 par Casio. Enseignant(e), reçois gratuitement 1 exemplaire, à ton choix, de la Graph Light ou bien de la Graph Math+
14€ remboursés par Casio sur l'achat de ta calculatrice Graph 35 d'ici le 31 Octobre 2024
10€ remboursés par Casio sur l'achat de ta calculatrice Graph 90+E d'ici le 31 Décembre 2024
10€ remboursés par Casio sur l'achat de ta calculatrice Graph 25 d'ici le 31 Décembre 2024
8€ remboursés par Casio sur l'achat de ta calculatrice Graph Math+ d'ici le 31 Octobre 2024
Reprise de ton ancienne fx-92 Collège ou Graph 25/35/90 à 3€ peu importe son état. Même non fonctionnelle et donc invendable, même ancienne Graph 35 non conforme aux programmes (pas de Python), même ancienne Graph 25/35 inutilisable aux examens (pas de mode examen) et donc invendable. Etiquette de retour fournie, pas de frais de port à payer.
3€ remboursés par Casio sur l'achat de ta calculatrice fx-92 Collège d'ici le 30 Septembre 2024
5€ de remise immédiate sur l'achat de ta calculatrice TI-83 Premium CE Edition Python chez les revendeurs partenaires
4€ de remise immédiate sur l'achat de ta calculatrice TI-82 Advanced Edition Python chez les revendeurs partenaires
3€ de remise immédiate sur l'achat de ta calculatrice TI-82 Advanced chez les revendeurs partenaires
Comparaisons des meilleurs prix pour acheter sa calculatrice !
Aidez la communauté à documenter les révisions matérielles en listant vos calculatrices graphiques !
1234567891011121314
-
Faire un don / Premium
Pour plus de concours, de lots, de tests, nous aider à payer le serveur et les domaines...
Faire un don
Découvrez les avantages d'un compte donateur !
JoinRejoignez the donors and/or premium!les donateurs et/ou premium !


Partenaires et pub
Notre partenaire Jarrety Calculatrices à acheter chez Calcuso
-
Stats.
1045 utilisateurs:
>997 invités
>43 membres
>5 robots
Record simultané (sur 6 mois):
6892 utilisateurs (le 07/06/2017)
-
Autres sites intéressants
Texas Instruments Education
Global | France
 (English / Français)
Banque de programmes TI
ticalc.org
 (English)
La communauté TI-82
tout82.free.fr
 (Français)