Un cadeau de Noêl:tablor et ses ln

[alb]

Il semble qu'on ne puisse pas construire correctement un tableau de variations avec tablor et giac 0.9.1. Guillaume confirme que ça marche avec la 0.8.5
le problème apparait avec des ln. Exemple:
le tableau de 1-x^2-ln(x) sur 0..8 renvoie pour l'image de 8 la valeur 1/(1/(8(e^1)^63)),
il y a donc 1/E au lieu de ln(E), cette erreur se retrouve partout.
Autre remarque:
on arrive à construire les tableaux de x+ln(x), de ln(x)/x mais pas celui de x+ln(x)/x.
Bonnes fêtes.

[parisse]

Est-il possible d'avoir la commande giac qui provoque l'erreur?

[alb]

Il faudrait que guillaume intervienne sur ce fil.
Il semble que ce soit simplifier qui fait la différence.
Voici deux ou trois choses que je constate:
pour f(x):=ln(x)/x simplifier(f(8)) donne dans xcas (ln(8))/8 et l'image de 8 dans tablor est identique.
pour f(x):=1+ln(x)/x simplifier(f(8)) donne dans xcas (ln(8)+8)/8, même chose pour l'image de 8 dans tablor.
pour f(x):=1-x+ln(x) simplifier(f(8)) donne:
1) avec la 0.9.1, ln(8/(exp(1)^7)) sur xcas mais 1/(8/(exp(1)^7)) dans le tableau de variations
2) avec la 0.8.5, ln(8/(exp(1)^7)) dans les deux cas.

[alb]

J'ai testé avec f(x):=1-2x+ln(x);simplifier(f(nombre));
Si xcas renvoie une expression du type ln(a/(b*e^c)) alors dans le fichier metapost c'est 1/(a/(b*e^c))
c'est le cas par exemple si nombre=entier ou 3/2 ou 5/2 ou 7/2 etc
Par contre avec nombre=e ou 1/4 ou 1/2 ou 1/3 ou 2/3 ou 5/4 etc xcas et metapost renvoient la même chose.

[Guillaume]

Bonjour,

même pas le temps de profiter du papa noël...
Comme dit sur le forum tablor, est-ce que les commandes ont été testées sur xcas ou sur giac ?

Code : Tout sélectionner

moi@moi-bur:~$ giac
// Using locale /usr/local/share/locale/
// fr_FR.UTF-8
// /usr/local/share/locale/
// giac
// UTF-8
// Using keyword file /usr/local/share/giac/doc/fr/keywords
Help file /usr/local/share/giac/doc/fr/aide_cas not found
Added 147 synonyms
Welcome to giac readline interface
(c) 2001,2008 B. Parisse & others
Homepage http://www-fourier.ujf-grenoble.fr/~parisse/giac.html
Released under the GPL license 3.0 or above
See http://www.gnu.org for license details
-------------------------------------------------
Press CTRL and D simultaneously to finish session
Type ?commandname for help
0>> f(x):=1-x^2-ln(x); f(8);simplifier(f(8))
// Parsing f
// Success compiling f
 (x)->1-x^2-ln(x),-63-ln(8),ln(1/(8*exp(1)^63))

// Time 0
1>>

[parisse]

J'obtiens la même chose sous xcas (probablement via un appel de simplify à lncollect qui renvoie le 64 dans le ln).

[Guillaume]

Bonsoir et bonne année, pleine de succès pour xcas et son papa...

Bon, j'ai réussi à installer xcas via le paquet deb.

Il semble que ce soit la passage par la commande "latex" qui créé un problème:

Code : Tout sélectionner

3>> f(x):=cos(x)-sin(x)
// Parsing f
// Success compiling f
 (x)->cos(x)-sin(x)


4>> S:=solve(f(x)=1/2)
[-2*atan(1/3*(2+sqrt(7))),-2*atan(1/3*(2-sqrt(7)))]


5>> latex(simplifier(S[1]))
"-\left(2 \frac{1}{\frac{(-\left(\sqrt{7}\right)+2)}{3}}\right)"


6>> (simplifier(S[1]))
-2*atan((-sqrt(7)+2)/3)

Pas mal de commandes sont maintenant effacées suite à l'action de latex (atan, ln, exp, etc.)

[parisse]

Merci pour les voeux et pareillement!
Et bravo pour le coup d'oeil, il y a bien un bug dans la sortie latex, ligne 1033 de tex.cc ca devrait être un && pas un ||, il faut que je voie pourquoi j'avais mis un ||