andre maute <andre.maute at gmx.de> writes:
> What i did
>
> -------- snip ----------
> p : 231*x^6/16-315*x^4/16+105*x^2/16-5/16;
>
> z : solve(p=0,x);
>
> z[1];
>
> z1 : radcan(z[1]), algebraic;
> z2 : ratsimp(z[1]), algebraic;
> z3 : ratsimp(rectform(z[1]));
> -------- snip ----------
>
> z1 and z2 contain nevertheless %i.
> z3 introduces trigonometric functions
> which i dislike as much as the %i
>
> i want an expression only involving radicals,
> no %i and no other auxilliary functions
>
> i'm not aware if the trigonometric expressions
> have a representation only involving radicals
> no %i and no other auxilliary functions
>
Actually in z3, all sines and cosines occur in the form
sin(atan(expr)) and cos(atan(expr)) where expr are some expresions
involving square roots. So using pythagorean theorem one can in
principle get an expression involving only radicals from that.
So I guess the next question is: is there a global variable that
setting it true will cause maxima to simplify sin(atan(x)) to
x/sqrt(1-x^2)?
Nikos