assumptions in solve()



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

>Thanks,??rootscontract??solved?problem,?but?i?think?that??disabling?of?
>sqrt(a*b)?-->?sqrt(a)*sqrt(b)?in?solve()?is?better?solution.

Assuming that powers are the principal powers, rootscontract does simplifications that are not 
valid in the entire complex plane. In the context of the solution to a polynomial system, I would
generally expect rootscontract to map a solution into another solution--nevertheless, be careful 
using rootscontract.

I think you have not given any evidence that solve is changing sqrt(a*b) to sqrt(a) * sqrt(b). 
Neither have you given any evidence that Maxima returns an incorrect solution to your equations.

--Barton