KhiCAS, le moteur formel Giac/Xcas pour toutes TI-Nspire

→ **MyCalcs** profile · by **parisse** » 21 Sep 2020, 07:13

Pouvez-vous verifier que khicas.tns de l'archive est comme suit:

Code: Select all: 4562770 Defl:N 4350554 5% 2020-09-21 07:47 880d1d63 khicas.tns

→ **MyCalcs** profile · by **Noury** » 21 Sep 2020, 07:25

Ça semble correct. Voici mon résultat:

Code: Select all: ls -l khicas.tns -rw-r--r--@ 1 nb staff 4562770 21 sep 07:47 khicas.tns

Et voici le MD5:

Code: Select all: md5sum khicas.tns a3727519d5afbeb9457d9e73eae2d47a khicas.tns

→ **MyCalcs** profile · by **parisse** » 21 Sep 2020, 07:50

Je viens de verifier et j'avais effectivement oublie de modifier un chemin dans les include de giac, il pointait vers l'ancienne toolchain. J'ai aussi recompile GMP/MPFR/MPFI au cas ou. Mais ca ne change rien, le tns genere semble identique.

→ **MyCalcs** profile · by **Noury** » 21 Sep 2020, 07:55

En effet, ils sont identiques.

→ **MyCalcs** profile · by **parisse** » 21 Sep 2020, 08:43

je viens de verifier aussi les outils utilises, nspire-g++, genzehn, make-prg, tous sont bien du nouveau sdk.
Il faudrait essayer avec un des exemples du SDK, par exemple celui-la https://www-fourier.univ-grenoble-alpes.fr/~parisse/ti/newlib-c++.prg.tns

→ **MyCalcs** profile · by **Noury** » 21 Sep 2020, 09:01

Bernard,

J'ai essayé ce pgm, il fonctionne bien. Je n'ai aucun message d'erreur.
Il ne fait que me demander mon nom, puis me saluer.
Il ne fonctionne qu'en mode caractère, il n'y a pas de graphique. Ne serait-ce pas la raison ?

→ **MyCalcs** profile · by **Maxou09** » 21 Sep 2020, 10:44

Pour l’utilisateur lambda, il n’y aura qu’à installer ndless comme indiqué sur le lien donné par Critor et attendre sagement que M.Parisse règle Khicas ?

Ou bien il faudra mettre un peu les mains dans le cambouis avec des commandes ésotériques ? En espérant si tel est le cas qu’il y aura un petit tuto.

En tout les cas merci pour tout ce que vous réalisez.

→ **MyCalcs** profile · by **Hamza.S** » 21 Sep 2020, 11:00

Jusqu'à 2017, on n'avait besoin de rien faire après l'installation de ndless et le transfert des fichiers nécessaires pour le bon fonctionnement de khiCAS sur calculatrice.
Je ne pense pas que ça changera.

→ **MyCalcs** profile · by **Noury** » 21 Sep 2020, 11:13

Maxou09 wrote:Pour l’utilisateur lambda, il n’y aura qu’à installer ndless comme indiqué sur le lien donné par Critor et attendre sagement que M.Parisse règle Khicas ?

Justement, Bernard Parisse a demandé que quelqu'un teste sa nouvelle version. C'est ce que je fais.
Je lui indique les soucis rencontrés.

→ **MyCalcs** profile · by **parisse** » 21 Sep 2020, 11:14

Noury wrote:Bernard,

J'ai essayé ce pgm, il fonctionne bien. Je n'ai aucun message d'erreur.
Il ne fait que me demander mon nom, puis me saluer.
Il ne fonctionne qu'en mode caractère, il n'y a pas de graphique. Ne serait-ce pas la raison ?

Je ne vois pas ce qui cloche. giac linke uniquement avec les lib du SDK + gmp/mpfr/mpfi et je les ai recompilees avec le SDK. Il faut que j'achete une nspire cx ii et que j'essaie.