emacs-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[debbugs-tracker] bug#16356: closed (doc out of date about (integer? +in


From: GNU bug Tracking System
Subject: [debbugs-tracker] bug#16356: closed (doc out of date about (integer? +inf.0))
Date: Thu, 09 Jan 2014 03:59:02 +0000

Your message dated Wed, 08 Jan 2014 22:56:44 -0500
with message-id <address@hidden>
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
address@hidden)


-- 
16356: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=16356
GNU Bug Tracking System
Contact address@hidden with problems
--- Begin Message --- 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



--- End Message ---
--- Begin Message --- Subject: Re: bug#16356: doc out of date about (integer? +inf.0) Date: Wed, 08 Jan 2014 22:56:44 -0500 User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)
Zefram <address@hidden> 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


--- End Message ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]