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

[parisse]

Un seul mot : formidable.

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

Pour le moment non, mais on peut peut-etre esperer que ndless tournera un jour sur les CX II.

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

Oui, mais a mon avis c'est une contrainte artificielle. On peut peut-etre esperer faire changer cela en contactant Casio!

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

Sur la Numworks, ca devrait pouvoir se faire. Sur la HP Prime, il y a un probleme de licence GPL, et du fait que giac est le CAS de HP, je suis paradoxalement moins libre que sur les autres calculatrices.

Je viens d'ajouter un module cas, avec une seule commande pour le moment, caseval qui parse et evalue une chaine de caracteres, et renvoie une chaine de carateres (accessible depuis le menu rapide shift-1). Ce qu'il y a de bien, c'est qu'avant de redonner la main au shell, si le resultat est une expression, elle est affichee dans l'editeur d'expression et si c'est un graphe il est affiche egalement.

Code: Select all

from cas import *
caseval("factor(x^4-1)")
caseval("plot(sin(x))")


Je m'interroge sur ce qu'il serait utile de rajouter dans ce module cas. J'ai l'impression que c'est surtout du calcul matriciel avec des listes de listes Python qui auraient un interet, pour fournir un equivalent fonctionnel de numpy. Si on veut juste faire un calcul litteral, caseval devrait suffire, et si on veut vraiment faire du calcul symbolique, autant repasser a l'interpreteur Xcas.

[parisse]

Je viens d'implementer un module turtle natif (en utilisant la tortue de Xcas). Pas encore beaucoup teste, mais le flocon de Koch a l'air de passer.

[parisse]

le module turtle devrait etre complet maintenant, avec des instructions supplementaires dont les traductions en francais des commandes comme dans Xcas, par exemple avance, ce qui parait plus adequat pour faire la transition avec scratch, mieux vaut une tortue bilingue. Et des commandes supplementaires correspondant a des formes remplies: disque, triangle_plein, rectangle_plein, ainsi que des deplacements avec crayon leve temporairement: saut et pas_de_cote.

[Bobb]

C'est bien félicitations

[compsystems]

Sorry for showing an electronic translation in English.

What other possible semantic interpretation alternative could be used to replace CASEVAL( "..." )?

Code: Select all

from cas import *
caseval( "factor( x^4 - 1 )" )
caseval( "plot( sin( x ) )" )

an idea, use the ` symbol

CASEVAL( "..." ) -> ` `

Code: Select all

from cas import *
`factor( x^4 - 1 )`
`plot( sin( x ) )`

The purpose is to make code more compact (clean) and to simplify coding.

[parisse]

???
I will certainly not change the MicroPython lexer/parser. And ` is not on the keyboard anyway, it would require at least 2 keystrokes, perhaps 3, caseval( can be accessed with shift 1 7 (3 keystrokes).

[compsystems]

Hello Mr. Bernard.

This is not about changing the parser, but adding a new alternative way of executing CAS-type statements, since the CASEVAL() statement within a code doesn't look very good, a code of the form `...` looks much better.

form 1 using caseval( "..." )

Code: Select all

from cas import *
caseval( "factor( x^4 - 1 )" )
caseval( "plot( sin( x ) )" )
caseval( "..." )
caseval( "..." )
caseval( "..." )
caseval( "..." )
caseval( "..." )
...
caseval( "..." )

form 2 using `...`

Code: Select all

from cas import *
`factor( x^4 - 1 )`
`plot( sin( x ) )`
`...`
`...`
`...`
`...`
...
`...`


Of course, entering the `...` symbol requires searching for it in a menu. But in the end I think it's worth it.

I don't know what other CAS programmers think to execute statements like this.

it occurs to me that you can use the colon operator, to indicate that you should evaluate a CAS type statement

Code: Select all

from cas import *
:factor( x^4 - 1 )
:plot( sin( x ) )
:...
:...
:...
:...
...
:...


[parisse]

Hello Mr. Bernard.

This is not about changing the parser, but adding a new alternative way of executing CAS-type statements, since the CASEVAL() statement within a code doesn't look very good, a code of the form `...` looks much better.

caseval() is a (Micro-)Python module commandname. ` ` does not mean anything (in Python3). You should understand that It's not something I can modify, because it's not configurable.

[Ti64CLi++]

What parisse meant was that CASEVAL does exist in (Micro-)Python. That's why modifying the way it is used can't be done easily (or at all).

[compsystems]

Now I understand. `` It cannot be interpreted in MicroPython, unless someone modifies the Python kernel or interpreter.
Ultimately, this idea could be applied in hp-prime as an alternative way to evaluate expressions from numeric mode.