> -----Message d'origine-----
> De : Barton Willis [mailto:willisb at unk.edu]
> Envoy? : lundi 11 septembre 2006 17:11
> ? : laurent couraud
> Cc : 'Richard Fateman'; maxima at math.utexas.edu
> Objet : Re: [Maxima] RE : solve(a + x - sqrt(x) ,x)
>
>
> It might be useful to have a function that converts
> an algebraic equation into a polynomial equation, where
> the solution set to the algebraic equation is a *subset* of
> the solution set to the polynomial equation. Here is my first
> attempt at such a function---I haven't tested it all that
> much, so I'm sure it has bugs and weaknesses. Maybe somebody
> can test it, extend it, fix it, rewrite it from scratch,
> or ... I think code like is sometimes more naturally
> expressed in Maxima, but I wrote it in Common Lisp.
>
It is the smallest expression which I found with which the bug appears.
(%i1) topoly( b * sqrt(c) / ( d + sqrt( e ) ) = f);
(%o1) e * f^2 + 2 * d * sqrt( e ) * f^2 + d^2 * f^2 - b^2 * c = 0
Many thank for this function.
Laurent.