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

Re: [Scheme-reports] More NaN and Infsanity

Jussi Piitulainen scripsit:

> The construction of the Stern-Brocot tree that I've seen (related to
> the notion of the simplest rational in an interval) starts with two
> extreme "values", 0/1 and 1/0. All positive rationals are built
> between these. The pretense is that 1/0 is the simplest rational
> representation of "infinity". So it may make sense to return +inf.0.

Except that +inf.0 is not rational, so it can't be returned.

> (Does the spec really say "rational but not real"?)

No, the converse:  +inf.0, -inf.0, and +nan.0 are real but not rational.
R6RS says the same.

Don't be so humble.  You're not that great.             John Cowan
        --Golda Meir                                    cowan@x

Scheme-reports mailing list