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

This page is part of the web mail archives of SRFI 70 from before July 7th, 2015. The new archives for SRFI 70 contain all messages, not just those from before July 7th, 2015.

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