[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: ratio implementation
From: |
Bill Schottstaedt |
Subject: |
Re: ratio implementation |
Date: |
Tue, 29 Jul 2003 04:57:33 -0700 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.2.1) Gecko/20030225 |
Kevin Ryde wrote:
I notice that r5rs seems to
imply that (inexact->exact .3) should return 3/10 (see the rationalize
example which is assuming this)
Isn't that the effect of the rationalize function, rather than
inexact->exact?
The example I was referring to was:
(rationalize
(inexact->exact .3) 1/10) ==> 1/3 ; exact
which only makes sense if (inexact->exact .3) does not
return 0, but 3/10. Then rationalize of that with an
error of 1/10 finds the simpler ratio 1/3. In Guile
currently (I'm typing from work, so I can't actually
check this...), the (inexact->exact .3) returns 0,
so rationalize would also return 0.