[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## Re: real == frac

**From**: |
Marius Vollmer |

**Subject**: |
Re: real == frac |

**Date**: |
Sun, 30 Nov 2003 02:31:21 +0100 |

**User-agent**: |
Gnus/5.1002 (Gnus v5.10.2) Emacs/21.3 (gnu/linux) |

Kevin Ryde <address@hidden> writes:
>* I noticed that*
>
>* (= 0.5 (+ 1/2 (/ 1 (ash 1 1000))))*
>
>* gives #t, but I think with exact fractions it should now be #f, since*
>* the second arg is 1/2+1/2^1000, not an actual 0.5.*
>
>* I guess fraction2double is rounding, making the comparison not quite*
>* right. Going the other way, converting double to fraction and*
>* comparing fractions would avoid that.*
Yes, that would be an improvement. Could you implement it?
--
GPG: D5D4E405 - 2F9B BCCC 8527 692A 04E3 331E FAF8 226A D5D4 E405

**real == frac**, *Kevin Ryde*, `2003/11/21`
**Re: real == frac**,
*Marius Vollmer* **<=**