Le 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...
TI-Nspire CAS - découverte du calcul qui explose ta mémoire!
13 posts
• Page 1 of 2 • 1, 2
-
critorAdmin
Niveau 19: CU (Créateur Universel)- Posts: 41980
- Images: 15887
- Joined: 25 Oct 2008, 00:00
- Location: Montpellier
- Gender:
- Calculator(s):→ MyCalcs profile
- YouTube: critor3000
- Twitter: critor2000
- GitHub: critor
Re: TI-Nspire CAS - découverte du calcul qui explose ta mémo
Joli ! Il fallait le trouver celui-là...
-
BisamAdmin
Niveau 15: CC (Chevalier des Calculatrices)- Posts: 5670
- Joined: 11 Mar 2008, 00:00
- Location: Lyon
- Gender:
- Calculator(s):→ MyCalcs profile
Re: TI-Nspire CAS - découverte du calcul qui explose ta mémo
extrêmement intéressant. y a des suggestions à faire à ti ...
Retrouvez mes programmes et mes cours sur :
https://tiplanet.org/forum/archives_list.php?id=4431&author=1
https://tiplanet.org/forum/archives_list.php?id=4431&author=1
-
diot
Niveau 11: LV (Légende Vivante)- Posts: 995
- Images: 1
- Joined: 05 Sep 2011, 17:20
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: Prépa PCSI
Re: TI-Nspire CAS - découverte du calcul qui explose ta mémo
Comme les OS Nspire 1.x, AMS 3.10 pour 89T ne se fait pas dessus, lui non plus, pour cet exemple comme pour un autre exemple plus complexe que tu as cité par ailleurs...
Ton expérience montre que les ajouts de bugs étaient déjà en cours avant les flagrances des OS 3.x... et vu que TI préfère faire des protections plutôt que de corriger les bugs, l'OS 3.6 sera probablement pareil...
Ton expérience montre que les ajouts de bugs étaient déjà en cours avant les flagrances des OS 3.x... et vu que TI préfère faire des protections plutôt que de corriger les bugs, l'OS 3.6 sera probablement pareil...
Membre de la TI-Chess Team.
Co-mainteneur de GCC4TI (documentation en ligne de GCC4TI), TIEmu et TILP.
Co-mainteneur de GCC4TI (documentation en ligne de GCC4TI), TIEmu et TILP.
-
Lionel DebrouxSuper Modo
Niveau 14: CI (Calculateur de l'Infini)- Posts: 6865
- Joined: 23 Dec 2009, 00:00
- Location: France
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: -
- GitHub: debrouxl
Re: TI-Nspire CAS - découverte du calcul qui explose ta mémo
On peut remarquer que le calcul fait dans l'autre sens (c'est-à-dire -(b-a) à la place de a-b) ne fait pas planter...
Par contre, j'ai essayé de trouver un cas encore plus simple qui fasse échouer la calculatrice, mais sans succès ! Ce n'est donc pas si fréquent que ça.
Par contre, j'ai essayé de trouver un cas encore plus simple qui fasse échouer la calculatrice, mais sans succès ! Ce n'est donc pas si fréquent que ça.
-
BisamAdmin
Niveau 15: CC (Chevalier des Calculatrices)- Posts: 5670
- Joined: 11 Mar 2008, 00:00
- Location: Lyon
- Gender:
- Calculator(s):→ MyCalcs profile
Re: TI-Nspire CAS - découverte du calcul qui explose ta mémo
Autre exemple pour le plaisir:
Ici sous OS 3.1 avec une simplification partielle.
L'OS 3.2 lui ne renvoie aucun résultat pour ce même calcul.
Ici sous OS 3.1 avec une simplification partielle.
L'OS 3.2 lui ne renvoie aucun résultat pour ce même calcul.
-
critorAdmin
Niveau 19: CU (Créateur Universel)- Posts: 41980
- Images: 15887
- Joined: 25 Oct 2008, 00:00
- Location: Montpellier
- Gender:
- Calculator(s):→ MyCalcs profile
- YouTube: critor3000
- Twitter: critor2000
- GitHub: critor
Re: TI-Nspire CAS - découverte du calcul qui explose ta mémo
c'est pour ça que je reste en 3.1 avant la sortie d'un prochain os digne de ce nom
Retrouvez mes programmes et mes cours sur :
https://tiplanet.org/forum/archives_list.php?id=4431&author=1
https://tiplanet.org/forum/archives_list.php?id=4431&author=1
-
diot
Niveau 11: LV (Légende Vivante)- Posts: 995
- Images: 1
- Joined: 05 Sep 2011, 17:20
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: Prépa PCSI
Re: TI-Nspire CAS - découverte du calcul qui explose ta mémo
Après moults recherches, j'ai trouvé le schéma suivant qui fait systématiquement échouer la calculatrice :
Si on rajoute des calculs à la fin, ça plante également.
Si on en rajoute au début ou au milieu, parfois la calculatrice s'en sort.
Le "pi" et les racines carrées semblent indispensables pour déclencher ce bug.
Voilà où s'arrêtent mes recherches.
- Code: Select all
racine(a)-racine(b)-k*(pi+racine(b)-racine(a))
Si on rajoute des calculs à la fin, ça plante également.
Si on en rajoute au début ou au milieu, parfois la calculatrice s'en sort.
Le "pi" et les racines carrées semblent indispensables pour déclencher ce bug.
Voilà où s'arrêtent mes recherches.
-
BisamAdmin
Niveau 15: CC (Chevalier des Calculatrices)- Posts: 5670
- Joined: 11 Mar 2008, 00:00
- Location: Lyon
- Gender:
- Calculator(s):→ MyCalcs profile
Re: TI-Nspire CAS - découverte du calcul qui explose ta mémo
Hé bien merci, ce sera utile dans un bug report
MyCalcs: Help the community's calculator documentations by filling out your calculators info!
MyCalcs: Aidez la communauté à documenter les calculatrices en donnant des infos sur vos calculatrices !
Inspired-Lua.org: All about TI-Nspire Lua programming (tutorials, wiki/docs...)My calculator programs
Mes programmes pour calculatrices
-
AdriwebAdmin
Niveau 16: CC2 (Commandeur des Calculatrices)- Posts: 14744
- Images: 1119
- Joined: 01 Jun 2007, 00:00
- Location: France
- Gender:
- Calculator(s):→ MyCalcs profile
- Twitter: adriweb
- GitHub: adriweb
Re: TI-Nspire CAS - découverte du calcul qui explose ta mémo
Vive les profs de maths
Retrouvez mes programmes et mes cours sur :
https://tiplanet.org/forum/archives_list.php?id=4431&author=1
https://tiplanet.org/forum/archives_list.php?id=4431&author=1
-
diot
Niveau 11: LV (Légende Vivante)- Posts: 995
- Images: 1
- Joined: 05 Sep 2011, 17:20
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: Prépa PCSI
13 posts
• Page 1 of 2 • 1, 2
Who is online
Users browsing this forum: ClaudeBot [spider] and 18 guests