[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bug in numbers.c integer-expt, expt?
From: |
Marius Vollmer |
Subject: |
Re: bug in numbers.c integer-expt, expt? |
Date: |
13 Mar 2002 20:30:35 +0100 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.1 |
Rob Browning <address@hidden> writes:
> Is integer-expt supposed to behave like expt wrt (integer-expt 0 0)?
>
> Right now I get
>
> guile> (integer-expt 0 0)
> 0
> guile> (expt 0 0)
> 0
>
> but r5rs says:
>
> - procedure: expt z1 z2
> Returns Z1 raised to the power Z2. For z_1 ~= 0
>
> z_1^z_2 = e^z_2 log z_1
> 0^z is 1 if z = 0 and 0 otherwise.
Looks like a bug. I think you can't really deduce what 0^0 should be,
so you must decide it. Let's follow R5RS.