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 HP Prime est un excellent choix. Elle intègre un portage par Bernard Parisse 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 :
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 Bernard Parisse 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 :
- KhiCAS pour TI-Nspire :
Ce programme étend donc les capacités formelles des TI-Nspire CAS au niveau de la HP Prime, ou rajoute ces mêmes capacités formelles aux TI-Nspire numériques (non CAS). Il bénéficie d'une interface d'entrée-sortie qui fonctionne d'origine en écriture naturelle.
Un exemple de capacité additionnelle bénéficiant à la fois aux TI-Nspire CAS et TI-Nspire numériques, c'est la possibilité d'obtenir un tableau d'étude de fonction !
Nécessitant Ndless, il ne peut donc être installé que sur les seules TI-Nspire CX en version inférieure à 4.5.1, et est à ce jour exclu des TI-Nspire CX II.
En tant que portage non officiel, il sera systématiquement bloqué en mode examen. - KhiCAS pour Casio Graph 90+E :
On retrouve ici le moteur de calcul formel GIAC, 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 commandes GIAC est 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 syntaxe Python est 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é à la Scratch/Logo !
Là encore, en tant que portage non officiel, il sera inutilisable en mode examen. - KhiCAS pour Casio Graph 35+E II :
La non disponibilité de cette application pour les modèles précédents Casio Graph 35+E et Graph 75+E, s'explique par le fait que la version KhiCAS optimisée pour calculatrices Casio Graph prend à 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 sur Graph 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 la Graph 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.
Pour cette rentrée 2019, la 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 Jean-Baptiste Boric et zardam 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.
On y retrouve par exemple un nouveau menu 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...).
Méticuleusement, Bernard va même jusqu'à corriger la documentation des fonctions qui ont désormais un comportement différent, comme
Et le gros avantage du firmware Delta par rapport aux applications KhiCAS rajoutées sur TI-Nspire ou Casio Graph, c'est que ses fonctionnalités de calcul formel cette fois-ci intégrées restent disponibles en mode examen !
Il n'en fallait pas davantage pour que Bernard se remette à faire des miracles, et avec l'aide de Jean-Baptiste Boric et zardam 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.
On y retrouve par exemple un nouveau menu 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...).
Méticuleusement, 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 ou Casio Graph, c'est que ses fonctionnalités de calcul formel cette fois-ci intégrées restent disponibles en mode examen !
Malheureusement, les licences protégeant le code 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.
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 : https://hub.docker.com/r/zardam/epsilon-builder
Commande Docker :
docker run -it --rm --privileged zardam/epsilon-builder https://github.com/zardam/epsilon.git n110-giac
Sources et compléments : viewtopic.php?f=97&t=22870&start=50#p244721 , viewtopic.php?f=97&t=22870&start=70#p244750 et posts suivants à chaque fois