TI-Nspire CAS - découverte du calcul qui explose ta mémoire!
Posted: 30 Sep 2013, 15:42Le moteur CAS (calcul numérique exact et calcul littéral/formel) de nos TI-Nspire CAS souffre de nombreux bugs, particulièrement dans son mode de calcul numérique exact.
Citons par exemple les fonctions trigonométriques inverses, ou encore les simplifications partielles de quotients de racines carrées à partir de la version 3.2. Si ce dernier accident pourrait être détourné pour effectuer un semblant de calcul par étapes dans certains cas, en pratique le système TI-Nspire CAS n'est pas prévu pour ça et le mélange dans la suite des calculs de résultats à des niveaux divers de simplifications finira par donner nombre d'incohérences ou même de résultats faux.
Dans ce contexte, je ne puis approuver la décision de Texas Instruments d'interdire à partir de son dernier OS (système d'exploitation) 3.2.4 où ces bugs ne sont toujours pas corrigés, le retour à l'OS 3.1 qui marchait beaucoup mieux. Suite à l'actualité récente, j'ai également très peur que l'effort de développement sur le futur OS 3.6 ne se soit concentré sur l'invention de nouvelles protections, interdictions ou limitations, et non à l'amélioration de l'existant... Mais espérons que je me trompe.
Lors de mon travail sur SECDEG_LUA sous l'OS 3.2.0.1212 de 2012 dans une actualité précédente, j'obtenais une erreur avec certains exemples... Je pensais avoir fait une bêtise dans le programme et pourtant non - j'ai donc découvert le calcul auquel ta TI-Nspire CAS refuse de répondre!
Encore un problème avec le calcul numérique exact du moteur CAS puisque ça marche en mode approché, et encore une fois dans le contexte de racines carrées - un simple calcul pouvant être posé dès la Seconde, et voir même dans une bonne Troisième.
Il y a ici un épuisement des ressources de la calculatrice, que l'on peut supposer être causé par une boucle infinie dans les tentatives internes de simplification.
Déjà, ce bug n'a pas été corrigé depuis. Les OS 3.2.0.1219, 3.2.3, 3.2.4 et 3.3 de 2012 et 2013 souffrent du même problème.
Tentons maintenant de remonter le temps pour voir d'où vient ce bug. Petite différence sous l'OS 3.1 de 2011: dans certains cas le système renvoie une réponse partiellement simplifiée avec une mise en garde:
Sans doute cela dépend-il de l'état du travail obtenu au cours de la boucle infinie.
Le même problème était apparemment déjà présent sur les OS 3.0 de 2011.
Je me vois donc forcé de ressortir une vieille TI-Nspire CAS TouchPad pour passer aux systèmes antérieurs. Décidément ça vient de loin...
Petite différence sous l'OS 2.1.1 de 2011 qui adopte à nouveau un comportement similaire aux 3.2, renvoyant une erreur systématique et pas de simplifications partielles:
Pareil sous les OS 2.1.0 et 2.0 de 2010... Décidément, j'espère que l'on ne va pas remonter jusqu'à la TI-92 de 1995 comme ça...
Je suis donc forcé cette fois-ci d'exhumer une antique TI-Nspire CAS ClickPad pour continuer la recherche...
Et bingo! Le système 1.7.2 de 2009 ne recontre lui aucun problème!
Le bug a donc été introduit dans le contexte des modifications apportées au moteur CAS pour la sortie de l'OS 2.0.0 en 2010 il y a plus de trois ans et demi de ça.
Il est hélas impossible d'installer l'OS 1.7 sur les TI-Nspire CX CAS actuelles, et nous regrettons donc que le mode de calcul numérique exact du moteur CAS n'ait apparemment cessé de se dégrader au cours des mises à jour des dernières années.
Même si j'admettrai volontiers que c'est un problème très complexe de faire cohabiter des moteurs de calcul numérique exact et littéral/formel au sein d'un même moteur CAS, il serait toutefois grand temps que l'on voit venir des améliorations sur les bugs déjà connus et signalés...
Citons par exemple les fonctions trigonométriques inverses, ou encore les simplifications partielles de quotients de racines carrées à partir de la version 3.2. Si ce dernier accident pourrait être détourné pour effectuer un semblant de calcul par étapes dans certains cas, en pratique le système TI-Nspire CAS n'est pas prévu pour ça et le mélange dans la suite des calculs de résultats à des niveaux divers de simplifications finira par donner nombre d'incohérences ou même de résultats faux.
Dans ce contexte, je ne puis approuver la décision de Texas Instruments d'interdire à partir de son dernier OS (système d'exploitation) 3.2.4 où ces bugs ne sont toujours pas corrigés, le retour à l'OS 3.1 qui marchait beaucoup mieux. Suite à l'actualité récente, j'ai également très peur que l'effort de développement sur le futur OS 3.6 ne se soit concentré sur l'invention de nouvelles protections, interdictions ou limitations, et non à l'amélioration de l'existant... Mais espérons que je me trompe.
Lors de mon travail sur SECDEG_LUA sous l'OS 3.2.0.1212 de 2012 dans une actualité précédente, j'obtenais une erreur avec certains exemples... Je pensais avoir fait une bêtise dans le programme et pourtant non - j'ai donc découvert le calcul auquel ta TI-Nspire CAS refuse de répondre!
Encore un problème avec le calcul numérique exact du moteur CAS puisque ça marche en mode approché, et encore une fois dans le contexte de racines carrées - un simple calcul pouvant être posé dès la Seconde, et voir même dans une bonne Troisième.
Il y a ici un épuisement des ressources de la calculatrice, que l'on peut supposer être causé par une boucle infinie dans les tentatives internes de simplification.
Déjà, ce bug n'a pas été corrigé depuis. Les OS 3.2.0.1219, 3.2.3, 3.2.4 et 3.3 de 2012 et 2013 souffrent du même problème.
Tentons maintenant de remonter le temps pour voir d'où vient ce bug. Petite différence sous l'OS 3.1 de 2011: dans certains cas le système renvoie une réponse partiellement simplifiée avec une mise en garde:
Sans doute cela dépend-il de l'état du travail obtenu au cours de la boucle infinie.
Le même problème était apparemment déjà présent sur les OS 3.0 de 2011.
Je me vois donc forcé de ressortir une vieille TI-Nspire CAS TouchPad pour passer aux systèmes antérieurs. Décidément ça vient de loin...
Petite différence sous l'OS 2.1.1 de 2011 qui adopte à nouveau un comportement similaire aux 3.2, renvoyant une erreur systématique et pas de simplifications partielles:
Pareil sous les OS 2.1.0 et 2.0 de 2010... Décidément, j'espère que l'on ne va pas remonter jusqu'à la TI-92 de 1995 comme ça...
Je suis donc forcé cette fois-ci d'exhumer une antique TI-Nspire CAS ClickPad pour continuer la recherche...
Et bingo! Le système 1.7.2 de 2009 ne recontre lui aucun problème!
Le bug a donc été introduit dans le contexte des modifications apportées au moteur CAS pour la sortie de l'OS 2.0.0 en 2010 il y a plus de trois ans et demi de ça.
Il est hélas impossible d'installer l'OS 1.7 sur les TI-Nspire CX CAS actuelles, et nous regrettons donc que le mode de calcul numérique exact du moteur CAS n'ait apparemment cessé de se dégrader au cours des mises à jour des dernières années.
Même si j'admettrai volontiers que c'est un problème très complexe de faire cohabiter des moteurs de calcul numérique exact et littéral/formel au sein d'un même moteur CAS, il serait toutefois grand temps que l'on voit venir des améliorations sur les bugs déjà connus et signalés...
