Page 1 sur 1

simplify

Publié : jeu. avr. 07, 2016 8:42 am
par 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

Re: simplify

Publié : jeu. avr. 07, 2016 9:49 am
par 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.

Re: simplify

Publié : ven. avr. 08, 2016 6:22 am
par 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(...)?

Re: simplify

Publié : ven. avr. 08, 2016 6:41 am
par 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.

Re: simplify

Publié : mer. avr. 20, 2016 12:26 pm
par 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 ?

Re: simplify

Publié : mer. avr. 20, 2016 7:05 pm
par parisse
je ne pense pas...