0.9.4 et simplifications

[frederic han]

salut,
normal simplifie moins qu'avant:

normal((sqrt(5)/2+1/2)^19-((-sqrt(5)+1)/2)^19/sqrt(5))

(1514668032*sqrt(5)+8867020800)/1310720

c'est voulu?

Fred

[alb]

En appliquant 2 fois normal, on a le resultat:
normal(normal((sqrt(5)/2+1/2)^19-((-sqrt(5)+1)/2)^19/sqrt(5))

[parisse]

j'ai du faire une boulette alors, j'avais justement essaye de corrige la necessite de faire 2 fois normal, pour des trucs du genre sqrt(3)*sqrt(15), je regarderai la semaine prochaine...

[parisse]

Il semble que c'est parce que j'ai supprime une des simplifications de normal a un endroit. Le coeur du probleme c'est que quand on calcule (n/d)^k=n^k/d^k avec n/d fraction simplifiee, la fraction n^k/d^k n'est pas forcement simplifiee si n est une extension algebrique, je rajoute un test et je simplifie a ce niveau, j'espere que ca resoudra le probleme.

[cfm]

Bonjour,

A ce propos existe-t-il un document de synthèse présentant les algorithmes employés, le codage retenu, les idées principales de giac ?
Par exemple comment suivre à la trace les fonctions qui transforment et simplifient les expressions trigonométriques, etc.

Bien cordialement.

F.

[parisse]

Il y a quelques infos dans le Manuel->algorithmes, mais c'est très loin de tout couvrir, après il faut regarder dans le source les commentaires.