π
<-
Chat plein-écran
[^]

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!

Message non lude 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
Avatar de l’utilisateur
critorAdmin
Niveau 19: CU (Créateur Universel)
Niveau 19: CU (Créateur Universel)
Prochain niv.: 42.6%
 
Messages: 41501
Images: 14719
Inscription: 25 Oct 2008, 00:00
Localisation: Montpellier
Genre: Homme
Calculatrice(s):
MyCalcs profile
YouTube: critor3000
Twitter/X: critor2000
GitHub: critor

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

Message non lude Bisam » 30 Sep 2013, 15:51

Joli ! Il fallait le trouver celui-là...
Avatar de l’utilisateur
BisamAdmin
Niveau 15: CC (Chevalier des Calculatrices)
Niveau 15: CC (Chevalier des Calculatrices)
Prochain niv.: 69.6%
 
Messages: 5665
Inscription: 11 Mar 2008, 00:00
Localisation: Lyon
Genre: Homme
Calculatrice(s):
MyCalcs profile

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

Message non lude 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
Avatar de l’utilisateur
diot
Niveau 11: LV (Légende Vivante)
Niveau 11: LV (Légende Vivante)
Prochain niv.: 54%
 
Messages: 995
Images: 1
Inscription: 05 Sep 2011, 17:20
Genre: Homme
Calculatrice(s):
MyCalcs profile
Classe: Prépa PCSI

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

Message non lude 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.
Avatar de l’utilisateur
Lionel DebrouxSuper Modo
Niveau 14: CI (Calculateur de l'Infini)
Niveau 14: CI (Calculateur de l'Infini)
Prochain niv.: 11.2%
 
Messages: 6859
Inscription: 23 Déc 2009, 00:00
Localisation: France
Genre: Homme
Calculatrice(s):
MyCalcs profile
Classe: -
GitHub: debrouxl

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

Message non lude 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.
Avatar de l’utilisateur
BisamAdmin
Niveau 15: CC (Chevalier des Calculatrices)
Niveau 15: CC (Chevalier des Calculatrices)
Prochain niv.: 69.6%
 
Messages: 5665
Inscription: 11 Mar 2008, 00:00
Localisation: Lyon
Genre: Homme
Calculatrice(s):
MyCalcs profile

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

Message non lude 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
Avatar de l’utilisateur
critorAdmin
Niveau 19: CU (Créateur Universel)
Niveau 19: CU (Créateur Universel)
Prochain niv.: 42.6%
 
Messages: 41501
Images: 14719
Inscription: 25 Oct 2008, 00:00
Localisation: Montpellier
Genre: Homme
Calculatrice(s):
MyCalcs profile
YouTube: critor3000
Twitter/X: critor2000
GitHub: critor

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

Message non lude 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
Avatar de l’utilisateur
diot
Niveau 11: LV (Légende Vivante)
Niveau 11: LV (Légende Vivante)
Prochain niv.: 54%
 
Messages: 995
Images: 1
Inscription: 05 Sep 2011, 17:20
Genre: Homme
Calculatrice(s):
MyCalcs profile
Classe: Prépa PCSI

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

Message non lude 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: Tout sélectionner
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.
Avatar de l’utilisateur
BisamAdmin
Niveau 15: CC (Chevalier des Calculatrices)
Niveau 15: CC (Chevalier des Calculatrices)
Prochain niv.: 69.6%
 
Messages: 5665
Inscription: 11 Mar 2008, 00:00
Localisation: Lyon
Genre: Homme
Calculatrice(s):
MyCalcs profile

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

Message non lude Adriweb » 02 Oct 2013, 14:26

Hé bien merci, ce sera utile dans un bug report :)
Image

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...)
Avatar de l’utilisateur
AdriwebAdmin
Niveau 16: CC2 (Commandeur des Calculatrices)
Niveau 16: CC2 (Commandeur des Calculatrices)
Prochain niv.: 80.3%
 
Messages: 14617
Images: 1218
Inscription: 01 Juin 2007, 00:00
Localisation: France
Genre: Homme
Calculatrice(s):
MyCalcs profile
Twitter/X: adriweb
GitHub: adriweb

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

Message non lude 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
Avatar de l’utilisateur
diot
Niveau 11: LV (Légende Vivante)
Niveau 11: LV (Légende Vivante)
Prochain niv.: 54%
 
Messages: 995
Images: 1
Inscription: 05 Sep 2011, 17:20
Genre: Homme
Calculatrice(s):
MyCalcs profile
Classe: Prépa PCSI

Suivante

Retourner vers News TI-Nspire

Qui est en ligne

Utilisateurs parcourant ce forum: Aucun utilisateur enregistré et 157 invités

-
Rechercher
-
Social TI-Planet
-
Sujets à la une
Comparaisons des meilleurs prix pour acheter sa calculatrice !
Aidez la communauté à documenter les révisions matérielles en listant vos calculatrices graphiques !
Phi NumWorks jailbreak
123
-
Faire un don / Premium
Pour plus de concours, de lots, de tests, nous aider à payer le serveur et les domaines...
Faire un don
Découvrez les avantages d'un compte donateur !
JoinRejoignez the donors and/or premium!les donateurs et/ou premium !


Partenaires et pub
Notre partenaire Jarrety Calculatrices à acheter chez Calcuso
-
Stats.
1706 utilisateurs:
>1696 invités
>4 membres
>6 robots
Record simultané (sur 6 mois):
6892 utilisateurs (le 07/06/2017)
-
Autres sites intéressants
Texas Instruments Education
Global | France
 (English / Français)
Banque de programmes TI
ticalc.org
 (English)
La communauté TI-82
tout82.free.fr
 (Français)