GNU bug report logs - #16356
doc out of date about (integer? +inf.0)

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Mark H Weaver <mhw <at> netris.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#16356: closed (doc out of date about (integer? +inf.0))
Date: Thu, 09 Jan 2014 03:59:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Wed, 08 Jan 2014 22:56:44 -0500
with message-id <87mwj5x0xv.fsf <at> netris.org>
and subject line Re: bug#16356: doc out of date about (integer? +inf.0)
has caused the debbugs.gnu.org bug report #16356,
regarding doc out of date about (integer? +inf.0)
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
16356: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=16356
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Zefram <zefram <at> fysh.org>
To: bug-guile <at> gnu.org
Subject: doc out of date about (integer? +inf.0)
Date: Sun, 5 Jan 2014 22:54:35 +0000

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

[Message part 3 (message/rfc822, inline)]

From: Mark H Weaver <mhw <at> netris.org>
To: Zefram <zefram <at> fysh.org>
Cc: 16356-done <at> debbugs.gnu.org
Subject: Re: bug#16356: doc out of date about (integer? +inf.0)
Date: Wed, 08 Jan 2014 22:56:44 -0500

Zefram <zefram <at> fysh.org> 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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.