From: fateman@cs.berkeley.edu   
      
   On 11/5/2016 4:35 PM, IV wrote:   
   > How can I solve a bit more complex radical equations in Maple or   
   > Mathematica?   
   >   
   > An example:   
   > p0 + p1*y + p2*y^2 - x = (y - sqrt(a0 + a1*x + a2*x^2)) * (y - sqrt(b0 +   
   > b1*x + b2*x^2))   
   > solve(%,{a0,a1,a2,b0,b1,b2}) seems to be not the right way.   
   > I need a procedure that collects the equations for the coefficients of   
   > each power of x and solves this radical equations automatically.   
   >   
   >   
      
   usually you isolate one of the sqrts and square both sides.   
   isolate the other sqrt, and square both sides.   
   then you have a polynomial equation of substantial degree in x,y,p1,p2..   
     which you can either solve or not.   
      
   Given the vagueness of your second question, it is probably the case   
   that algorithms don't exist for your class of functions.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)