Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 Mark H Weaver (15 Dec 2012 20:11 UTC)

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 Mark H Weaver 15 Dec 2012 20:10 UTC

I wrote:
> Notationally, 0.0 is an inexact zero and 0 is the exact zero.
> Therefore, in Scheme notation, 1.0 (i.e. 1.0+0i) has a different meaning
> than 1.0+0.0i.  In the case of 1.0, the imaginary part is known to be
> exactly zero, whereas for 1.0+0.0i the imaginary part is merely
> estimated to be approximately zero.

I should mention that Scheme implementations differ in how hard they
work to preserve exactness information.  For example, (log 1) and
(sin 0) might return either 0 or 0.0 depending on the implementation,
and (imag-part 1.0) might return either 0 or 0.0.

In many (most?) implementations, (imag-part 1.0) => 0.0, which means
that some exactness information as been lost.  In such implementations,
1.0 and 1.0+0.0i can be treated as equivalent.

     Mark

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports