[Date Index] [Thread Index] [Author Index]
Re: Number of roots from Solve?
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