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

→ **MyCalcs** profile · by **Adriweb** » 30 Jan 2017, 19:15

Ca marche, ici.
Mais bref, je vais mettre à jour le lien de secours...

→ **MyCalcs** profile · by **parisse** » 31 Jan 2017, 07:52

Le serveur web de mon labo a des vapeurs, il ne marchait pas ce week-end et est a nouveau tombe en panne depuis hier soir, une copie de secours a jour serait en effet une bonne idee!

→ **MyCalcs** profile · by **parisse** » 10 Sep 2017, 15:20

Mise a jour pour les CX.
https://www-fourier.ujf-grenoble.fr/~parisse/calc/khicas.zip
Il y a pas mal de petits bugs qui ont ete corriges. La principale nouveaute est le support de la syntaxe de base de Python, mais je ne sais pas si on peut vraiment en profiter sur la nspire (il faudrait pouvoir passer a la ligne suivante en ligne de commande). Certaines commandes compatibles Python sont quand meme disponibles sans saut de ligne: range par exemple (mais aussi randint, shuffle, assert) ou lambda var:expression pour definir une fonction anonyme et la passer en parametres. Les indices negatifs sont aussi supportes dans l'acces par [] pour les listes/matrices/vecteurs et chaines.

→ **MyCalcs** profile · by **chess** » 13 Sep 2017, 01:03

J'ai la chance d'avoir pu trouver pour ma fille qui passe la bac cette année
une Nspire Cx assez ancienne (modèle P_ _ _ _ F)
donc qui fait tourner sans problème un OS 3.1 CX CAS.

J'hésite à la mettre à jour vers un OS CX plus récent + ndless + KhiCAS
Mais il n'est pas question qu'elle prenne l'habitude de travailler toute l'année avec du CAS
si c'est pour devoir changer d'habitude le jour des examens ou plus tard des concours.

D'où ma question : EST-CE QUE KhiCAS PEUT MARCHER EN MODE EXAMEN ?

Je précise que ce n'est pas de la triche vu que les modèles CAS sont autorisés.
Mais j'imagine que ça suppose :
- avoir nlaunchy afin d'avoir ndless en reboot proof
- mettre khicas.tns dans ndless/starup
- ou bien éventuellement modifier le code source d'un PTTkiller
pour exécuter khicas.tns avant qu'il soit rendu inaccessible par le mode examen

A votre avis est-ce suffisant ou bien faut-il transférer dans Press-to-Test
à la fois khicas.tns et luagiac.luax.tns ?

→ **MyCalcs** profile · by **compsystems** » 13 Sep 2017, 03:43

Hello Mr. Bernard, please can you include tI68k mode, for the purpose of porting codes

→ **MyCalcs** profile · by **Adriweb** » 13 Sep 2017, 10:19

Nspire-Lua can't launch TI-Basic's GUI things like prompt dialogs etc. sadly.
So... either:
- have some kind of bridge on the nspire-lua side to call the ETK's GUI methods to create things on the fly
- or, and even though it's not impossible, do it in the C++ side (some work would be needed to call the OS' native GUI routines to do that and give user values back to Lua afterwards).

→ **MyCalcs** profile · by **critor** » 13 Sep 2017, 10:23

chess wrote:J'ai la chance d'avoir pu trouver pour ma fille qui passe la bac cette année
une Nspire Cx assez ancienne (modèle P_ _ _ _ F)
donc qui fait tourner sans problème un OS 3.1 CX CAS.

J'hésite à la mettre à jour vers un OS CX plus récent + ndless + KhiCAS
Mais il n'est pas question qu'elle prenne l'habitude de travailler toute l'année avec du CAS
si c'est pour devoir changer d'habitude le jour des examens ou plus tard des concours.

D'où ma question : EST-CE QUE KhiCAS PEUT MARCHER EN MODE EXAMEN ?

Je précise que ce n'est pas de la triche vu que les modèles CAS sont autorisés.

Je suis parfaitement d'accord sur le fait que rajouter en mémoire des programmes non officiels implémentant des fonctionnalités disponibles sur d'autres modèles n'est pas de la triche. Comme par exemple KhiCAS qui est disponible sur HP Prime pour à peu près le même prix qu'une TI-Nspire CX.

Mais si je m'en tiens aux textes, c'est de la fraude, puisqu'il y a utilisation de données rajoutées en mémoire par le candidat.

Maintenant en pratique, face à des surveillants qui à mon avis majoritairement traqueront les documents et non les fonctionnalités au sujet desquelles ils seront de toutes façons incapables de décider du caractère officiel ou non, je ne pense pas que les candidats soient attrapés pour l'utilisation de KhiCAS.

chess wrote:Mais j'imagine que ça suppose :
- avoir nlaunchy afin d'avoir ndless en reboot proof
- mettre khicas.tns dans ndless/starup
- ou bien éventuellement modifier le code source d'un PTTkiller
pour exécuter khicas.tns avant qu'il soit rendu inaccessible par le mode examen

Avec Ndless 3.1 à 4.4 et une configuration reboot-proof (nBoot+ControlX ou Nlaunch), il suffit de mettre un programme dans /ndless/startup/ pour qu'il soit exécuté au démarrage de la calculatrice, même en mode examen.

Mais une fois quitté, le programme sera à nouveau inaccessible, jusqu'au prochain redémarrage de la machine (ce qui prend une minute à chaque fois).
Donc pas des plus pratiques, du moins pas sans mettre dans /ndless/startup/ des outils complémentaires qui à ma connaissance n'existent pas à ce jour.

→ **MyCalcs** profile · by **parisse** » 13 Sep 2017, 13:45

Pour le bac, je ne pense pas que votre fille ait trop besoin des fonctionnalites de khicas que vous ne trouveriez pas dans l'os 3.1 de la nspire cx cas. Eventuellement les commandes rsolve, tabvar et matpow (si en S specialite maths). Mais techniquement c'est quand meme plus complique a mettre en oeuvre avec le mode examen, le risque de crash n'est pas nul, et il y a aussi un risque qu'on considere ca comme de la fraude (pour quelqu'un qui applique la lettre des textes et non l'esprit). Pour ces raisons, je vous recommande d'utiliser la calculatrice sans modifications.

Sinon, rien a voir, mais quelqu'un sait si on peut passer a la ligne dans l'editeur mathematique 2-d lua qui est l'interface de khicas?

→ **MyCalcs** profile · by **critor** » 13 Sep 2017, 14:19

Sinon, voir la manip pour installer l'OS CX CAS sur une TI-Nspire CX :
https://www.reddit.com/r/nspire/comment ... _works_on/

Il y aurait encore moins de raisons qu'un surveillant qui voit ça se dise que ce ne sont pas des fonctionnalités développées par Texas Instruments, vu qu'ici l'intégration sera maximale.

→ **MyCalcs** profile · by **chess** » 13 Sep 2017, 15:09

parisse wrote:Pour le bac, je ne pense pas que votre fille ait trop besoin des fonctionnalites de khicas

Je pense plus aux concours qui sont de véritables courses de vitesse
(où apprendre à maitriser un outil puissant peut faire la différence)
qu'au BAC qui se sert à rien
sachant que les admissions en classe prépa sont déjà jouées au 2ème trimestre
je suis d'accord qu'il faut vraiment être c... pour prendre le moindre risque au BAC

Mais l'habitude de se servir de l'outil commence au Lycée.

Et c'est aussi une question de défi, car la raison d'être d'une calculatrice étant UNIQUEMENT SCOLAIRE tout votre travail ne sert plus a rien si on ne trouve pas le moyen de s'en servir.

Donc je me lance.

J'ai déjà Nlaunchy CXM 2.7

J'ai récupé sur github le code source de ndless 4.5+
et je vais recompiler ndless 4.4 sans la ligne qui fait ch...
gui_gc_drawString(gc, (char*) u"Ndless installed!", 25, 4, GC_SM_TOP);

J'ai récupéré un OS CX 4.4 en .tco
Par contre j'ai entendu dire que TNOC ne marche pas pour les OS CX >= 3.6.
Dois-je trouver un autre moyen de virer le Boot 2 ?
ou bien est-ce que je peux le renommer en phoenix.tns et l'envoyer tel que dans ./nlaunch ?