From unknown Sun Jun 15 08:52:57 2025 X-Loop: help-debbugs@gnu.org Subject: bug#16356: doc out of date about (integer? +inf.0) Resent-From: Zefram Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Sun, 05 Jan 2014 23:45:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 16356 X-GNU-PR-Package: guile X-GNU-PR-Keywords: To: 16356@debbugs.gnu.org X-Debbugs-Original-To: bug-guile@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.138896546119144 (code B ref -1); Sun, 05 Jan 2014 23:45:02 +0000 Received: (at submit) by debbugs.gnu.org; 5 Jan 2014 23:44:21 +0000 Received: from localhost ([127.0.0.1]:37197 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VzxMi-0004yh-Of for submit@debbugs.gnu.org; Sun, 05 Jan 2014 18:44:21 -0500 Received: from eggs.gnu.org ([208.118.235.92]:44598) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Vzwb8-0003aH-Sp for submit@debbugs.gnu.org; Sun, 05 Jan 2014 17:55:11 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Vzwb0-00087D-6n for submit@debbugs.gnu.org; Sun, 05 Jan 2014 17:55:10 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:60590) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Vzwb0-000879-4K for submit@debbugs.gnu.org; Sun, 05 Jan 2014 17:55:02 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:46294) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Vzwat-0003CW-Pv for bug-guile@gnu.org; Sun, 05 Jan 2014 17:55:01 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Vzwak-00082g-Vk for bug-guile@gnu.org; Sun, 05 Jan 2014 17:54:55 -0500 Received: from river.fysh.org ([5.135.154.127]:53092) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Vzwak-00081I-Po for bug-guile@gnu.org; Sun, 05 Jan 2014 17:54:46 -0500 Received: from zefram by river.fysh.org with local (Exim 4.80 #2 (Debian)) id 1VzwaZ-0008Tl-Gd; Sun, 05 Jan 2014 22:54:35 +0000 Date: Sun, 5 Jan 2014 22:54:35 +0000 From: Zefram Message-ID: <20140105225435.GA30283@fysh.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-Mailman-Approved-At: Sun, 05 Jan 2014 18:44:18 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -4.0 (----) The "Integers" node of the guile info document contains this gem (source in doc/ref/api-data.texi): (integer? +inf.0) => #t Actual guile-2.0.9 behaviour: scheme@(guile-user)> (integer? +inf.0) $16 = #f The doc example matches the behaviour of guile-1.8, which classifies +inf.0 and -inf.0 as integers, and +nan.0 as rational but not integer. guile-2.0 follows R6RS in treating all three of these values as real but not rational, and the "Reals and Rationals" node describes this accurately. Debian incarnation of this bug report: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=734323 Mathematically, infinities are not real, and NaN is, as the acronym says, not a number. The documentation could perhaps do with a note about the difference between mathematical terminology and Scheme terminology. I was rather surprised to find any discrepancy, as Scheme's numerical tower stands out among programming languages as being uniquely accurate in its use of mathematical terms. Scheme's concept of "real" more closely corresponds to the mathematical concept of "hyperreal", which includes infinities, although NaN doesn't fit. Scheme's "complex" is similarly extended relative to the mathematical complex numbers, but the mathematical term "hypercomplex" unfortunately refers to something quite different (quaternions and the like). -zefram From unknown Sun Jun 15 08:52:57 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.503 (Entity 5.503) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Zefram Subject: bug#16356: closed (Re: bug#16356: doc out of date about (integer? +inf.0)) Message-ID: References: <87mwj5x0xv.fsf@netris.org> <20140105225435.GA30283@fysh.org> X-Gnu-PR-Message: they-closed 16356 X-Gnu-PR-Package: guile Reply-To: 16356@debbugs.gnu.org Date: Thu, 09 Jan 2014 03:59:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1389239942-12097-1" This is a multi-part message in MIME format... ------------=_1389239942-12097-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #16356: doc out of date about (integer? +inf.0) which was filed against the guile package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 16356@debbugs.gnu.org. --=20 16356: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D16356 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1389239942-12097-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 16356-done) by debbugs.gnu.org; 9 Jan 2014 03:58:58 +0000 Received: from localhost ([127.0.0.1]:43375 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W16ll-00038r-Gc for submit@debbugs.gnu.org; Wed, 08 Jan 2014 22:58:57 -0500 Received: from world.peace.net ([96.39.62.75]:41091) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W16lj-00038h-76 for 16356-done@debbugs.gnu.org; Wed, 08 Jan 2014 22:58:55 -0500 Received: from 209-6-197-194.c3-0.smr-ubr2.sbo-smr.ma.cable.rcn.com ([209.6.197.194] helo=yeeloong) by world.peace.net with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1W16lY-00011L-I6; Wed, 08 Jan 2014 22:58:44 -0500 From: Mark H Weaver To: Zefram Subject: Re: bug#16356: doc out of date about (integer? +inf.0) References: <20140105225435.GA30283@fysh.org> Date: Wed, 08 Jan 2014 22:56:44 -0500 In-Reply-To: <20140105225435.GA30283@fysh.org> (zefram@fysh.org's message of "Sun, 5 Jan 2014 22:54:35 +0000") Message-ID: <87mwj5x0xv.fsf@netris.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 16356-done Cc: 16356-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.0 (/) Zefram writes: > The "Integers" node of the guile info document contains this gem (source > in doc/ref/api-data.texi): > > (integer? +inf.0) > => #t > > Actual guile-2.0.9 behaviour: > > scheme@(guile-user)> (integer? +inf.0) > $16 = #f Fixed in f659df44954a7f182361395396c5e0340b08c7dd on the stable-2.0 branch, which will become Guile 2.0.10. Thanks! Mark ------------=_1389239942-12097-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 5 Jan 2014 23:44:21 +0000 Received: from localhost ([127.0.0.1]:37197 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VzxMi-0004yh-Of for submit@debbugs.gnu.org; Sun, 05 Jan 2014 18:44:21 -0500 Received: from eggs.gnu.org ([208.118.235.92]:44598) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Vzwb8-0003aH-Sp for submit@debbugs.gnu.org; Sun, 05 Jan 2014 17:55:11 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Vzwb0-00087D-6n for submit@debbugs.gnu.org; Sun, 05 Jan 2014 17:55:10 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:60590) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Vzwb0-000879-4K for submit@debbugs.gnu.org; Sun, 05 Jan 2014 17:55:02 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:46294) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Vzwat-0003CW-Pv for bug-guile@gnu.org; Sun, 05 Jan 2014 17:55:01 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Vzwak-00082g-Vk for bug-guile@gnu.org; Sun, 05 Jan 2014 17:54:55 -0500 Received: from river.fysh.org ([5.135.154.127]:53092) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Vzwak-00081I-Po for bug-guile@gnu.org; Sun, 05 Jan 2014 17:54:46 -0500 Received: from zefram by river.fysh.org with local (Exim 4.80 #2 (Debian)) id 1VzwaZ-0008Tl-Gd; Sun, 05 Jan 2014 22:54:35 +0000 Date: Sun, 5 Jan 2014 22:54:35 +0000 From: Zefram To: bug-guile@gnu.org Subject: doc out of date about (integer? +inf.0) Message-ID: <20140105225435.GA30283@fysh.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Sun, 05 Jan 2014 18:44:18 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -4.0 (----) The "Integers" node of the guile info document contains this gem (source in doc/ref/api-data.texi): (integer? +inf.0) => #t Actual guile-2.0.9 behaviour: scheme@(guile-user)> (integer? +inf.0) $16 = #f The doc example matches the behaviour of guile-1.8, which classifies +inf.0 and -inf.0 as integers, and +nan.0 as rational but not integer. guile-2.0 follows R6RS in treating all three of these values as real but not rational, and the "Reals and Rationals" node describes this accurately. Debian incarnation of this bug report: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=734323 Mathematically, infinities are not real, and NaN is, as the acronym says, not a number. The documentation could perhaps do with a note about the difference between mathematical terminology and Scheme terminology. I was rather surprised to find any discrepancy, as Scheme's numerical tower stands out among programming languages as being uniquely accurate in its use of mathematical terms. Scheme's concept of "real" more closely corresponds to the mathematical concept of "hyperreal", which includes infinities, although NaN doesn't fit. Scheme's "complex" is similarly extended relative to the mathematical complex numbers, but the mathematical term "hypercomplex" unfortunately refers to something quite different (quaternions and the like). -zefram ------------=_1389239942-12097-1--