From unknown Mon Aug 18 18:00:57 2025 X-Loop: help-debbugs@gnu.org Subject: bug#14871: flonum procedures returning non-flonum objects Resent-From: =?UTF-8?Q?G=C3=B6ran?= Weinholt Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Mon, 15 Jul 2013 13:45:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 14871 X-GNU-PR-Package: guile X-GNU-PR-Keywords: To: 14871@debbugs.gnu.org X-Debbugs-Original-To: bug-guile@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.137389586719009 (code B ref -1); Mon, 15 Jul 2013 13:45:02 +0000 Received: (at submit) by debbugs.gnu.org; 15 Jul 2013 13:44:27 +0000 Received: from localhost ([127.0.0.1]:55607 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Uyj4k-0004wW-2f for submit@debbugs.gnu.org; Mon, 15 Jul 2013 09:44:26 -0400 Received: from eggs.gnu.org ([208.118.235.92]:35953) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Uyj4g-0004vn-Ps for submit@debbugs.gnu.org; Mon, 15 Jul 2013 09:44:23 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Uyj4Z-0007gu-NB for submit@debbugs.gnu.org; Mon, 15 Jul 2013 09:44:17 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-100.0 required=5.0 tests=BAYES_40,LOTS_OF_MONEY, T_DKIM_INVALID,USER_IN_WHITELIST autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:34213) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uyj4Z-0007gk-Jz for submit@debbugs.gnu.org; Mon, 15 Jul 2013 09:44:15 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:37653) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uyj4Y-0007lQ-JY for bug-guile@gnu.org; Mon, 15 Jul 2013 09:44:15 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Uyj4T-0007fk-PF for bug-guile@gnu.org; Mon, 15 Jul 2013 09:44:14 -0400 Received: from iustitia.weinholt.se ([2a02:28f0:0:a::7dce:e5a8]:33051) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uyj4T-0007fS-Ag for bug-guile@gnu.org; Mon, 15 Jul 2013 09:44: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=3aaAgFvMD+sOsjwxDBc5cSCuhkEsE143xU5uOsSwmoQ=; b=NnORuZWCeftas9knAhSjjgPndaZXsEEX3Ug43tBYBNzpL8uobtKoU1wlUGkd+QD2D3amnc1QZZ6KMVSS3HFc9IQjjzhqmhBNGEKw4+pXCJr3FBATN8pjJfYICi6BNzm38O63QZYezmTUyLr9koX6j7e4/CYQHKHWwt4AROmMfWAfvgklNnbvW/UjTMAQcm9WhyTCAZKP9XJwyNbzR8s1+u0NacKME6Jp0+aY9h5YntvPWWvvfbzvMjkktJgIQAHs+qA070aDXpiZwX6RmSw21Sh1PVWKFo+/yyfJMpml7o4eoGahy40ARqt/fWUlV5k5JX8ImwaMGe1OxhiySWjLIA==; Received: from uucp by iustitia.weinholt.se with local-bsmtp (Exim 4.72) (envelope-from ) id 1Uyj4R-0007GH-LV; Mon, 15 Jul 2013 15:44:07 +0200 Received: from weinholt by industria with local (Exim 4.80) (envelope-from ) id 1UyizR-0002Uu-FA; Mon, 15 Jul 2013 15:38:57 +0200 X-Hashcash: 1:20:130715:bug-guile@gnu.org::cpXChCnJ0HYxo2cL:000000000000000000000000000000000000000000000XE2 From: =?UTF-8?Q?G=C3=B6ran?= Weinholt Date: Mon, 15 Jul 2013 15:38:56 +0200 Message-ID: <87ip0c6iz3.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-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, one property of the flonum procedures in r6rs is that they return flonums. This should not happen: scheme@(guile-user)> (import (rnrs)) scheme@(guile-user)> (fllog -1.0) $1 =3D 0.0+3.141592653589793i scheme@(guile-user)> (flsqrt -1.0) $2 =3D 0.0+1.0i scheme@(guile-user)> (flasin 3.0) $3 =3D 1.5707963267948966-1.762747174039086i scheme@(guile-user)> (flacos 3.0) $4 =3D 0.0+1.762747174039086i scheme@(guile-user)> (flexpt -1.0 0.5) $5 =3D 6.123031769111886e-17+1.0i These results are not flonums. In r6rs-lib it says "the result may be a NaN or some unspecified flonum." So returning +nan.0 would be better. Tested with Guile 2.0.9.22-7e816-dirty. Regards, =2D-=20 G=C3=B6ran Weinholt "Today's scientists have substituted mathematics for experiments, and they = wander off through equation after equation, and eventually build a structure which= has no relation to reality." -- Nikola Tesla --=-=-= Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJR4/twAAoJEOM+YaLpuMOiUMIP/iF8CZtL9Bl0WyH7HveG1dK2 garZXoZvpbUnM952xkf/gjMfb1VU4UmYO5siBDegWvusaRy9a1o+6kzWrxj7S6tn ALZe4fziJidZSPPCkkPaRpCYw7Aj5mEPH4hsFq/sgYlh+3v6mXgPkkBjx5I9D3au Spdhu6tL0FQfZLxPTPKBw5oI0oXH4k2eiMpeZgNQ/8FmV1q5d70aZpz+CvxXvk8k jAqQcOWNj+fCFlhdfgXKT73ggrYcdMsIIJxLhd96Yr3BlRluVo3FuIKylCr0QWDz TzE1B8Q4Dedb1SCN06upfJRfjQ/eMcUW13ZYNbdAXAFgSQBiYOkPtyTFjYpo81RC A6o9PoboByszOfAG+4JPPXq8jkIhH7bnMsw05UcdLWTWPi/yZqM2lqt0nP1T6xfI JEVlhNnNU97pf1yDyRZAwIly1e2WiWcZiR2QNO+xuHYM/QYqTIszKMZqOfrcqywZ pYLtu3ZYVdrbSLOMg0S32rrNGSFqdOcfVE2C1nekSYwuLOdrqnWlQl4jvsJbBeqY dsHQrn7xZhaO4PKar3hw1OPBpRpZMDxTTGs0juHjq6H7YTiK6fbzoNkLuS7vcJyv Hej5uBoFiXiYMxI7jI2U3ppy007Dn0BxifUei1oxEfGTK/5OHg4nKZyN/g052y8t 3ozqaMpkYqBS7Gvt3NsH =tMxz -----END PGP SIGNATURE----- --=-=-=-- From unknown Mon Aug 18 18:00: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: =?UTF-8?Q?G=C3=B6ran?= Weinholt Subject: bug#14871: closed (Re: bug#14871: flonum procedures returning non-flonum objects) Message-ID: References: <87bo6251ia.fsf@tines.lan> <87ip0c6iz3.fsf@industria.weinholt.se> X-Gnu-PR-Message: they-closed 14871 X-Gnu-PR-Package: guile Reply-To: 14871@debbugs.gnu.org Date: Tue, 16 Jul 2013 08:55:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1373964902-9328-1" This is a multi-part message in MIME format... ------------=_1373964902-9328-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #14871: flonum procedures returning non-flonum objects 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 14871@debbugs.gnu.org. --=20 14871: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D14871 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1373964902-9328-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 14871-done) by debbugs.gnu.org; 16 Jul 2013 08:54:16 +0000 Received: from localhost ([127.0.0.1]:57577 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Uz11U-0002Og-9y for submit@debbugs.gnu.org; Tue, 16 Jul 2013 04:54:16 -0400 Received: from world.peace.net ([96.39.62.75]:53365 ident=hope3) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Uz11R-0002OT-1y for 14871-done@debbugs.gnu.org; Tue, 16 Jul 2013 04:54:13 -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 1Uz11K-0000mS-JW; Tue, 16 Jul 2013 04:54:06 -0400 From: Mark H Weaver To: =?utf-8?Q?G=C3=B6ran?= Weinholt Subject: Re: bug#14871: flonum procedures returning non-flonum objects References: <87ip0c6iz3.fsf@industria.weinholt.se> Date: Tue, 16 Jul 2013 04:53:49 -0400 In-Reply-To: <87ip0c6iz3.fsf@industria.weinholt.se> (=?utf-8?Q?=22G=C3=B6r?= =?utf-8?Q?an?= Weinholt"'s message of "Mon, 15 Jul 2013 15:38:56 +0200") Message-ID: <87bo6251ia.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: 14871-done Cc: 14871-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: > one property of the flonum procedures in r6rs is that they return > flonums. This should not happen: > > scheme@(guile-user)> (import (rnrs)) > scheme@(guile-user)> (fllog -1.0) > $1 =3D 0.0+3.141592653589793i > scheme@(guile-user)> (flsqrt -1.0) > $2 =3D 0.0+1.0i > scheme@(guile-user)> (flasin 3.0) > $3 =3D 1.5707963267948966-1.762747174039086i > scheme@(guile-user)> (flacos 3.0) > $4 =3D 0.0+1.762747174039086i > scheme@(guile-user)> (flexpt -1.0 0.5) > $5 =3D 6.123031769111886e-17+1.0i > > These results are not flonums. In r6rs-lib it says "the result may be a > NaN or some unspecified flonum." So returning +nan.0 would be better. Fixed in ad922d065c5f8b01c4ace3ee34d26300409e44fa. Thanks! Mark ------------=_1373964902-9328-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 15 Jul 2013 13:44:27 +0000 Received: from localhost ([127.0.0.1]:55607 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Uyj4k-0004wW-2f for submit@debbugs.gnu.org; Mon, 15 Jul 2013 09:44:26 -0400 Received: from eggs.gnu.org ([208.118.235.92]:35953) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Uyj4g-0004vn-Ps for submit@debbugs.gnu.org; Mon, 15 Jul 2013 09:44:23 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Uyj4Z-0007gu-NB for submit@debbugs.gnu.org; Mon, 15 Jul 2013 09:44:17 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-100.0 required=5.0 tests=BAYES_40,LOTS_OF_MONEY, T_DKIM_INVALID,USER_IN_WHITELIST autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:34213) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uyj4Z-0007gk-Jz for submit@debbugs.gnu.org; Mon, 15 Jul 2013 09:44:15 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:37653) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uyj4Y-0007lQ-JY for bug-guile@gnu.org; Mon, 15 Jul 2013 09:44:15 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Uyj4T-0007fk-PF for bug-guile@gnu.org; Mon, 15 Jul 2013 09:44:14 -0400 Received: from iustitia.weinholt.se ([2a02:28f0:0:a::7dce:e5a8]:33051) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uyj4T-0007fS-Ag for bug-guile@gnu.org; Mon, 15 Jul 2013 09:44: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=3aaAgFvMD+sOsjwxDBc5cSCuhkEsE143xU5uOsSwmoQ=; b=NnORuZWCeftas9knAhSjjgPndaZXsEEX3Ug43tBYBNzpL8uobtKoU1wlUGkd+QD2D3amnc1QZZ6KMVSS3HFc9IQjjzhqmhBNGEKw4+pXCJr3FBATN8pjJfYICi6BNzm38O63QZYezmTUyLr9koX6j7e4/CYQHKHWwt4AROmMfWAfvgklNnbvW/UjTMAQcm9WhyTCAZKP9XJwyNbzR8s1+u0NacKME6Jp0+aY9h5YntvPWWvvfbzvMjkktJgIQAHs+qA070aDXpiZwX6RmSw21Sh1PVWKFo+/yyfJMpml7o4eoGahy40ARqt/fWUlV5k5JX8ImwaMGe1OxhiySWjLIA==; Received: from uucp by iustitia.weinholt.se with local-bsmtp (Exim 4.72) (envelope-from ) id 1Uyj4R-0007GH-LV; Mon, 15 Jul 2013 15:44:07 +0200 Received: from weinholt by industria with local (Exim 4.80) (envelope-from ) id 1UyizR-0002Uu-FA; Mon, 15 Jul 2013 15:38:57 +0200 X-Hashcash: 1:20:130715:bug-guile@gnu.org::cpXChCnJ0HYxo2cL:000000000000000000000000000000000000000000000XE2 From: =?utf-8?Q?G=C3=B6ran?= Weinholt To: bug-guile@gnu.org Subject: flonum procedures returning non-flonum objects Date: Mon, 15 Jul 2013 15:38:56 +0200 Message-ID: <87ip0c6iz3.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, one property of the flonum procedures in r6rs is that they return flonums. This should not happen: scheme@(guile-user)> (import (rnrs)) scheme@(guile-user)> (fllog -1.0) $1 =3D 0.0+3.141592653589793i scheme@(guile-user)> (flsqrt -1.0) $2 =3D 0.0+1.0i scheme@(guile-user)> (flasin 3.0) $3 =3D 1.5707963267948966-1.762747174039086i scheme@(guile-user)> (flacos 3.0) $4 =3D 0.0+1.762747174039086i scheme@(guile-user)> (flexpt -1.0 0.5) $5 =3D 6.123031769111886e-17+1.0i These results are not flonums. In r6rs-lib it says "the result may be a NaN or some unspecified flonum." So returning +nan.0 would be better. Tested with Guile 2.0.9.22-7e816-dirty. Regards, =2D-=20 G=C3=B6ran Weinholt "Today's scientists have substituted mathematics for experiments, and they = wander off through equation after equation, and eventually build a structure which= has no relation to reality." -- Nikola Tesla --=-=-= Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJR4/twAAoJEOM+YaLpuMOiUMIP/iF8CZtL9Bl0WyH7HveG1dK2 garZXoZvpbUnM952xkf/gjMfb1VU4UmYO5siBDegWvusaRy9a1o+6kzWrxj7S6tn ALZe4fziJidZSPPCkkPaRpCYw7Aj5mEPH4hsFq/sgYlh+3v6mXgPkkBjx5I9D3au Spdhu6tL0FQfZLxPTPKBw5oI0oXH4k2eiMpeZgNQ/8FmV1q5d70aZpz+CvxXvk8k jAqQcOWNj+fCFlhdfgXKT73ggrYcdMsIIJxLhd96Yr3BlRluVo3FuIKylCr0QWDz TzE1B8Q4Dedb1SCN06upfJRfjQ/eMcUW13ZYNbdAXAFgSQBiYOkPtyTFjYpo81RC A6o9PoboByszOfAG+4JPPXq8jkIhH7bnMsw05UcdLWTWPi/yZqM2lqt0nP1T6xfI JEVlhNnNU97pf1yDyRZAwIly1e2WiWcZiR2QNO+xuHYM/QYqTIszKMZqOfrcqywZ pYLtu3ZYVdrbSLOMg0S32rrNGSFqdOcfVE2C1nekSYwuLOdrqnWlQl4jvsJbBeqY dsHQrn7xZhaO4PKar3hw1OPBpRpZMDxTTGs0juHjq6H7YTiK6fbzoNkLuS7vcJyv Hej5uBoFiXiYMxI7jI2U3ppy007Dn0BxifUei1oxEfGTK/5OHg4nKZyN/g052y8t 3ozqaMpkYqBS7Gvt3NsH =tMxz -----END PGP SIGNATURE----- --=-=-=-- ------------=_1373964902-9328-1--