From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: tomas@tuxteam.de Newsgroups: gmane.lisp.guile.devel Subject: Re: (inf) min max Date: Tue, 28 Sep 2021 12:33:34 +0200 Message-ID: <20210928103334.GF14380@tuxteam.de> References: <20210928083156.GE14380@tuxteam.de> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="8JPrznbw0YAQ/KXy" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="14814"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mutt/1.5.21 (2010-09-15) Cc: guile-devel To: Stefan Israelsson Tampe Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Tue Sep 28 12:34:29 2021 Return-path: Envelope-to: guile-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mVARR-0003ia-0E for guile-devel@m.gmane-mx.org; Tue, 28 Sep 2021 12:34:29 +0200 Original-Received: from localhost ([::1]:37908 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mVARO-00010a-AN for guile-devel@m.gmane-mx.org; Tue, 28 Sep 2021 06:34:27 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:59658) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mVAQf-0000zL-5t for guile-devel@gnu.org; Tue, 28 Sep 2021 06:33:41 -0400 Original-Received: from mail.tuxteam.de ([5.199.139.25]:56115) by eggs.gnu.org with esmtps (TLS1.2:DHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.90_1) (envelope-from ) id 1mVAQb-0004GZ-CP for guile-devel@gnu.org; Tue, 28 Sep 2021 06:33:40 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tuxteam.de; s=mail; h=In-Reply-To:Content-Type:MIME-Version:References:Message-ID:Subject:Cc:To:From:Date; bh=qQXiBpkXQM77Fjed73Iw9uqS4JyzUMUQ5v8/897P02s=; b=C5OP+ocFXrJnBSzD5ekkb8eyOOWbpI4Ufs3nhbA3OR1fFDATNP4/2HANT+19YF0DYTbpxDNEeK10wP+TqtrUySqkgIeDzljwHfmHM2mL9Ll7P8Cf1tkjg3/GW7Y+q7Uyk9+iXU/5Dm/PE2rC1cqMZ6iQg1VwAa9QPrVaiSaSvDr78wCCO9j4gryKEFw5MMOgESU2I5n42vzTpPfSJSwZSZzRiWxeS4E241vDYD3JmtCnSP5rH1lKfL4z+hgMHD7ezYXDxBoH5D0ueeIBxugR9czz+qlvP/0LhSidLDI3uSinO1GXkGmdnYgH3V+FQ/RKx2Fh77c/IMAVprhCudZpsg==; Original-Received: from tomas by mail.tuxteam.de with local (Exim 4.80) (envelope-from ) id 1mVAQY-0006Mo-BV; Tue, 28 Sep 2021 12:33:34 +0200 Content-Disposition: inline In-Reply-To: Received-SPF: pass client-ip=5.199.139.25; envelope-from=tomas@tuxteam.de; helo=mail.tuxteam.de X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Original-Sender: "guile-devel" Xref: news.gmane.io gmane.lisp.guile.devel:20892 Archived-At: --8JPrznbw0YAQ/KXy Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Tue, Sep 28, 2021 at 11:55:06AM +0200, Stefan Israelsson Tampe wrote: > Then this does not work well >=20 > (fold min (inf) (list 1 > 2000000000000000000000000000000000000000000000000000000000000000000000000= 000000000000000000000000000000000000000000000000000000 > 3 4)) >=20 > which is a pity, we should have an exact inf as well Yeah, the idea of a numerical "tower" breaks down a bit in the presence of arbitrarily big ints and exact fractions of those. Suddenly, IEEE 754 aren't (always) at the tower's "top". It is as if someone attached a balcony to one of the tower's sides and put an even taller tower on top of that :-) Cheers - t --8JPrznbw0YAQ/KXy Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAmFS734ACgkQBcgs9XrR2kaz9QCeMMdA1nzNwpMKYwzVWKq78Bn8 VpgAnRDZfcAKVhYKuKngYEPfBWjNp0P6 =5D6s -----END PGP SIGNATURE----- --8JPrznbw0YAQ/KXy--