Re: [Maxima-discuss] Simplification of a trigonometric or exponentialized term

[Roland S. <sal...@gm...>]

Thanks, Barton. That's little better than what I had achieved in (%o20). I did not have the idea to use trigrat, because
the expression resulting from your (%i3) does not have any trigonometric functions left, only square roots.

 

But your result is still far away from the simple expression c. I assume Maxima does not have any guideline regarding to
which is the simplest version of this expression of nested square roots. And in order to verify identity of your (%o4)
with my c, I would have to do it manually. Maxima does not simplfy, if I build the difference of the two, and I don't
see any way how to simplify this difference to zero. But the floats indicate clearly that the terms should be identical.

 

Roland

 

 

 

From: Barton Willis [mailto:wi...@un...] 
Sent: Tuesday, July 18, 2017 3:05 PM
To: Roland Salz; max...@li...
Subject: Re: [Maxima-discuss] Simplification of a trigonometric or exponentialized term

 


Maybe something like:

(%i2) load(ntrig)$
(%i3) a:(-1-cos(4*%pi/5)+%i*sin(4*%pi/5))/(1-cos(4*%pi/5)+%i*sin(4*%pi/5))$

(%i4) trigrat(a);
(%o4) (sqrt(sqrt(5)+5)*(3*sqrt(2)*sqrt(5)-5*sqrt(2))*%i)/20

 

--Barton