problème avec une limite

[parisse]

J'ai mis a jour la version windows avec un correctif. Les autres versions binaires attendront la 1.1.2.
La modif du source:

Code : Tout sélectionner

diff gen.cc gen.cc~
6974,6976c6974
<       if (a._REALptr->maybe_zero())
< 	return 0;
<       return a._REALptr->is_positive(); // this is the sign
---
>       return a._REALptr->is_positive() && !a._REALptr->maybe_zero()

[tonton golden]

Merci beaucoup !

La modification avec la version 1.1.1-16 sous windows7 règle presque tout.

Cependant :
limite ( (0.2) ^ n , n , + infinity ) donne bien 0

limite ( (- 0.2) ^ n , n , + infinity ) donne undef
que ce soit en mode exact ou approché ( même en supposant que n est un entier )

Cordialement, TG.

[parisse]

Je ne peux rien y faire, sauf peut-etre executer un exact() implicite sur l'argument de limit. (-0.2)^n est reecrit en exp(n*ln(-0.2)) ou le ln(-0.2) est evalue en un complexe, ensuite +infinty*complexe donne infinity (non signe) et exp dessus renvoie undef. Le traitement est different pour (-1/5)^n qui n'est pas transforme en exp/ln. L'hypothese n entier n'est pas utilisee ici.

[tonton golden]

Pas de souci. Il suffit de le savoir.
La correction apportée est très satisfaisante pour les élèves de première S et terminale S.

[parisse]

je vais essayer de faire un exact() implicite, de toutes facons l'algo de limit n'a reellement de sens qu'avec des donnees exactes, les tests de regression ont l'air de passer, et en plus je pense que geogebra le fait deja.