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

*To*: schlie@xxxxxxxxxxx*Subject*: Re: Nitpick with FLOOR etc.*From*: Aubrey Jaffer <agj@xxxxxxxxxxxx>*Date*: Mon, 18 Jul 2005 14:25:23 -0400 (EDT)*Cc*: srfi-70@xxxxxxxxxxxxxxxxx*Delivered-to*: srfi-70@xxxxxxxxxxxxxxxxx*In-reply-to*: <BF009941.ADC0%schlie@xxxxxxxxxxx> (message from Paul Schlie on Sun, 17 Jul 2005 23:24:49 -0400)*References*: <BF009941.ADC0%schlie@xxxxxxxxxxx>

| Date: Sun, 17 Jul 2005 23:24:49 -0400 | From: Paul Schlie <schlie@xxxxxxxxxxx> | | > From: Paul Schlie <schlie@xxxxxxxxxxx> | >> The possibility that systems may implement exact infinities rules out | >> having the error be with INEXACT->EXACT (passed real infinities). | | - maybe that implies that infinities and their reciprocals are in a | class by themselves, as neither are warranted to have some minimal | precision, as both exact and inexact representations have, but | rather represent an underflow of the minimal precision otherwise | warranted, thereby effectively representing the bounds of an | implementation's exact/inexact representations? Infinity as a number is not what SRFI-70 is about. In it, inexact numbers are real neighborhoods and inexact infinities are real half-lines. These semantics seem to be working well; but they are not applicable to exact numbers. See SRFI-73 for infinity-as-number. | ... | | Thereby it becomes possible that: | | (inexact->exact #i1/0) => #i1/0 What would (exact->inexact #e+/0) return? | Merely indicating the value was greater in magnitude than the greatest | representable inexact value, but less than the greatest representable | exact value, but without a minimally sufficient resolvable precision? | | Implying something along the line of: | | #e-1/0 .. #e-xxx .. #e-0/1 0 ... | | | | | | | #i-1/0 .. #i-xxx .. #i-0/1 0 ... Which problem in SRFI-70 does adding two more real infinities solve?

**Follow-Ups**:**Re: Nitpick with FLOOR etc.***From:*Paul Schlie

**References**:**Re: Nitpick with FLOOR etc.***From:*Paul Schlie

- Prev by Date:
**Re: Nitpick with FLOOR etc.** - Next by Date:
**Re: Nitpick with FLOOR etc.** - Previous by thread:
**Re: Nitpick with FLOOR etc.** - Next by thread:
**Re: Nitpick with FLOOR etc.** - Index(es):