infini

[Guillaume]

Bonsoir,

est-ce que par hasard il y a eu dans la version 1.1 un changement dans le traitement de l'infini (en particulier de son signe) ?

[parisse]

Rien de volontaire en tout cas, qu'est-ce qui ne fonctionne plus comme avant?

[Guillaume]

Je vais regarder dans le détail ce week-end mais avec tablor, les calculs de limites infinies ne semblent plus signés donc les comparaisons qui impliquent un infini ne fonctionnent plus.

[frederic han]

je ne remarque pas grand chose: en 1.1 il y a une reponse infinity

Code : Tout sélectionner

10>> limit(x^2/(1+x), x=infinity)
Attention, infinity n'a pas de signe, essayez peut-être +infinity
infinity

alors qu'en 1.0.0 ca ne retourne rien, mais affiche le warning.

[Guillaume]

Ça y est, j'ai trouvé un bug poilu :

Code : Tout sélectionner

f(x) :=  -1/6 * (x - 3)^2 + 2:;
Z := [-infinity,3,4]:;
limit(f(x),x = Z[0],1);
limit(f(x),x = -infinity,1)

La première limite donne infinity + 2 et la deuxième -infinity ...

Même problème avec

Code : Tout sélectionner

f(x) := 1/x:; Z := [0 , + infinity]:; limit(f(x),x = Z[0],1); limit(f(x),x = 0,1)

qui renvoie infinity dans le premier cas et + infinity dans le second

[alb]

on dirait que c'est correct avec limit(f(x),x,Z[0],1);

[parisse]

je vois, c'est une victime latérale d'une petite modif de limit que j'ai faite pour geogebra à l'origine. On va rajouter un test et ça devrait refonctionner...

[Guillaume]

Merci ! ! Ça m'évitera de changer tous les "limit"....

[Guillaume]

J'ai quand même changé tous les "limit" par prudence...
mais depuis la dernière version de giac, un nouveau problème apparaît :

Code : Tout sélectionner

>> sort([+infinity,3,1000,-infinity])
[3,1000,-infinity,+infinity]

pourtant

Code : Tout sélectionner

>> - infinity < 3
vrai

[alb]

la version en test recente (1.1.0-15) me renvoie [-infinity,3,1000,+infinity]

[Guillaume]

la version en test recente (1.1.0-15) me renvoie [-infinity,3,1000,+infinity]

tant mieux : il n'y a plus qu'à attendre que la version test se stabilise...

[Guillaume]

la version en test recente (1.1.0-15) me renvoie [-infinity,3,1000,+infinity]

tant mieux : il n'y a plus qu'à attendre que la version test se stabilise...

En fait, le bug observé est avec la 1.1.0-16

[alb]

exact ! j'avais un temps de retard

[parisse]

Surement a cause des changements que me demande geogebra. Curieusement, ca a l'air de marcher avec mon source, donc ca devrait etre corrige pour la 1.1.0-17.

[xavier]

Bonjour,

Le souci est toujours là avec la version 1.1.0-17 amd64 pour tablor.

Bon, c'est pas dramatique, il suffit de les changer à la main, mais c'est dommage, à moins que Guillaume soumette des changements dans tablor.

En tout cas, merci pour Xcas.