simplify

[frederic han]

J'ai un simplify qui ne semble pas loin d'être mieux simplifié:

Code : Tout sélectionner

8>> S:=simplify((sqrt(3)+i)*((-i)*(-1)^(128/21)+i*(-1)^(2/21))/2)
((-i)*(-1)^(128/21)*sqrt(3)+(-1)^(128/21)+i*(-1)^(2/21)*sqrt(3)-(-1)^(2/21))/2
// Time 0.01
9>> simplify(S);// pas mieux
((-i)*(-1)^(128/21)*sqrt(3)+(-1)^(128/21)+i*(-1)^(2/21)*sqrt(3)-(-1)^(2/21))/2
// Time 0.02
10>> normal(S);
0

[parisse]

ca a l'air de marcher si je reecris le (-1)^128/21. Mais un des tests de regression tourne en rond, c'est ereintant d'arriver a tout concilier. Il va arriver un moment ou je vais devoir dire: plus possible de gerer ce cas.

[frederic han]

Ca n'etait pas forcement pour demander un changement juste pour un cas, c'etait plutot que la difference entre les instructions

Code : Tout sélectionner

expand, ratnormal, normal, simplify

n'est pas simple à comprendre, en particulier je pensais que normal(simplify(...)) ne serait jamais different de simplify(...) puisque simplify fait des simplifications algebriques et trancendantes alors que normal se limite aux algebriques. Idem, y a t'il des cas ou simplify(simplify(...)) est different de simplify(...)?

[parisse]

je pense que ca peut arriver comme pour normal(normal()) s'il y a plusieurs extensions algebriques qui se simplifient a la fin, parce que l'etape de reecriture finale ne simplifie pas toujours completement.

[alb]

un truc amusant:
E:=sqrt(754)*cos(-1/2*acos(-352/377))
simplify(tsimplify(E)) renvoie 5
Peut-on obtenir 5 en utilisant une seule fonction ?

[parisse]

je ne pense pas...