[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Arithmetic issues - feedback
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