A few questions about solve and exact polynomial roots





> http://en.wikipedia.org/wiki/Casus_irreducibilis#Non-algebraic_solution_in_terms_of_real_quantities<http://en.wikipedia.org/wiki/Casus_irreducibilis#Non-algebraic_solution_in_terms_of_real_quantities>;
> (and here)
> http://en.wikipedia.org/wiki/Cubic_function#Trigonometric_.28and_hyperbolic.29_method<http://en.wikipedia.org/wiki/Cubic_function#Trigonometric_.28and_hyperbolic.29_method>;

> Anyways, I am wondering if maxima natively supports
> (1) Returning non-algebraic solutions from its solving system, especially if they are simplier.

Maxima doesn't have a user option that switches between solutions of cubic in terms of radicals or solutions in terms of
trig-like functions. If you have a heuristic in mind for doing this, it might be worthwhile to try.

> (2) Some combination of trig simplification rules to recover the simple form given in the above link.
> I suppose users could manually use the above identities when applicable, but they would have to be aware of it.

Likely Maxima has the tools to do things like this, but the various functions might need to be composed.

--Barton