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

*To*: per@xxxxxxxxxxx*Subject*: Re: Wrapping up SRFI-70*From*: Aubrey Jaffer <agj@xxxxxxxxxxxx>*Date*: Wed, 17 Aug 2005 21:58:53 -0400 (EDT)*Cc*: srfi-70@xxxxxxxxxxxxxxxxx*Delivered-to*: srfi-70@xxxxxxxxxxxxxxxxx*In-reply-to*: <4300C50A.5060108@xxxxxxxxxxx> (message from Per Bothner on Mon, 15 Aug 2005 09:38:34 -0700)*References*: <20050810030837.1C5711B77B4@xxxxxxxxxxxxxxxx> <524C370E-9E6F-48A4-ABC8-0E2C8AFEB678@xxxxxxxxxxxxxxx> <42F98CF3.8040805@xxxxxxxxxxx> <20050815021823.42DF31B77B4@xxxxxxxxxxxxxxxx> <4300C50A.5060108@xxxxxxxxxxx>

| Date: Mon, 15 Aug 2005 09:38:34 -0700 | From: Per Bothner <per@xxxxxxxxxxx> | | Aubrey Jaffer wrote: | > I believe that the junking of 0/0 makes SRFI-70 compatible with | > IEEE-754. Do you agree? | | It's a bit awkward. The syntax 0/0 suggests 0/0 is exact. | The 0/0 syntax is extra awkward for an implementation that | defines 1/0 and -1/0 as exact infinities, as Kawa does. SRFI-70 specifies no Scheme notation for 0/0. It is used in the Specification to stand for a numeric error-object (or violation of implementation restriction). | (Exact infinites are an experimental addition in Kawa I won't claim | they're terribly well-specified or justified. I think they can be | useful in some situation, such as sentinel values.) | | I did find some discrepencies between your specification and Kawa: | | #|kawa:21|# (define neg-inf (/ -1.0 0.0)) | #|kawa:22|# neg-inf | #i-1/0 | #|kawa:23|# (log neg-inf) | #i1/0+3.141592653589793i | #|kawa:26|# (sqrt neg-inf) | #i+1/0i | | Kawa allows complex numbers with infinite components. | Whether this is "correct" or accidental I don't know. Non-real numbers with infinite components would all be SRFI-70 error-objects. But SRFI-70 needs to be clearer about this. | Also I got: | | #|kawa:30|# (angle neg-inf) | 0 The result should be pi, the same as (angle -1). | #|kawa:29|# (angle inf) | 0 If inf is inexact, then (angle inf) should be 0.0

**Follow-Ups**:**Re: Wrapping up SRFI-70***From:*Per Bothner

**References**:**Wrapping up SRFI-70***From:*Aubrey Jaffer

**Re: Wrapping up SRFI-70***From:*Bradley Lucier

**Re: Wrapping up SRFI-70***From:*Per Bothner

**Re: Wrapping up SRFI-70***From:*Aubrey Jaffer

**Re: Wrapping up SRFI-70***From:*Per Bothner

- Prev by Date:
**Re: Comments on SRFI 70** - Next by Date:
**Re: Wrapping up SRFI-70** - Previous by thread:
**Re: Wrapping up SRFI-70** - Next by thread:
**Re: Wrapping up SRFI-70** - Index(es):