From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Marius Vollmer Newsgroups: gmane.lisp.guile.bugs Subject: Re: division by 0 Date: Sun, 21 Mar 2004 01:34:27 +0100 Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Message-ID: <87r7vnm418.fsf@zagadka.ping.de> References: <877jy22d62.fsf@merceron.meteo.fr> NNTP-Posting-Host: deer.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: sea.gmane.org 1079829317 25042 80.91.224.253 (21 Mar 2004 00:35:17 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Sun, 21 Mar 2004 00:35:17 +0000 (UTC) Cc: bug-guile@gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Sun Mar 21 01:35:12 2004 Return-path: Original-Received: from monty-python.gnu.org ([199.232.76.173]) by deer.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 1B4qvo-00036y-00 for ; Sun, 21 Mar 2004 01:35:12 +0100 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.30) id 1B4qvp-0002xf-T4 for guile-bugs@m.gmane.org; Sat, 20 Mar 2004 19:35:13 -0500 Original-Received: from list by monty-python.gnu.org with tmda-scanned (Exim 4.30) id 1B4qvj-0002vk-1u for bug-guile@gnu.org; Sat, 20 Mar 2004 19:35:07 -0500 Original-Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.30) id 1B4qvC-0002mQ-DG for bug-guile@gnu.org; Sat, 20 Mar 2004 19:35:05 -0500 Original-Received: from [195.253.8.218] (helo=mail.dokom.net) by monty-python.gnu.org with esmtp (Exim 4.30) id 1B4qvC-0002mN-21 for bug-guile@gnu.org; Sat, 20 Mar 2004 19:34:34 -0500 Original-Received: from dialin.speedway15.dip57.dokom.de ([195.253.15.57] helo=zagadka.ping.de) by mail.dokom.net with smtp (Exim 3.36 #3) id 1B4qwv-0001er-00 for bug-guile@gnu.org; Sun, 21 Mar 2004 01:36:21 +0100 Original-Received: (qmail 27374 invoked by uid 1000); 21 Mar 2004 00:34:28 -0000 Original-To: Bernard Urban In-Reply-To: <877jy22d62.fsf@merceron.meteo.fr> (Bernard Urban's message of "03 Mar 2004 15:55:17 +0100") User-Agent: Gnus/5.1002 (Gnus v5.10.2) Emacs/21.3 (gnu/linux) X-BeenThere: bug-guile@gnu.org X-Mailman-Version: 2.1.4 Precedence: list List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: main.gmane.org gmane.lisp.guile.bugs:1249 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.bugs:1249 Bernard Urban writes: > Debian woody on i386. > > $ guile > guile> (version) > "1.6.4" > guile> (/ 0) > +#.# > guile> (/ 1.0 0) > +#.# > guile> (/ 1 0.0) > +#.# > guile>(/ 1 0) > standard input:3:1: In procedure / in expression (/ 1 0): > standard input:3:1: Numerical overflow > ABORT: (numerical-overflow) > > Type "(backtrace)" to get more information or "(debug)" to enter the debugger. > guile> > > Problem happens in numbers.c, function scm_divide(), where the test > #line 3274 should not be made. The 1.7 series should be handling this more correctly. From NEWS: ** There is support for Infinity and NaNs. Following PLT Scheme, Guile can now work with infinite numbers, and 'not-a-numbers'. There is new syntax for numbers: "+inf.0" (infinity), "-inf.0" (negative infinity), "+nan.0" (not-a-number), and "-nan.0" (same as "+nan.0"). These numbers are inexact and have no exact counterpart. Dividing by an inexact zero returns +inf.0 or -inf.0, depending on the sign of the dividend. The infinities are integers, and they answer #t for both 'even?' and 'odd?'. The +nan.0 value is not an integer and is not '=' to itself, but '+nan.0' is 'eqv?' to itself. For example (/ 1 0.0) => +inf.0 (/ 0 0.0) => +nan.0 (/ 0) ERROR: Numerical overflow Two new predicates 'inf?' and 'nan?' can be used to test for the special values. -- GPG: D5D4E405 - 2F9B BCCC 8527 692A 04E3 331E FAF8 226A D5D4 E405 _______________________________________________ Bug-guile mailing list Bug-guile@gnu.org http://mail.gnu.org/mailman/listinfo/bug-guile