From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Newsgroups: gmane.lisp.guile.devel Subject: Re: (inf) min max Date: Tue, 28 Sep 2021 10:31:56 +0200 Message-ID: <20210928083156.GE14380@tuxteam.de> References: Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="5xSkJheCpeK0RUEJ" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="1961"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mutt/1.5.21 (2010-09-15) To: guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Tue Sep 28 10:32:37 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 1mV8XT-0000Jk-3I for guile-devel@m.gmane-mx.org; Tue, 28 Sep 2021 10:32:35 +0200 Original-Received: from localhost ([::1]:54474 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mV8XQ-0001V0-7d for guile-devel@m.gmane-mx.org; Tue, 28 Sep 2021 04:32:34 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:60336) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mV8Wt-0001TX-TQ for guile-devel@gnu.org; Tue, 28 Sep 2021 04:31:59 -0400 Original-Received: from mail.tuxteam.de ([5.199.139.25]:55867) by eggs.gnu.org with esmtps (TLS1.2:DHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.90_1) (envelope-from ) id 1mV8Ws-0003R7-6G for guile-devel@gnu.org; Tue, 28 Sep 2021 04:31:59 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tuxteam.de; s=mail; h=From:In-Reply-To:Content-Type:MIME-Version:References:Message-ID:Subject:To:Date; bh=xQX1DvyiJs+VFTjMQBjQF2WwM69xpc0xb2FFj+rFjnk=; b=V9NZrsOztMfq6vJ/x1ieVFi3kaqCyC+5K5dM1CmNzGMKywAteti5v6C8iM+CmoF/AfK2T7p07CVD08qvejKI9gpBITo5s9/3hfrMlTaRfZjN6gxuoSMgfi30KZB6sRz7hWOHoOUeQ4Ru2hQx88JxqAqoYvob4Nf6+37qtW+26TMu3kUFrbtoOpo00Vm0ylAA+I50o/RqOwdsGSlt9JuX+COfcsM25c3SQ8NGRqrH/At5BFKcqJxspdA+/qMCGyiuqewP2HGMLi/SpEk6m7RpPgjpJY7aGOIzsspog1WqpJfr6oIeAVdNwQJRKqQJXBfZ1j6jl0WSkoDHRrXrpIib5g==; Original-Received: from tomas by mail.tuxteam.de with local (Exim 4.80) (envelope-from ) id 1mV8Wq-00059k-6c for guile-devel@gnu.org; Tue, 28 Sep 2021 10:31:56 +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:20890 Archived-At: --5xSkJheCpeK0RUEJ Content-Type: text/plain; charset=utf-8 Content-Disposition: inline On Tue, Sep 28, 2021 at 10:15:30AM +0200, Stefan Israelsson Tampe wrote: > Why is (min (inf) 1) = 1.0 inexact? Because inf's result is inexact. The same as (min 3 3.5) is inexact, too. It seems that the `inexactness' is contagious across arithmetic generics (I haven't found an explicit place in the Guile docs; the racket docs are more explicit about that). Cheers - t --5xSkJheCpeK0RUEJ Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAmFS0vwACgkQBcgs9XrR2kYtGwCfR5cY0S15Zfq2sDHw+s+XtWCn /9oAnAztUp6nzxIX0R328bVj2VoRjMmz =cQuF -----END PGP SIGNATURE----- --5xSkJheCpeK0RUEJ--