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

Re: Solve never calls Equal?

• To: mathgroup at smc.vnet.net
• Subject: [mg120320] Re: Solve never calls Equal?
• From: Andrzej Kozlowski <akoz at mimuw.edu.pl>
• Date: Tue, 19 Jul 2011 06:54:27 -0400 (EDT)
• References: <201107150118.VAA23606@smc.vnet.net> <ivovvt$qpa$1@smc.vnet.net> <201107160941.FAA08237@smc.vnet.net> <7BBB2BCC-0234-4BDA-A129-3270EBA623CE@mimuw.edu.pl> <ivuc93$gth$1@smc.vnet.net> <201107181014.GAA26917@smc.vnet.net>

On 18 Jul 2011, at 12:14, Richard Fateman wrote:

> Clearly one cannot, in general, find an
> exact solution to a transcendental equation using rational arithmetic,

> so I was a little surprised by Reduce working just fine, here.

Of course one does not use "arithmetic". You still don't understand what 
is going on here, but I am now at an airport during a break in a long 
flight so won't be able to educated you how it is really done (and why 
your fix "works") just yet. But if you ask nicely, maybe in the future 
;-)

Andrzej Kozlowski

• References:
  • Re: Numerical accuracy/precision - this is a bug or a feature?
    • From: "Christoph Lhotka" <christoph.lhotka@univie.ac.at>
  • Solve never calls Equal?
    • From: Richard Fateman <fateman@cs.berkeley.edu>
  • Re: Solve never calls Equal?
    • From: Richard Fateman <fateman@cs.berkeley.edu>