Le calcul littéral et formel est un formidable outil de découverte et réelle compréhension des Mathématiques, permettant de porter un tout autre regard sur les problèmes du lycée.
Pour les lycéens passionnés de Mathématiques ou plus précisément d'algèbre, ainsi que pour les poursuites d'études supérieures avec une part significative de Mathématiques, la
Comme il s'agit d'un portage officiel, il est reconnu par le mode examen qui une fois activé peut laisser les fonctionnalités associées accessibles lorsqu'elles sont autorisées, notamment pour la France.
Le seul bémol à cette excellente solution est hélas son prix à 3 chiffres, qui en France fera fuir une large majorité des familles.
Mais
L'application
Il en existait désormais 3 déclinaisons pour cette rentrée 2019 :
Pour les lycéens passionnés de Mathématiques ou plus précisément d'algèbre, ainsi que pour les poursuites d'études supérieures avec une part significative de Mathématiques, la
HP Prime
est un excellent choix. Elle intègre un portage par du moteur de calcul formel GIAC
de son logiciel de Mathématiques intégré Xcas
.Comme il s'agit d'un portage officiel, il est reconnu par le mode examen qui une fois activé peut laisser les fonctionnalités associées accessibles lorsqu'elles sont autorisées, notamment pour la France.
Le seul bémol à cette excellente solution est hélas son prix à 3 chiffres, qui en France fera fuir une large majorité des familles.
Mais
Bernard
a depuis quelques années entamé un formidable travail autour de la démocratisation et l'accessibilité du calcul littéral et formel, avec ses applications KhiCAS
gratuites pour calculatrices de milieu de gamme.L'application
KhiCAS
intègre un portage du moteur de calcul formel GIAC
du logiciel Xcas
, agrémenté de fonctionnalités annexes diverses selon les modèles ciblés.Il en existait désormais 3 déclinaisons pour cette rentrée 2019 :
- KhiCASpourTI-Nspire:
Ce programme étend donc les capacités formelles desTI-Nspire CASau niveau de la, ou rajoute ces mêmes capacités formelles auxHP PrimeTI-Nspirenumériques(non. Il bénéficie d'une interface d'entrée-sortie qui fonctionne d'origine en écriture naturelle.CAS)
Un exemple de capacité additionnelle bénéficiant à la fois auxTI-Nspire CASetTI-Nspirenumériques, c'est la possibilité d'obtenir un tableau d'étude de fonction !
NécessitantNdless, il ne peut donc être installé que sur les seulesTI-Nspire CXen version inférieure à4.5.1, et est à ce jour exclu desTI-Nspire CX II.
En tant que portage non officiel, il sera systématiquement bloqué en mode examen. - KhiCASpourCasio Graph 90+E:
On retrouve ici le moteur de calcul formelGIAC, avec une interface fonctionnant en écriture ligne et ne gérant l'écriture naturelle que sur demande(éditeur d'expression).
Toutefois l'application bénéficie ici de plusieurs compléments fort bienvenus.
D'une part pour une prise en main bien plus autonome, une sélection de commandesGIACest disponible via les menus de bas d'écran.
D'autre part, il est ici possible de créer et exécuter des programmes et la syntaxePythonest gérée avec tout ce qu'il faut, éditeur et coloration syntaxique !
Et en prime, le langage de programmation inclut des commandes de tracé à laScratch/Logo!
Là encore, en tant que portage non officiel, il sera inutilisable en mode examen. - KhiCASpourCasio Graph 35+E II:
La non disponibilité de cette application pour les modèles précédentsetCasio Graph 35+E, s'explique par le fait que la versionGraph 75+EKhiCASoptimisée pour calculatricesprend à ce jour près de 2 Mio, or ces anciens modèles ne disposaient que de 1,5 Mio de capacité de mémoire de stockage. Avec désormais 3 Mio de mémoire de stockage surCasio GraphGraph 35+E II, c'est bon maintenant.
On retrouve exactement les mêmes fonctionnalités que dans la déclinaison.Graph 90+E
Cela n'empêche pas l'application d'avoir été conçue sur mesures, avec des fonctionnalités pertinemment adaptées à l'écran monochrome de laGraph 35+E II. Par exemple, la coloration syntaxique des programmes et ici remplacé par de l'enrichissement syntaxique !
Là encore, en tant que portage non officiel, il sera inaccessible en mode examen.

NumWorks
bénéficie d'une nouvelle révision matérielle avec une puce Flash
de capacité accrue, on passe de 1 Mio à 8 Mio, désormais bien plus qu'il n'en faut.Il n'en fallait pas davantage pour que
Bernard
se remette à faire des miracles, et avec l'aide de et voici venir Delta
! 
Il ne s'agit pas d'une application rajoutable cette fois-ci puisque contrairement à la concurrence la calculatrice
NumWorks
ne permet pas de rajouter des applications à chaud, mais d'un firmware
complet conçu spécifiquement pour ta NumWorks N0110
.Plus précisément, il s'agit d'une reprise du
firmware
officiel, avec remplacement du moteur de calcul par GIAC
.Ce qui signifie non seulement le retour sur ta
NumWorks
du calcul littéral supprimé depuis la version 11, mais aussi plus que ça l'arrivée du calcul formel !L'intégration du moteur
GIAC
s'est visiblement faite dans un grand respect de l'esprit du système NumWorks
, puisque le moteur se fait totalement oublier tant qu'on n'y pense pas. Il ne perturbe pas le fonctionnement normal de l'application Calculs
, où l'on continue à bénéficier de l'affichage mixte des résultats (exact + décimal)
ainsi que de l'affichage naturel pour la saisie et les résultats.Ici encore, un grand soin à été apporté pour une prise en main autonome, avec tout un travail sur la boîte à outils qui liste et documente les fonctions.
Algebre
, avec ce qu'il te faudra pour changer la forme de tes résultats (factorisation réelle ou complexe, décomposition en éléments simples, simplification...)
.Mais ce n'est pas tout, car d'autres menus comme celui
Matrice
se voient rajouter nombre d'éléments, ici entre autre pour l'algèbre linéaire en BAC+1/2 selon les cursus (noyau, valeurs et vecteurs propres, réduction...)
.Bernard
va même jusqu'à corriger la documentation des fonctions qui ont désormais un comportement différent, comme diff(...)
pour la dérivation dans le menu calculs.Et le gros avantage du
firmware
Delta
par rapport aux applications KhiCAS
rajoutées sur TI-Nspire
Casio Graph

Malheureusement, les licences protégeant le code
Il n'est donc pas possible de distribuer le fichier firmware
La contribution a été soumise à
Mais dans le contexte encore fort récent
En attendant le code source est public et, pour une installation moins complexe en attendant mieux, a été rendu disponible via un conteneur
Une dois
NumWorks
et le code Delta
issu de GIAC/KhiCAS/Xcas
, sont incompatibles.Il n'est donc pas possible de distribuer le fichier firmware
Delta
.La contribution a été soumise à
NumWorks
donc espérons qu'elle pourra être intégrée après correction des licences dans un sens ou dans l'autre.Mais dans le contexte encore fort récent
(Juillet dernier)
de la suppression de tout calcul littéral pour s'ouvrir les portes des marchés de nos voisins européens dont les examens interdisent ces fonctionnalités (Royaume-Uni, Pays-Bas, Portugal, Italie...)
, nous doutons qu'une évolution rapide soit possible.En attendant le code source est public et, pour une installation moins complexe en attendant mieux, a été rendu disponible via un conteneur
Docker
.Une dois
Docker
installé, l'unique commande ci-dessous suffira pour construire et flasher le firmware Delta
.Lien Docker
:Commande Docker
:docker run -it --rm --privileged zardam/epsilon-builder https://github.com/zardam/epsilon.git n110-giac
Sources et compléments
: