[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*To*: Alex Shinn <alexshinn@x>*Subject*: Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0*From*: Mark H Weaver <mhw@x>*Date*: Wed, 19 Dec 2012 20:06:28 -0500*Cc*: John Cowan <cowan@x>, scheme-reports <scheme-reports@x>*In-reply-to*: <CAMMPzYP_=CbUkLJOHQbrqYQCRtrvU8PC36D-OQyMe0DyVZbp0g@mail.gmail.com> (Alex Shinn's message of "Thu, 20 Dec 2012 09:06:58 +0900")*References*: <20121214223854.GX29857@mercury.ccil.org> <CAGUt3y55KEVFn=6_i9yRXR8w_e8Nk2tN7QGCF8rEhYTs2Xgrjw@mail.gmail.com> <878v8z5iq8.fsf@tines.lan> <874njn5b65.fsf@tines.lan> <20121215204015.GG13463@mercury.ccil.org> <87obhv3ts0.fsf@tines.lan> <20121215231548.GC10312@mercury.ccil.org> <87bodu4r0r.fsf@tines.lan> <20121216041031.GE10312@mercury.ccil.org> <87pq25yh5s.fsf@tines.lan> <20121219221955.GH4477@mercury.ccil.org> <CAMMPzYP_=CbUkLJOHQbrqYQCRtrvU8PC36D-OQyMe0DyVZbp0g@mail.gmail.com>

Alex Shinn <alexshinn@x> writes: > On Thu, Dec 20, 2012 at 7:19 AM, John Cowan <cowan@x> > wrote: > > Mark H Weaver scripsit: > > > My point is that your ComplexRepresentation page states that > Guile and > > Racket do not support complex numbers of mixed exactness, but > that's not > > quite true. There is one important special case of mixed > exactness that > > *is* supported in Guile, Racket, Ikarus, and perhaps others. > > In that case, *every* Scheme that supports inexact reals at all, a > priori > supports complex numbers of mixed exactness such that the > imag-part is 0. > > I love this reasoning. So every Scheme supports mixed exactness > quaternions. What a progressive language. 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. If these implementations supported quaternions, the natural extrapolation of this policy would be to return 0.0 for all three imaginary components of an inexact real number. Mark _______________________________________________ Scheme-reports mailing list Scheme-reports@x http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports

**Follow-Ups**:**Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0***From:*Vassil Nikolov <vnikolov@x>

**References**:**Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0***From:*John Cowan <cowan@x>

**Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0***From:*Sascha Ziemann <ceving@x>

**Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0***From:*Mark H Weaver <mhw@x>

**Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0***From:*Mark H Weaver <mhw@x>

**Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0***From:*John Cowan <cowan@x>

**Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0***From:*Mark H Weaver <mhw@x>

**Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0***From:*John Cowan <cowan@x>

**Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0***From:*Mark H Weaver <mhw@x>

**Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0***From:*John Cowan <cowan@x>

**Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0***From:*Mark H Weaver <mhw@x>

**Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0***From:*John Cowan <cowan@x>

**Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0***From:*Alex Shinn <alexshinn@x>

- Prev by Date:
**Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0** - Next by Date:
**Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0** - Previous by thread:
**Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0** - Next by thread:
**Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0** - Index(es):