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

[parisse]

J'ai reussi a recuperer ce que le lexer de giac voyait, maintenant que j'ai compris comment les fichiers marchent. En rajoutant les caracteres speciaux dans input_lexer, exp, i et les fonctions reciproques de sin/cos/tan semblent fonctionner. Je viens de mettre a jour l'archive.
Par contre, la plupart des templates (matrice, limite, derivee...) ne fonctionnent pas.

[parisse]

Est-il possible de lire un fichier de l'emulateur ou de l'envoyer vers le PC? Actuellement je suis oblige de le faire sur une vraie calc.

[Excale]

Est-il possible de lire un fichier de l'emulateur ou de l'envoyer vers le PC? Actuellement je suis oblige de le faire sur une vraie calc.

Pas de manière simple.

Tu peux toujours printf le fichier en console ou bien copier le fichier en mémoire et utiliser la commande wm de l'ému, mais c'est sans doute plus rapide d'utiliser une vraie calc.

[Adriweb]

KarmTI (fork closed source de nspire_emu...) propose un navigateur de fichiers sur l'ému avec du two-way transfer, il me semble.

[parisse]

Bon, la prise en compte des templates est bien meilleure, il y a encore quelques uns qui ne marchent pas, le produit (je ne vois pas bien pourquoi), et les accolades (a quoi ca sert??) mais derivee, limite, matrices, integrale tout ca marche.
Sinon, les mouvements du curseur entre la ligne de commande et l'historique sont parfois contre-intuitifs, quand on tape curseur vers le bas par exemple on ne devrait pas revenir en boucle, ca devrait une fois le bas atteint rester en ligne de commande. Quand on atteint le haut de l'historique on ne devrait plus bouger. Y-a-t-il un moyen simple de revenir a la ligne de commande depuis n'importe ou dans l'historique?

[Adriweb]

Bon, la prise en compte des templates est bien meilleure, il y a encore quelques uns qui ne marchent pas, le produit (je ne vois pas bien pourquoi), et les accolades (a quoi ca sert??) mais derivee, limite, matrices, integrale tout ca marche.

Nice.
Et les accolades, c'est pour les listes, tout simplement.
Edit : nevermind, la template accolade, c'est pour les systèmes et conditionnels... cf. mon post après

Sinon, les mouvements du curseur entre la ligne de commande et l'historique sont parfois contre-intuitifs, quand on tape curseur vers le bas par exemple on ne devrait pas revenir en boucle, ca devrait une fois le bas atteint rester en ligne de commande. Quand on atteint le haut de l'historique on ne devrait plus bouger.

Ah oui, j'avais noté ça puis j'ai oublié. Ca ne devrait être bien compliqué à régler.
Pour empêcher de "descendre" (revenir tout en haut, du coup) à partir de l'input, il suffit d'ajouter if theView:getFocus() == fctEditor then return end à on.arrowDown (en tant que première ligne de cette fonction).
Pareil sur les arrowLeft et Right si on ne veut pas que ça passe aux MathEditor d'au dessus, aussi.
Par contre, pour empêcher de pouvoir revenir à l'éditeur à partir du haut, va falloir regarder de plus près le code qui gère les views. Pour le moment, c'est une "réponse" à ta question d'en dessous ^^
(D'ailleurs.... faudrait instaurer une limite d'éditeurs à l'historique, sinon bonjour la RAM à partir d'un moment ^^)

Y-a-t-il un moyen simple de revenir a la ligne de commande depuis n'importe ou dans l'historique?

Hum, pas pour le moment, du moins pas "directement". Quand on est dans l'historique, il suffit de faire Enter et ca insérera le contenu dans l'input (comme ce que fait TI)
Avec la souris, aussi, c'est simple, mais pas forcément très rapide ^^
Je suppose qu'on peut binder un événement (une touche en particulier) pour revenir sur l'input... Quel événement/quelle touche ?

[Bisam]

Giac peut-il gérer des listes comportant des objets de n'importe quel type ? J'ai eu l'impression que ça ne le gênait pas d'afficher des listes de listes de listes... mais si c'est juste l'affichage et qu'on ne peut rien en faire, c'est dommage !

À mon sens, cela pourrait être une des raisons pour lesquelles on pourrait préférer khiCAS à l'OS CAS de TI...

[parisse]

oui, bien sur, on peut mettre n'importe quoi dans une liste, donc une matrice, une liste, une liste de listes... ou un scalaire.
Les listes giac sont delimitees par des [] comme les vecteurs, il n'y a pas de difference. {} sert pour les delimiteurs de bloc comme en C, on peut aussi utiliser des delimiteurs mots-clefs (par ex. begin/end pour une fonction). Ce serait d'ailleurs pas mal de pouvoir editer des programmes xcas dans khicas, actuellement on peut en taper mais tout doit etre sur la meme ligne ce qui n'est pas tres lisible, ca permettrait de faire des programmes CAS sur une nspire non CAS de maniere confortable.
Une matrice c'est juste une liste de listes de meme longueur.
On peut aussi travailler avec des polynomes listes, il suffit d'utiliser poly1[ ... ] comme delimiteur au lieu de [ ... ]
Enfin on peut utiliser des "annuaires" c'est-a-dire des tableaux indicies par n'importe quoi, pas seulement par des entiers.
Sinon, les template accolade servent peut-etre pour faire un when?

[Bisam]

Pour répondre à ta question, il y a 2 templates "accolade gauche".
L'un est pour définir des fonctions par morceaux (donc comme un "when"), c'est celui où l'on voit des virgules, l'autre sert uniquement à faire un système d'équations (donc un simple "et" entre plusieurs équations)

Les "annuaires" de Giac, c'est l'équivalent des "dictionnaires" de Python, je suppose ?

[Adriweb]

Woops, j'avais pas bien compris.
Oui, les accolades, c'est pour gérer les systèmes, et les conditionnels :