[Date Index] [Thread Index] [Author Index]

Re: Number of roots from Solve?

• To: mathgroup at smc.vnet.net
• Subject: [mg48496] Re: Number of roots from Solve?
• From: Bill Rowe <readnewsciv at earthlink.net>
• Date: Wed, 2 Jun 2004 04:22:04 -0400 (EDT)
• Sender: owner-wri-mathgroup at wolfram.com

On 6/1/04 at 3:02 AM, akoz at mimuw.edu.pl (Andrzej Kozlowski) wrote:

>There are two reasons why I am sure Solve uses Rationalize.  One,
>less important reason is that  in the example that started this
>thread there are  variables that have real exponents: there are no
>algebraic methods for solving such equations. Threfore they have to
>be converted to rationals. You can also check that NSolve will not
>solve these equations.

>Secondly, Solve depends fundamentally on Groebner basis. Grobener
>basis with non-exact coefficients is a very tricky thing. I think
>Daniel Lichtblau actually implemented something like that in
>NSolve, but certainly not in Solve. So there is no doubt that Solve
>has to rationalize equations to use Groebner basis.

>Finally, your example means nothing more than Solve applies N to
>the final result, as you would expect it to do.

Thanks for the explanation
--
To reply via email subtract one hundred and four