[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0
On Wed, 19 Dec 2012 20:06:28 -0500, Mark H Weaver <mhw@x> said:
> No, several implementations (e.g. SCM, Gauche, Guile before 2.0, and
> probably others) do not even support mixed exactness complex numbers of
> this special kind, so (imag-part 2.0) => 0.0.
Well, I believe that another point of view is preferable, namely,
that (imag-part z) => 0 means that z is (certainly) a real number
and that (imag-part z) => 0.0 means that z is a complex number very
near and possibly, but not necessarily, on the real axis [*].
(Therefore, (imag-part 2.0) => 0.) But that's just my 2/100+0i.
[*] the distinction between +0.0 and -0.0 here is left as an
Vassil Nikolov | Васил Николов | <vnikolov@x>
"Be careful how you fix what you don't understand." (Brooks 2010, 185)
Scheme-reports mailing list