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>