From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Mark H Weaver Newsgroups: gmane.lisp.guile.bugs Subject: bug#14865: flmax and flmin do not handle +nan.0 correctly Date: Tue, 16 Jul 2013 05:27:30 -0400 Message-ID: <8738re4zy5.fsf@tines.lan> References: <874nbw84cs.fsf@industria.weinholt.se> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1373966891 7771 80.91.229.3 (16 Jul 2013 09:28:11 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 16 Jul 2013 09:28:11 +0000 (UTC) Cc: 14865-done@debbugs.gnu.org To: =?UTF-8?Q?G=C3=B6ran?= Weinholt Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Tue Jul 16 11:28:11 2013 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Uz1YG-0006rt-Dl for guile-bugs@m.gmane.org; Tue, 16 Jul 2013 11:28:08 +0200 Original-Received: from localhost ([::1]:47442 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uz1YG-0007k8-1H for guile-bugs@m.gmane.org; Tue, 16 Jul 2013 05:28:08 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:37008) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uz1YB-0007im-VJ for bug-guile@gnu.org; Tue, 16 Jul 2013 05:28:05 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Uz1YB-0007dA-2g for bug-guile@gnu.org; Tue, 16 Jul 2013 05:28:03 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:35105) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uz1YA-0007d3-Vr for bug-guile@gnu.org; Tue, 16 Jul 2013 05:28:03 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1Uz1YA-0003qJ-GI for bug-guile@gnu.org; Tue, 16 Jul 2013 05:28:02 -0400 Resent-From: Mark H Weaver Original-Sender: "Debbugs-submit" Resent-To: bug-guile@gnu.org Resent-Date: Tue, 16 Jul 2013 09:28:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 14865 X-GNU-PR-Package: guile X-GNU-PR-Keywords: Mail-Followup-To: 14865@debbugs.gnu.org, mhw@netris.org, goran@weinholt.se Original-Received: via spool by 14865-done@debbugs.gnu.org id=D14865.137396687614754 (code D ref 14865); Tue, 16 Jul 2013 09:28:02 +0000 Original-Received: (at 14865-done) by debbugs.gnu.org; 16 Jul 2013 09:27:56 +0000 Original-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 Original-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 Original-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 In-Reply-To: <874nbw84cs.fsf@industria.weinholt.se> ("=?UTF-8?Q?G=C3=B6ran?= Weinholt"'s message of "Mon, 15 Jul 2013 13:11:47 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 140.186.70.43 X-BeenThere: bug-guile@gnu.org 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 Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:7226 Archived-At: 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