[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] First batch of numerics changes
From: |
Andy Wingo |
Subject: |
Re: [PATCH] First batch of numerics changes |
Date: |
Sun, 30 Jan 2011 12:48:58 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) |
On Sat 29 Jan 2011 21:20, Mark H Weaver <address@hidden> writes:
> Andy Wingo <address@hidden> writes:
>>> if (SCM_CELL_TYPE (x) != SCM_CELL_TYPE (y))
>>> + return SCM_BOOL_F;
>>
>> Doesn't this prevent 1.0+0.0i from being eqv or equal to 1.0 ?
>
> No, because 1.0+0.0i never exists in the current code.
Ah, so we don't have any back-compatibility to preserve here; cool.
> it follows that any complex number, even one with an inexact zero
> imaginary part, must be unequal to _any_ real number.
I can't presume to have a deep understanding of math, but I do interpret
the R6RS as supporting your arguments, so no problem. Thanks for
humoring me with an explanation :)
Cheers,
Andy
--
http://wingolog.org/
- Re: [PATCH] First batch of numerics changes, (continued)
Re: [PATCH] First batch of numerics changes, Mark H Weaver, 2011/01/28
Re: [PATCH] First batch of numerics changes, Andy Wingo, 2011/01/28
Re: [PATCH] First batch of numerics changes, Mark H Weaver, 2011/01/29
Re: [PATCH] First batch of numerics changes, Andy Wingo, 2011/01/29
Re: [PATCH] First batch of numerics changes, Mark H Weaver, 2011/01/29
Re: [PATCH] First batch of numerics changes,
Andy Wingo <=
Re: [PATCH] First batch of numerics changes, Andy Wingo, 2011/01/29
Re: [PATCH] First batch of numerics changes, Mark H Weaver, 2011/01/29
Re: [PATCH] First batch of numerics changes, Mark H Weaver, 2011/01/29
Commentary: R6RS div0-and-mod0 vs Taylor's `round/', Mark H Weaver, 2011/01/30
Re: [PATCH] First batch of numerics changes, Andy Wingo, 2011/01/30
Re: [PATCH] First batch of numerics changes, Andy Wingo, 2011/01/30
Re: [PATCH] First batch of numerics changes, Mark H Weaver, 2011/01/30
Re: [PATCH] First batch of numerics changes, Andy Wingo, 2011/01/28