On 8/28/06, Richard Fateman <fateman at cs.berkeley.edu> wrote:
> I think that using $ratsimp is hazardous, simply because you can do
> a lot of work, unintentionally. e.g. is(equal((a+b+c)^1000,
> (a+b+c)^1001));
I don't think that's reason enough to forego ratsimp.
ratsimp *might* be expensive but I am 100% certain
that people will be surprised that is(equal(sqrt(n)/n, 1/sqrt(n)))
=> false for some positive integers n.
FWIW
Robert