* bug in numbers.c integer-expt, expt?
@ 2002-03-13 8:28 Rob Browning
2002-03-13 19:30 ` Marius Vollmer
0 siblings, 1 reply; 4+ messages in thread
From: Rob Browning @ 2002-03-13 8:28 UTC (permalink / raw)
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.
--
Rob Browning
rlb @defaultvalue.org, @linuxdevel.com, and @debian.org
Previously @cs.utexas.edu
GPG=1C58 8B2C FB5E 3F64 EA5C 64AE 78FE E5FE F0CB A0AD
_______________________________________________
Guile-devel mailing list
Guile-devel@gnu.org
http://mail.gnu.org/mailman/listinfo/guile-devel
^ permalink raw reply [flat|nested] 4+ messages in thread* Re: bug in numbers.c integer-expt, expt? 2002-03-13 8:28 bug in numbers.c integer-expt, expt? Rob Browning @ 2002-03-13 19:30 ` Marius Vollmer 2002-03-13 21:20 ` Rob Browning 0 siblings, 1 reply; 4+ messages in thread From: Marius Vollmer @ 2002-03-13 19:30 UTC (permalink / raw) Cc: guile-devel 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 ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: bug in numbers.c integer-expt, expt? 2002-03-13 19:30 ` Marius Vollmer @ 2002-03-13 21:20 ` Rob Browning 2002-03-14 17:30 ` Marius Vollmer 0 siblings, 1 reply; 4+ messages in thread From: Rob Browning @ 2002-03-13 21:20 UTC (permalink / raw) Cc: guile-devel Marius Vollmer <mvo@zagadka.ping.de> writes: > 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. Right, done (but won't be committed for a while...) -- Rob Browning rlb @defaultvalue.org, @linuxdevel.com, and @debian.org Previously @cs.utexas.edu GPG=1C58 8B2C FB5E 3F64 EA5C 64AE 78FE E5FE F0CB A0AD _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://mail.gnu.org/mailman/listinfo/guile-devel ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: bug in numbers.c integer-expt, expt? 2002-03-13 21:20 ` Rob Browning @ 2002-03-14 17:30 ` Marius Vollmer 0 siblings, 0 replies; 4+ messages in thread From: Marius Vollmer @ 2002-03-14 17:30 UTC (permalink / raw) Cc: guile-devel Rob Browning <rlb@defaultvalue.org> writes: > Right, done (but won't be committed for a while...) Thanks! _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://mail.gnu.org/mailman/listinfo/guile-devel ^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2002-03-14 17:30 UTC | newest] Thread overview: 4+ messages (download: mbox.gz follow: Atom feed -- links below jump to the message on this page -- 2002-03-13 8:28 bug in numbers.c integer-expt, expt? Rob Browning 2002-03-13 19:30 ` Marius Vollmer 2002-03-13 21:20 ` Rob Browning 2002-03-14 17:30 ` Marius Vollmer
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).