Learning from reduce?



-----maxima-bounces at math.utexas.edu wrote: -----

>This?one?came?up?on?anther?list?as?an?example?to?try?out?in?reduce:
>
>solve(log(sin(x+3))^5?=?8,x);

>Do?any?of?maxima's?addons?let?it?solve?a?log(trig())?

The to_poly_solver does not solve this equation; there is another solve
function (try load(solver) that I don't know much about. As far as I can
tell, this solver will not solve this equation either.

>Would?it?take?much?effort?to?make?solve()?handle?such?constructs?

You never know until you try. The to_poly_solver is fairly single-minded
in its approach, but it's possible to append new methods to it. If you wrote a 
function that solved some new set of equations, most likely your code could be 
blended into the to_poly_solver.

>(My?upgrade?from?5.22.1?to?5.23.2?will?probably?occur?tonight?(lots?of
>upgrades?this?weekend).??Perhaps?.23?does?better?)

No, definitely no improvements to solve.

--Barton Willis
(author of to_poly_solve)