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

*To*: Mark H Weaver <mhw@x>*Subject*: Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0*From*: Alex Shinn <alexshinn@x>*Date*: Mon, 24 Dec 2012 15:45:33 +0900*Cc*: John Cowan <cowan@x>, scheme-reports <scheme-reports@x>*In-reply-to*: <87obhk7yq6.fsf@tines.lan>*References*: <87bodu4r0r.fsf@tines.lan> <20121216041031.GE10312@mercury.ccil.org> <87pq25yh5s.fsf@tines.lan> <20121219221955.GH4477@mercury.ccil.org> <87d2y5y6fb.fsf@tines.lan> <20121221055315.GB28661@mercury.ccil.org> <87y5grsrvm.fsf@tines.lan> <CAMMPzYMQVzkQFLsgcYAWZaFO__Y13T_kOXD+CrLqVXPQOcjXGw@mail.gmail.com> <20121221171601.GC23915@mercury.ccil.org> <CAMMPzYO5m64sWGQT2b7SSPbm=zRbVT4oEx8E-DoLLATNZxtj_w@mail.gmail.com> <20121222024255.GH8521@mercury.ccil.org> <CAMMPzYOtVMoyiE=ToLHvmNf=Lbq_FOE9v9CcrZoBrcdB_mnoVQ@mail.gmail.com> <87licqr5jz.fsf@tines.lan> <CAMMPzYMU5-h+aLd45Hu2vY-oDeRs4DiHTV9fBfo9RtiTB9ds2w@mail.gmail.com> <87sj6w8jr4.fsf@tines.lan> <CAMMPzYP-=6r5i5+LVy-LYSfnV2fiCN4LAb21d2Ot-cdmQs+PTg@mail.gmail.com> <87obhk7yq6.fsf@tines.lan>

On Mon, Dec 24, 2012 at 3:25 PM, Mark H Weaver <mhw@x> wrote:

> What external representation will you use for these numbers? ForThat's not quite right, but anyway the precise value of this number is

> example, even if you can efficiently handle something like this:

>

> (do ((i 10000000 (- i 1))

> (x 1e300 (expt x x)))

> ((zero? i) (/ x)))

>

> What will you do if someone applies 'number->string' to the

> result?

>

> It will use Conway's chained arrow notation, as mentioned

> in my previous mail.

>

> What you're describing here is just tetration:

>

> (tetrate 1e300 100000000)

not relevant to my point. My question was about how such numbers would

be printed, and your answer was that it might look something like this:

> 1/1e300->1e7->2

My point is that the results of ordinary inexact numerical computations

that are printed 0.0 on virtually every other system will apparently be

printed in a non-standard notation in future Chibi.

Yes, precisely, where normal implementations will produce

+inf.0 or -0.0, chibi will produce finite non-zero values.

In all other cases, numbers in chibi will be normalized to

produce the same output as other implementations. Thus

the difference only arises when IEEE has already

over/underflowed and is giving infinitely incorrect values.

This is purely a win.

--

Alex

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

**References**:**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:*Alex Shinn <alexshinn@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>

**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>

**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:*Alex Shinn <alexshinn@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:*Alex Shinn <alexshinn@x>

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

- Prev by Date:
**Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0** - Next by Date:
**[Scheme-reports] r7rs-draft-n.pdf raw source text?** - 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):