cos/sin(pi/12)

[parisse]

Attention, les valeurs renvoyees par cos/sin(pi/12) ou s'y ramenant sont 2 fois trop grandes en mode exact dans la version 0.9.0. Ce bug n'affecte pas les versions binaires (basees sur la 0.8.6).

[alb]

Question sûrement hors sujet ici,
pourquoi cos(pi/8) ne renvoie pas sqrt((1+(sqrt(2))/2)/2) ou un rootof ?

[alb]

Est-ce parce que Ferrari n'est pas implémentée ?

[parisse]

Non, car cos(pi/12) par exemple, est lu dans une table. Pour cos(pi/8) ça nécessiterait un test supplémentaire, car pi/8 n'est pas un multiple de pi/12, alors que toutes les lignes trigo dont les valeurs exactes sont données le sont. Et comme il faut bien s'arrêter à un moment... disons que c'est pratique de s'arrêter là (on pourrait évidemment avoir une formule générale avec des rootof de polynomes de Tchebycheff mais ça serait très lent pour calculer).

[alb]

Voulez vous dire que cos(pi/12) renvoie une valeur exacte ?
Sur une version 0.8.5 ça ne renvoie rien.

[parisse]

oui, mais en version 0.9.0, sous réserves que ça ne crée pas d'effets de bord.