From debbugs-submit-bounces@debbugs.gnu.org Mon Jul 15 07:14:22 2013 Received: (at submit) by debbugs.gnu.org; 15 Jul 2013 11:14:22 +0000 Received: from localhost ([127.0.0.1]:55158 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1UygjV-0005cx-Vw for submit@debbugs.gnu.org; Mon, 15 Jul 2013 07:14:22 -0400 Received: from eggs.gnu.org ([208.118.235.92]:40468) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1UygjT-0005cT-G9 for submit@debbugs.gnu.org; Mon, 15 Jul 2013 07:14:20 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1UygjN-0001XR-6F for submit@debbugs.gnu.org; Mon, 15 Jul 2013 07:14:14 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-101.9 required=5.0 tests=BAYES_00,T_DKIM_INVALID, USER_IN_WHITELIST autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:40537) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UygjN-0001XN-30 for submit@debbugs.gnu.org; Mon, 15 Jul 2013 07:14:13 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:42176) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UygjM-0005iq-0p for bug-guile@gnu.org; Mon, 15 Jul 2013 07:14:13 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1UygjJ-0001WV-Cg for bug-guile@gnu.org; Mon, 15 Jul 2013 07:14:11 -0400 Received: from iustitia.weinholt.se ([2a02:28f0:0:a::7dce:e5a8]:39053) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UygjJ-0001WE-1N for bug-guile@gnu.org; Mon, 15 Jul 2013 07:14:09 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=weinholt.se; s=iustitia2012; h=Content-Type:MIME-Version:Message-ID:Date:Subject:To:From; bh=gyzphfyuoGweF5mZQVr68JCWESei9ou4/sd0lEz8aqE=; b=znJhrBEzG9irG0h1kVwiE0xSxcRkv3pPTX8PaxepV/JIvoqXp5J5+lRVh/jBRb4WOtR1kL8ZxnfG6BDdjkZH2n7boxWRQOVUowoKYuMdiQHwvdfVtaeGQzFZaiVGrSrmuRms8qOehqIpCPYIvFNTQk2DXiXbswQHtLp82Xo01pofA9D+PIKc97Ng081JrAeGkDjd4kRFoStTlS5+GfxoX1UrAs+6uCspbFsnCrxBRfq04BImi6QufX1GxFw0sGLu6RXyzHYWWzbY/kNkosDk3wLw88iBh6CNihrNlOrK2Op/giYlSyXtgRp9hAOPGKYfhNNWiv1IXadGs8LOfRM3sw==; Received: from uucp by iustitia.weinholt.se with local-bsmtp (Exim 4.72) (envelope-from ) id 1UygjH-00075P-ND; Mon, 15 Jul 2013 13:14:07 +0200 Received: from weinholt by industria with local (Exim 4.80) (envelope-from ) id 1Uygh2-00026Y-7v; Mon, 15 Jul 2013 13:11:48 +0200 X-Hashcash: 1:20:130715:bug-guile@gnu.org::/p9oPgFpAq417fjm:000000000000000000000000000000000000000000007ZUL From: =?utf-8?Q?G=C3=B6ran?= Weinholt To: bug-guile@gnu.org Subject: flmax and flmin do not handle +nan.0 correctly Date: Mon, 15 Jul 2013 13:11:47 +0200 Message-ID: <874nbw84cs.fsf@industria.weinholt.se> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). 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: -3.3 (---) X-Debbugs-Envelope-To: submit 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: -3.3 (---) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hello schemers, the flmax and flmin procedures from (rnrs) do not handle +nan.0 correctly: scheme@(guile-user)> (import (rnrs)) scheme@(guile-user)> (flmax +inf.0 +nan.0) $1 =3D +inf.0 scheme@(guile-user)> (flmin -inf.0 +nan.0) $2 =3D -inf.0 The result should be +nan.0. From r6rs-lib: "They always return a NaN when one or more of the arguments is a NaN." Tested with 2.0.9.22-7e816-dirty. Regards, =2D-=20 G=C3=B6ran Weinholt It's a beautiful day. Don't let it get away. --=-=-= Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJR49jzAAoJEOM+YaLpuMOiG58P/0zOMulMOtqiMkQx/HuGrhw0 JV4dPKjiyaqmkGmPoMP2/YMcaQRyrclFfXOKjlrBr4TuKKuMi7xC59MxXg5gPYym axBlNpyn0JYlpZRQiq50KFTW03Pvn/rDl9rztGr+eBJHTappgyAZpMU3Iva0Vjso DITjaQmgH4vCIOaA6g43TaJrxNCEpF2K/aZDhAMuoVWZw5oiKNZ1oxzIW6APqtYO etWAHO9ZSv0cA0yOUMeKhkbKiYcgFBw2MPRLXXCymBjKsdnuDAmAw6x5xZydbZYG +4W+Nt6vb29a7nCYoLFGmttUmCvkcz6D8XGOMCA7lTFmaVI7U2FQ88kcoDW5tmEQ GEs5NNRafmY9AA9BCxeaMjrNWYSvPSV6cwt71WJbPwctylVJZ6N7OIzeyTcOXvrh oKuDDk7TXMrwIG3yDBNX7F7RRJx22FSJu4UzF9IMjsKkoy2KBNCZD+GsqYn5iwtG QDSPx48ELExrby9MjyBPpM7S12MkNeJmRvJtw/CAROB7JQ37RO39HYZZDQGq9TcX n2ljXFWDgvJ/14NkL6cIykRco+ftTUjYOSDb9SHBh5oY67/pI0LQ61rqCsUbejxB fQvWE6+HK3MidsfaLCTE2rItOW/wOb7WeNsa3hzZqdCNGRkuo0VV1SajJBLX7nn0 I5hmd/7nE4kI67KDTB9t =m2aL -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Tue Jul 16 05:27:56 2013 Received: (at 14865-done) by debbugs.gnu.org; 16 Jul 2013 09:27:56 +0000 Received: from localhost ([127.0.0.1]:57652 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Uz1Y4-0003pt-1j for submit@debbugs.gnu.org; Tue, 16 Jul 2013 05:27:56 -0400 Received: from world.peace.net ([96.39.62.75]:53389 ident=hope6) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Uz1Y2-0003pl-4K for 14865-done@debbugs.gnu.org; Tue, 16 Jul 2013 05:27:54 -0400 Received: from 209-6-120-240.c3-0.arl-ubr1.sbo-arl.ma.cable.rcn.com ([209.6.120.240] helo=tines.lan) by world.peace.net with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1Uz1Xv-0000ry-Gb; Tue, 16 Jul 2013 05:27:47 -0400 From: Mark H Weaver To: =?utf-8?Q?G=C3=B6ran?= Weinholt Subject: Re: bug#14865: flmax and flmin do not handle +nan.0 correctly References: <874nbw84cs.fsf@industria.weinholt.se> Date: Tue, 16 Jul 2013 05:27:30 -0400 In-Reply-To: <874nbw84cs.fsf@industria.weinholt.se> (=?utf-8?Q?=22G=C3=B6r?= =?utf-8?Q?an?= Weinholt"'s message of "Mon, 15 Jul 2013 13:11:47 +0200") Message-ID: <8738re4zy5.fsf@tines.lan> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 14865-done Cc: 14865-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 (/) G=C3=B6ran Weinholt writes: > the flmax and flmin procedures from (rnrs) do not handle +nan.0 > correctly: > > scheme@(guile-user)> (import (rnrs)) > scheme@(guile-user)> (flmax +inf.0 +nan.0) > $1 =3D +inf.0 > scheme@(guile-user)> (flmin -inf.0 +nan.0) > $2 =3D -inf.0 > > The result should be +nan.0. From r6rs-lib: "They always return a NaN > when one or more of the arguments is a NaN." Indeed. I had actually carefully implemented 'min' and 'max' according to R6RS section 11.7.4 (Numerical operations), which states: For any real number object x: (max +inf.0 x) =3D> +inf.0 (min -inf.0 x) =3D> -inf.0 and section 3.5 states that NaNs are real number objects. At first I was baffled by the inconsistency between min/max and flmin/flmax, but now I see that the R6RS errata corrected this: The examples for min and max involving infinities should be prefixed by: "For any real number object x /that is not a NaN/:" Fixed in b4c55c9ccedd47c16007b590f064ef3bd67565aa. Thanks! Mark From unknown Tue Aug 19 02:51:56 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 13 Aug 2013 11:24:03 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator