[r6rs-discuss] Confusion over |p

From: Alan Watson <alan>
Date: Fri, 29 Jun 2007 10:24:22 -0500

William D Clinger wrote:
> Algorithm
> Bellerophon [6] is parameterized by the precision p,
> and Larceny already implements the necessary floating
> point operations in software [7,8], so it's just a matter
> of running Algorithm Bellerophon for the various values
> of p, starting with the specified precision, until a
> precision p is found that makes the expression true.

Give me a B! Give me a W! Give me an A! Give me an H!

> (I think p = precision should always work, but maybe
> I'm missing something.)

I don't think p = precision should always work. Think of (number->string
1.1 10 1) on an implementation that uses IEEE doubles. I think you need
p = 53, at least under Mike's interpretation of what x|p means.

Regards,

Alan
Received on Fri Jun 29 2007 - 11:24:22 UTC