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

Re: (rational? (sqrt 2))

The problem is that all irrationals are represented inexactly as floating point
numbers, which are rational.   RRRs states that real? and rational? are likely
to be the same.  Once you represent the result of (sqrt 2) inexactly, it's
unlikely that you'll be able to tell if it was rational.  Even using
constructive real arithmetic doesn't help, since deciding whether a
constructive real is rational is undecidable.  Algebraic numbers would help, I
think.  But my understanding is that they're too expensive to be used at that