π
<-

TI-Nspire CAS - découverte du calcul qui explose ta mémoire!

:32tins: :32tinsktpb: :32tinsktpn: :32tinscas: :32tinstpkc: :32tinstpktpb: :32tinstp: :32tinscastp: :32tinscmc: :32tinscx: :32tinscxcas:

TI-Nspire CAS - découverte du calcul qui explose ta mémoire!

Unread postby critor » 30 Sep 2013, 15:42

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! :o
ImageImage


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:
ImageImage


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:
Image


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... :#roll#:



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! :bj:
Image




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...
Image
User avatar
critorAdmin
Niveau 19: CU (Créateur Universel)
Niveau 19: CU (Créateur Universel)
Level up: 48%
 
Posts: 41980
Images: 15887
Joined: 25 Oct 2008, 00:00
Location: Montpellier
Gender: Male
Calculator(s):
MyCalcs profile
YouTube: critor3000
Twitter: critor2000
GitHub: critor

Re: TI-Nspire CAS - découverte du calcul qui explose ta mémo

Unread postby Bisam » 30 Sep 2013, 15:51

Joli ! Il fallait le trouver celui-là...
User avatar
BisamAdmin
Niveau 15: CC (Chevalier des Calculatrices)
Niveau 15: CC (Chevalier des Calculatrices)
Level up: 69.6%
 
Posts: 5670
Joined: 11 Mar 2008, 00:00
Location: Lyon
Gender: Male
Calculator(s):
MyCalcs profile

Re: TI-Nspire CAS - découverte du calcul qui explose ta mémo

Unread postby diot » 30 Sep 2013, 17:17

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
User avatar
diot
Niveau 11: LV (Légende Vivante)
Niveau 11: LV (Légende Vivante)
Level up: 54%
 
Posts: 995
Images: 1
Joined: 05 Sep 2011, 17:20
Gender: Male
Calculator(s):
MyCalcs profile
Class: Prépa PCSI

Re: TI-Nspire CAS - découverte du calcul qui explose ta mémo

Unread postby Lionel Debroux » 30 Sep 2013, 17:56

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...
Membre de la TI-Chess Team.
Co-mainteneur de GCC4TI (documentation en ligne de GCC4TI), TIEmu et TILP.
User avatar
Lionel DebrouxSuper Modo
Niveau 14: CI (Calculateur de l'Infini)
Niveau 14: CI (Calculateur de l'Infini)
Level up: 11.3%
 
Posts: 6865
Joined: 23 Dec 2009, 00:00
Location: France
Gender: Male
Calculator(s):
MyCalcs profile
Class: -
GitHub: debrouxl

Re: TI-Nspire CAS - découverte du calcul qui explose ta mémo

Unread postby Bisam » 30 Sep 2013, 18:16

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.
User avatar
BisamAdmin
Niveau 15: CC (Chevalier des Calculatrices)
Niveau 15: CC (Chevalier des Calculatrices)
Level up: 69.6%
 
Posts: 5670
Joined: 11 Mar 2008, 00:00
Location: Lyon
Gender: Male
Calculator(s):
MyCalcs profile

Re: TI-Nspire CAS - découverte du calcul qui explose ta mémo

Unread postby critor » 30 Sep 2013, 22:22

Autre exemple pour le plaisir:
Image

Ici sous OS 3.1 avec une simplification partielle.
L'OS 3.2 lui ne renvoie aucun résultat pour ce même calcul.
Image
User avatar
critorAdmin
Niveau 19: CU (Créateur Universel)
Niveau 19: CU (Créateur Universel)
Level up: 48%
 
Posts: 41980
Images: 15887
Joined: 25 Oct 2008, 00:00
Location: Montpellier
Gender: Male
Calculator(s):
MyCalcs profile
YouTube: critor3000
Twitter: critor2000
GitHub: critor

Re: TI-Nspire CAS - découverte du calcul qui explose ta mémo

Unread postby diot » 01 Oct 2013, 12:17

c'est pour ça que je reste en 3.1 avant la sortie d'un prochain os digne de ce nom :p
Retrouvez mes programmes et mes cours sur :
https://tiplanet.org/forum/archives_list.php?id=4431&author=1
User avatar
diot
Niveau 11: LV (Légende Vivante)
Niveau 11: LV (Légende Vivante)
Level up: 54%
 
Posts: 995
Images: 1
Joined: 05 Sep 2011, 17:20
Gender: Male
Calculator(s):
MyCalcs profile
Class: Prépa PCSI

Re: TI-Nspire CAS - découverte du calcul qui explose ta mémo

Unread postby Bisam » 02 Oct 2013, 09:37

Après moults recherches, j'ai trouvé le schéma suivant qui fait systématiquement échouer la calculatrice :
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.
User avatar
BisamAdmin
Niveau 15: CC (Chevalier des Calculatrices)
Niveau 15: CC (Chevalier des Calculatrices)
Level up: 69.6%
 
Posts: 5670
Joined: 11 Mar 2008, 00:00
Location: Lyon
Gender: Male
Calculator(s):
MyCalcs profile

Re: TI-Nspire CAS - découverte du calcul qui explose ta mémo

Unread postby Adriweb » 02 Oct 2013, 14:26

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
User avatar
AdriwebAdmin
Niveau 16: CC2 (Commandeur des Calculatrices)
Niveau 16: CC2 (Commandeur des Calculatrices)
Level up: 78.9%
 
Posts: 14744
Images: 1119
Joined: 01 Jun 2007, 00:00
Location: France
Gender: Male
Calculator(s):
MyCalcs profile
Twitter: adriweb
GitHub: adriweb

Re: TI-Nspire CAS - découverte du calcul qui explose ta mémo

Unread postby diot » 02 Oct 2013, 17:24

Vive les profs de maths :D
Retrouvez mes programmes et mes cours sur :
https://tiplanet.org/forum/archives_list.php?id=4431&author=1
User avatar
diot
Niveau 11: LV (Légende Vivante)
Niveau 11: LV (Légende Vivante)
Level up: 54%
 
Posts: 995
Images: 1
Joined: 05 Sep 2011, 17:20
Gender: Male
Calculator(s):
MyCalcs profile
Class: Prépa PCSI

Next

Return to News TI-Nspire

Who is online

Users browsing this forum: ClaudeBot [spider] and 18 guests

-
Search
-
Social TI-Planet
-
Featured topics
Comparaisons des meilleurs prix pour acheter sa calculatrice !
"1 calculatrice pour tous", le programme solidaire de Texas Instruments. Reçois gratuitement et sans aucune obligation d'achat, 5 calculatrices couleur programmables en Python à donner aux élèves les plus nécessiteux de ton lycée. Tu peux recevoir au choix 5 TI-82 Advanced Edition Python ou bien 5 TI-83 Premium CE Edition Python.
Enseignant(e), reçois gratuitement 1 exemplaire de test de la TI-82 Advanced Edition Python. À demander d'ici le 31 décembre 2024.
Aidez la communauté à documenter les révisions matérielles en listant vos calculatrices graphiques !
1234
-
Donations / Premium
For more contests, prizes, reviews, helping us pay the server and domains...
Donate
Discover the the advantages of a donor account !
JoinRejoignez the donors and/or premium!les donateurs et/ou premium !


Partner and ad
Notre partenaire Jarrety Calculatrices à acheter chez Calcuso
-
Stats.
945 utilisateurs:
>903 invités
>34 membres
>8 robots
Record simultané (sur 6 mois):
6892 utilisateurs (le 07/06/2017)
-
Other interesting websites
Texas Instruments Education
Global | France
 (English / Français)
Banque de programmes TI
ticalc.org
 (English)
La communauté TI-82
tout82.free.fr
 (Français)