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

[critor]

Je suis en train de tester l'ajout du support de l'interpreteur micropython a l'interieur de l'environnement KhiCAS. L'idee est de laisser l'utilisateur quel interpreteur il choisit pour evaluer sa ligne de commande.

Je suppose que le mode examen KhiCAS garantit en partie le non accès aux documents/informations préchargés en interdisant de sortir de KhiCAS, à l'image par exemple du mode examen Geogebra sur navigateur et tablettes qui passe en plein écran et interdit (ou signale) tout basculement sur un autre onglet ou application ?

Dans un tel cadre en effet, si on prive l'utilisateur des autres fonctionnalités TI-Nspire et Ndless, il me semble pertinent d'intégrer Micropython. Excellent choix.

[parisse]

C'est d'abord en-dehors des considerations sur le mode examen que ca me semble avoir un interet, l'environnement de programmation me semble plus convivial et plus complet dans KhiCAS que dans ce qui existe actuellement. Et bien sur la possibilite d'avoir un module de calcul formel n'existera pas facilement ailleurs.

[Lionel Debroux]

Cela me semble également très pertinent d'intégrer MicroPython à KhiCAS
Tu as fait des efforts sur la compatibilité Python, mais difficile d'être plus compatible que MicroPython, forcément.

[parisse]

Si ca marche bien, j'espere aussi attirer vers KhiCAS des gens qui n'auraient pas essaye autrement, en leur proposant un environnement de programmation Python pur, avec certaines fonctionnalites exclusives. Une fois habitues a l'environnement, il n'y a plus qu'un petit pas a franchir pour faire du calcul formel.
Et puis le fait de pouvoir basculer d'un interpreteur a l'autre en conservant historique peut avoir un interet pedagogique pour expliquer certaines choses, par exemple le typage si on tape 1/2.

[parisse]

Je viens de modifier le define qui va bien dans py/mpconfig.h pour que urandom soit disponible dans le port de micropython de F. Vogt (etrange qu'il n'ait pas ete valide d'ailleurs...).
Attention, c'est le vrai nom de module qu'il faut utiliser, i.e. urandom, et pas random. Si ca pose probleme, il doit bien y avoir moyen d'utiliser random...
Pour matplotlib, c'est peut-etre possible d'adapter le script de Casio en utilisant le module nsp et Texture. Mais le module nsp me semble assez different du module de base graphique de Numworks ou Casio, il vaudrait peut-etre mieux refaire un module compatible avant.
Ensuite qu'est-ce qui manque d'autre par rapport aux implementations concurrentes?

[parisse]

Bon, j'ai fini le module graphic pour la nspire cx. On peut l'appeler indifferamment par le nom graphic, casioplot ou kandinsky pour pouvoir utiliser les scripts prevus pour Casio ou Numworks, en principe c'est un sur-ensemble des commandes disponibles dans ces modules. Les commandes en plus sont draw_circle, draw_filled_circle, draw_arc, draw_filled_arc. Je n'ai pas encore ajoute draw_polygon et draw_filled_polygon, il faut que je me plonge d'abord sur le format des listes micropython.
Pour tester, lancer KhiCAS et taper la commande python toute seule. Ensuite le menu shift-1 a shift-9 du shell s'adapte a l'interpreteur MicroPython et shift-6 et shift-7 en particulier permettent de tester le module graphic. Lorsqu'on lance une commande graphique, l'ecran est fige et il faut taper esc pour revenir au shell (affichage en ligne d'etat).
J'en ai aussi profite pour activer tous les modules presents dans micropython, la liste de critor devrait du coup s'etoffer!
Archive: https://www-fourier.univ-grenoble-alpes.fr/~parisse/ti/khicas.zip

Pour ceux qui s'interessent au code source, les modifications https://www-fourier.univ-grenoble-alpes.fr/~parisse/ti/micropylib.tgz sont a desarchiver dans le repertoire nspire de https://github.com/Vogtinator/micropython (lire aussi le fichier change).

[Ti64CLi++]

Magnifique travail parisse
C'est vrai que c'est bien utile, et je l'aurais bien fait avant si j'avais une once des compétences requises...

[parisse]

J'ai rajoute la possibilite de changer d'interpreteur dans la configuration de KhiCAS, il devient tres facile de passer d'un interpreteur a l'autre. Pour les programmes compatibles, ca peut servir par exemple pour les debugger ou les executer en mode pas a pas avec Xcas a des fins pedagogiques, puis quand tout marche, environ 4 fois plus vite avec l'interpreteur MicroPython (un peu comme compiler du C avec -g ou -O2).

J'ai un peu teste le module graphic avec les scripts matplotl.py et turtle.py pour Casio 90 (https://s3.eu-west-3.amazonaws.com/casio--wh-de/file_products/documents/000/000/026/original/matplotlibturtleGraph90E.zip?1587721703), ca a l'air de marcher dans l'ensemble (il reste encore des details a regler). Donc on sera comparable a Casio, en attendant d'avoir des modules natifs (mais je ne me lancerai la-dedans que s'il y a de la demande!).

[Lionel Debroux]

Excellent travail, comme toujours

[Maxou09]

Un seul mot : formidable.

Quel dommage que tout ce travail ne puisse pas être utilisé sur les dernières TI nspire CX II T.

Dommage la limite de mémoire imposée sur les modules externes de Casio.

J’espère que ce travail pourra se trouver sur la numworks et son évolution sur la hp prime.

Merci Monsieur Parisse.