From mboxrd@z Thu Jan  1 00:00:00 1970
Path: main.gmane.org!not-for-mail
From: Marius Vollmer <mvo@zagadka.ping.de>
Newsgroups: gmane.lisp.guile.devel
Subject: Re: bug in numbers.c integer-expt, expt?
Date: 13 Mar 2002 20:30:35 +0100
Sender: guile-devel-admin@gnu.org
Message-ID: <87y9gwmfj8.fsf@zagadka.ping.de>
References: <87adtcj2hr.fsf@raven.i.defaultvalue.org>
NNTP-Posting-Host: localhost.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: main.gmane.org 1016047848 3496 127.0.0.1 (13 Mar 2002 19:30:48 GMT)
X-Complaints-To: usenet@main.gmane.org
NNTP-Posting-Date: Wed, 13 Mar 2002 19:30:48 +0000 (UTC)
Cc: guile-devel@gnu.org
Original-Received: from fencepost.gnu.org ([199.232.76.164])
	by main.gmane.org with esmtp (Exim 3.33 #1 (Debian))
	id 16lESV-0000uI-00
	for <guile-devel@m.gmane.org>; Wed, 13 Mar 2002 20:30:48 +0100
Original-Received: from localhost ([127.0.0.1] helo=fencepost.gnu.org)
	by fencepost.gnu.org with esmtp (Exim 3.34 #1 (Debian))
	id 16lERw-0006U7-00; Wed, 13 Mar 2002 14:30:12 -0500
Original-Received: from dialin.speedway42.dip134.dokom.de ([195.138.42.134] helo=zagadka.ping.de)
	by fencepost.gnu.org with smtp (Exim 3.34 #1 (Debian))
	id 16lEQM-0006M2-00
	for <guile-devel@gnu.org>; Wed, 13 Mar 2002 14:28:34 -0500
Original-Received: (qmail 1296 invoked by uid 1000); 13 Mar 2002 19:30:35 -0000
Original-To: Rob Browning <rlb@defaultvalue.org>
In-Reply-To: <87adtcj2hr.fsf@raven.i.defaultvalue.org>
Original-Lines: 21
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1
Errors-To: guile-devel-admin@gnu.org
X-BeenThere: guile-devel@gnu.org
X-Mailman-Version: 2.0.5
Precedence: bulk
List-Help: <mailto:guile-devel-request@gnu.org?subject=help>
List-Post: <mailto:guile-devel@gnu.org>
List-Subscribe: <http://mail.gnu.org/mailman/listinfo/guile-devel>,
	<mailto:guile-devel-request@gnu.org?subject=subscribe>
List-Id: Developers list for Guile,
	the GNU extensibility library <guile-devel.gnu.org>
List-Unsubscribe: <http://mail.gnu.org/mailman/listinfo/guile-devel>,
	<mailto:guile-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://mail.gnu.org/pipermail/guile-devel/>
Xref: main.gmane.org gmane.lisp.guile.devel:20
X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:20

Rob Browning <rlb@defaultvalue.org> 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.

_______________________________________________
Guile-devel mailing list
Guile-devel@gnu.org
http://mail.gnu.org/mailman/listinfo/guile-devel