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

Re: Arithmetic issues - feedback

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

Andre van Tonder <andre@xxxxxxxxxxxxxxxxxxx> writes:

>    I don't know, but a related question:  Does the spec in principle
>    disallow extensions for exact reals that are not exact rationals, 
>    in the sense of Edalat, Potts, etc.?  
>    (See e.g. http://www.doc.ic.ac.uk/~ae/exact-computation/ ).  

If you're asking whether the spec disallows this for the operations
specified in the section on exact arithmetic, then you're right---they
only work on exact rationals.  This is debatable, I guess, but one of
the purposes of that section is to have completely reproducible
arithmetic.  You lose that if you make these operations open-ended.

Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla