Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0

Show/hide message thread

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 John Cowan (15 Dec 2012 20:40 UTC)

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

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 John Cowan (15 Dec 2012 23:18 UTC)

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

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 John Cowan (16 Dec 2012 04:11 UTC)

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

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 John Cowan (19 Dec 2012 22:20 UTC)

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

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 John Cowan (21 Dec 2012 05:54 UTC)

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 Per Bothner (21 Dec 2012 06:20 UTC)

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

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 leppie (21 Dec 2012 09:11 UTC)

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

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 leppie (21 Dec 2012 10:59 UTC)

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

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 leppie (21 Dec 2012 15:08 UTC)

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 leppie (21 Dec 2012 15:09 UTC)

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 John Cowan (21 Dec 2012 16:17 UTC)

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

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 John Cowan (21 Dec 2012 19:58 UTC)

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 Alex Shinn (21 Dec 2012 12:35 UTC)

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 John Cowan (21 Dec 2012 17:16 UTC)

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 Alex Shinn (22 Dec 2012 02:41 UTC)

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 John Cowan (22 Dec 2012 02:43 UTC)

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 Alex Shinn (22 Dec 2012 02:45 UTC)

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 John Cowan (21 Dec 2012 18:34 UTC)

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 Alex Shinn (21 Dec 2012 12:45 UTC)

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 Alex Shinn (20 Dec 2012 00:07 UTC)

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

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 Vassil Nikolov (20 Dec 2012 04:07 UTC)

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 John Cowan (20 Dec 2012 21:52 UTC)

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0 John Cowan (20 Dec 2012 15:23 UTC)

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

leppie <xacc.ide@gmail.com> writes:
> IronScheme does not support mixed-exactness complex numbers.

Apparently it does when the imaginary part is exact zero.
If you doubt this, evaluate the following expression:

  (let ((x 2.0))
    (and (complex? x)
         (inexact? (real-part x))
         (exact?   (imag-part x))))

> From what I recall, make-rectangular deals with some of those cases,
> which again might need to be revisited for correctness.
>
> I only added support for -0.0 much later and I suspect +/-0.0 was
> treated as 'exact-zero?'

The results you reported for my tests indicate that you handle those
cases correctly.  The last three tests check for that.

    Regards,
      Mark

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