Re: infinities reformulated Chongkai Zhu (31 May 2005 07:17 UTC)
Re: infinities reformulated Aubrey Jaffer (31 May 2005 23:47 UTC)
Re: infinities reformulated Thomas Bushnell BSG (02 Jun 2005 15:23 UTC)
Re: infinities reformulated Aubrey Jaffer (02 Jun 2005 16:12 UTC)
Re: infinities reformulated Thomas Bushnell BSG (02 Jun 2005 16:16 UTC)
string->number Aubrey Jaffer (02 Jun 2005 19:10 UTC)
Re: string->number Thomas Bushnell BSG (02 Jun 2005 20:05 UTC)
Re: string->number Aubrey Jaffer (03 Jun 2005 01:59 UTC)
Re: string->number Thomas Bushnell BSG (03 Jun 2005 02:09 UTC)
Re: string->number Aubrey Jaffer (15 Jun 2005 21:10 UTC)
Re: string->number Thomas Bushnell BSG (16 Jun 2005 15:28 UTC)
Re: string->number bear (16 Jun 2005 16:59 UTC)
Re: string->number Aubrey Jaffer (17 Jun 2005 02:16 UTC)
Re: infinities reformulated bear (04 Jun 2005 16:42 UTC)
Re: infinities reformulated Aubrey Jaffer (17 Jun 2005 02:22 UTC)
Re: infinities reformulated bear (19 Jun 2005 17:19 UTC)
Re: infinities reformulated Aubrey Jaffer (20 Jun 2005 03:10 UTC)
Re: infinities reformulated bear (20 Jun 2005 05:46 UTC)
precise-numbers Aubrey Jaffer (26 Jun 2005 01:50 UTC)

Re: string->number Aubrey Jaffer 03 Jun 2005 01:59 UTC

 | From: Thomas Bushnell BSG <xxxxxx@becket.net>
 | Date: Thu, 02 Jun 2005 13:05:29 -0700
 |
 | Aubrey Jaffer <xxxxxx@alum.mit.edu> writes:
 |
 | > Yes, I should have written "inexact numbers".
 |
 | Ok, but when we speak of symbolic "infinite precision" representations
 | of sqrt(2), presumably we are using exact numbers.

No!  My point is that inexact numbers correspond to real number
neighborhoods; and hence have finite precision.

 | > Can number->string return a string which can't be READ as a number?
 | >
 | > I had thought that 6.2.4 "Syntax of numerical constants" and 7.1.1
 | > "Lexical structure" applied to the results of NUMBER->STRING.  If they
 | > are independent, a note about that should be added to the report.
 |
 | I think they do, but implementations certainly can extend the syntax
 | of numbers if they wish (provided that NUMBER->STRING, STRING->NUMBER,
 | and READ all behave in the expected way).

The three groups of features dealing with numerical representation
are:

 * number->string, string->number;

 * read, write, display;

 * numerical constants.

 Section 6.2.3 Implementation restrictions:

   Although Scheme allows a variety of WRITTEN NOTATIONS for numbers,
   any particular implementation may support only some of them.

 Section 6.2.4 Syntax of numerical constants

   The syntax of the WRITTEN REPRESENTATIONS for numbers is described
   formally in section Lexical structure.

 Section 6.2.6 Numerical input and output

   The procedure `number->string' takes a number and a radix and
   returns as a string an EXTERNAL REPRESENTATION of the given number
   in the given radix such that ...

 Section 6.6.2 Input:

   `Read' converts EXTERNAL REPRESENTATIONs ...

 Section 6.6.3 Output:

   `Write' and `display' create WRITTEN REPRESENTATIONs.

The text in section 6.2.6 specifies that `number->string' produces an
EXTERNAL REPRESENTATION.  Thus the numerical representations produced
by `number->string' have the same notation as numerical constants.
`Read' converts EXTERNAL REPRESENTATIONs, so it also has the same
notation as numerical constants.

`number->string' and `string->number' are constrained to use the same
representations.

The relation between the forms `read' and `write'n is not explicitly
stated, but is reasonably assumed to be the same.