From unknown Thu Jun 19 14:05:10 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69725: Incorrect comapration between exact and inexact numbers Resent-From: Maciej Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Mon, 11 Mar 2024 07:53:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 69725 X-GNU-PR-Package: guile X-GNU-PR-Keywords: To: 69725@debbugs.gnu.org X-Debbugs-Original-To: bug-guile@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.171014353920901 (code B ref -1); Mon, 11 Mar 2024 07:53:02 +0000 Received: (at submit) by debbugs.gnu.org; 11 Mar 2024 07:52:19 +0000 Received: from localhost ([127.0.0.1]:38621 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rjaSJ-0005R2-Dl for submit@debbugs.gnu.org; Mon, 11 Mar 2024 03:52:19 -0400 Received: from lists.gnu.org ([209.51.188.17]:48866) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rjaSI-0005Qv-8J for submit@debbugs.gnu.org; Mon, 11 Mar 2024 03:52:18 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rjaRk-0003qK-21 for bug-guile@gnu.org; Mon, 11 Mar 2024 03:51:44 -0400 Received: from mail-vi1eur04olkn20800.outbound.protection.outlook.com ([2a01:111:f403:2e11::800] helo=EUR04-VI1-obe.outbound.protection.outlook.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rjaRi-0008UN-Ao for bug-guile@gnu.org; Mon, 11 Mar 2024 03:51:43 -0400 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=f49f7ZDAsgPUwkEYJ/KYc5qRhmQ8oYZ66GteXVZCiXYlANLJ848WHWGs41dlepnUR2sMXYZQOuBRyKCrNfRFLBsTmUaAzJmYHtPOC7P/cfl7LTx5SSaQdd5jljkwaT7E8FT/ILE8l4hLE7WKNzzuwrfe+IIPfGLC7dF1I7tBZS7ezpzciVYMawRFoCfZlvBGhEQc61/15+eHS8dkvNUltOBQM5wfufx61ekVuZcIK7/2Pxh9GfcMjXqj2/xeOgUncDeIiSMXqU8yvlsHvsYU+rl0Kz7OR0Oy7c49q8NYgsnf7c2VXpvHSoa9+KY5Uy2Q7I+6e+jIbNl+PPa3k+TbfA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=4X81nsXLTpYyW86QXzUcCmcn1d99H1m/Vk4ZS7Ir7bw=; b=PTvQXNe16ro11KTj0UFWxCfsOwwQVb3Ev+eVumVPG3s8ifMOFxh0PYLcDXy7v8Ch+8jdHJrovYWDU5vZjVX/ur42VY1V/uHTtyxre94hZZoNweVd01sS2JsOnwVZztbKHDPGWhQI6EDovkTK5eL8Sj6ALfT7PmtTP65gSbltuj8/knJOeAWnrS76VLbHPIdlX9xHF6HBC0qoj5ufaIEHpD4jAiyIcZyzl9m1fpQg2VqfuzSMmeURvsLv2PzYm88fDZr4LQfzPFcFEI9YUwstJTNfvn/3IxUKSxJ9QxrMcO4PlZAiSGvkoJVbjoQ2kbafD/zQ5A9baH1Sh1kr2segQA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=outlook.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=4X81nsXLTpYyW86QXzUcCmcn1d99H1m/Vk4ZS7Ir7bw=; b=i6rCZVGca/H6yMRW65/9NIxnx1i7bJxDV0lm7NrAoTEaCRYD9bfutdZYhyfMQjxv6E91hu6UaUg+4fHRHLe6aMt8DumW3tIAwJYAXLRXnbuKyxM+uTdryuq6UdfG5qQ4yAKkb5v65DdKouiREFZzhaxRrsfpMwXhyQDs33Aufo7SriXDoGlWDUPreS8E74uAiKAQkYr245VexlSC3017wLb4eZD1tg2Hd6QnQeyQygiNY1X2FK+GaWwrK3ZXfN24CjcHPp17RiHkEj1z45/bNu3LocIvxxkyvqdDe5qXHgiDctXYR6I5K3PEXz06USibBmWy/iPAQfq+ucGKCzdBPw== Received: from AM0PR10MB3586.EURPRD10.PROD.OUTLOOK.COM (2603:10a6:20b:157::23) by DB8PR10MB3830.EURPRD10.PROD.OUTLOOK.COM (2603:10a6:10:14b::24) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7362.35; Mon, 11 Mar 2024 07:46:37 +0000 Received: from AM0PR10MB3586.EURPRD10.PROD.OUTLOOK.COM ([fe80::a27a:c36b:e08e:b814]) by AM0PR10MB3586.EURPRD10.PROD.OUTLOOK.COM ([fe80::a27a:c36b:e08e:b814%4]) with mapi id 15.20.7362.035; Mon, 11 Mar 2024 07:46:37 +0000 Date: Mon, 11 Mar 2024 08:46:16 +0100 Message-ID: From: Maciej rom: Maciej Content-Type: text/plain X-TMN: [TnOazU8ekxZPRLd7EVdu8NkPiMCNN57w] X-ClientProxiedBy: WA2P291CA0037.POLP291.PROD.OUTLOOK.COM (2603:10a6:1d0:1f::17) To AM0PR10MB3586.EURPRD10.PROD.OUTLOOK.COM (2603:10a6:20b:157::23) X-Microsoft-Original-Message-ID: <875xxtnrcn.fsf@outlook.com> MIME-Version: 1.0 X-MS-Exchange-MessageSentRepresentingType: 1 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: AM0PR10MB3586:EE_|DB8PR10MB3830:EE_ X-MS-Office365-Filtering-Correlation-Id: 16c7ace0-f156-4cdd-d9b0-08dc419f6069 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: tp5Nnh6vYNYyqIWz7UnVhs7A/zIEg9r6v/7H6u0n/wBvy5GQ6xGAB08/8NCizv1+PWR+JxB3E89+4yJjUVgqoP+F2STRXyg2nynYuYoE6nFsUHkRGxVVoRvucXvzjJP+dJU5nGZVkRXbyEiHLbnWj8UhVMMHYX0GgxxyRbMILaFNgTQ3rfky0SKgpTthmDAFHGYnzA10gWdBhOrCVsTqlqBBTzUjErMoM5cdYLibdpc0Z4KXPJowbNmnRpmRj+rGpFPUqrXg78j5hBNneY5uk0ha2ttsKSOyLKW5ZagpQVm9EcXS8zaUTK1aEAahJi1jyl/kSQxclpSpCRGXrHuJC9apjHZB4dMUKeauerUUmKtP21fG5gtrlK2+auumYKLUyQ1DqewXtrqarNfHYNYM9aEzYj6Em3ZxeFveEOd6oO5M15A1GAKEthUaopNnKVmPI2ypTyrCE3dDNY1mmsapWQchIYvnIu5Lih/2mAWea/f+X6t0wF//DyPfI0uy+8Xd6pO7diCb8G+kmozgFGSFHs3mA+WBmzoZEikJtveAqXz0o2auGvXN7wAUUUaY5NJBUElm34nE9Zc1btRF/nD7Gg55+at6zTBbVFpcs1Gbr6BeW5H6dkrIg6bZco6LwJwTOGp5RSu3vULlQl2JyRc9Ny5dHYlCkNTux9q8qcLKLYk= X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: DSaCsaWUQ+IDdgwlt4rCFlQI9r7fUu0FNFGn3lR8j0VTHHAhbWLM38a+ai9IWaYwZEwOLbZWCdarQC/mpMRqiIsKKvcpr+LhqtlBiuONUNsenqmvI3enakfWZyb6OqbyuQpYeElOZP1TygA2Qahp6h7OjBhQwIYqoq2x2WTRQ8U2J2k7r56Jgz8yTnBonfTB+jLl1weK1BZqp0MglpSgF5+QGP11ujYLh/qdS6GIWWKQ3404Gbp/sNnhySuXpmDfaTHZcaor6jxE5cRBNj+AX7JxYb6XPjJX+HdyM8S6GbKBaWlikAYxvWoC19LUCaNuhMWAYnwZAJF5v0hsMZvsrODcBVXlpS88/DXO54cKCysemQTOlJDul2hY7jDcQ4txdvRo7Z2QwS5LJ5MwC7awBjEhTllbX6p6E5nZSSPzy8nLcUR5qXWRQKZ/ARZQ9xaZMWWz7GPAFki7wxfkpdnWheqlfxh8PmrhLHsGRD4mhJYhaNEBIcj1xS+TLAZhvOYKIbvt5vqKaZCX7I7u82pHsDi4hoqZ4ZPdlkXfDiCeTuxRRkvwAWixw26RVtPPKpTHWZGrdLpFF2cF0Gzp9TrNb31Tw3VkSBzJIxca5OjARSXBE4Fi9Nckh/9Ebj2DS1sDP7Om1kiDTHYnc4LVp3t1bA6fhd4IQ3jrvXzZWZe7EeYokkJd5Go4YWJxWudswvCLyYzK5sb9hn35eQpfPevjGgxhjaGta06mDwDahCSye7uJEI7PWGGNtpT9aKBHAH4YEcEEOtGtJOo/gBJ26yZvdAyISXqmtJ+EhppeivjMrV9jH8tvdWpP42cntj8tAeQtZGkU5/A0/Uz0zwjq6fpklDgRJigWnLiuk0eo4PWx+ClrRU+8fObw5pL8cEYB0botmdC32FnOFS28ACkWjf04SetTdDN7V04q4RMODk5mcRXsnHQCvcxqSFs+/xLGkzPUxsof08dVXqDQNb9P6mnncZ9JGkLr3+CE1+x7hLdpyp7trKpbdzqpTNQu4sXjbkBwv6AVUG4vq2ZJ+5xY39yvRXYz0FOMLZmPiunYPWaxjuWdNHI4wDLN2nJ3CMHyHDU8f8hOjxn4jFNeTnJ4+1swq+DHP4tiB/Mebrp3TOuQCQGevqEywAR4Ga4UO4esOOHr6vHrwwVl1sM6VdCmhWztCg0HeNzCgFf4umMEyY1EUG1NEPMY2N1A8YjNHcue11JQ+2LfdqXk33V1zZPt9/Z+ke5xFmJOoYnfDHwROJymxrs= X-OriginatorOrg: outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 16c7ace0-f156-4cdd-d9b0-08dc419f6069 X-MS-Exchange-CrossTenant-AuthSource: AM0PR10MB3586.EURPRD10.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 11 Mar 2024 07:46:37.2104 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB8PR10MB3830 Received-SPF: pass client-ip=2a01:111:f403:2e11::800; envelope-from=m.kalandyk@outlook.com; helo=EUR04-VI1-obe.outbound.protection.outlook.com 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, FREEMAIL_FROM=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 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: -2.3 (--) description: script(named main.scm): (use-modules (srfi srfi-11)) (define* (newton-sqrt x #:optional (tolerance 0.001) (guess 1)) (if (< (abs (- x (* guess guess))) tolerance) (values guess (abs (- x (* guess guess))) tolerance) (newton-sqrt x tolerance (/ (+ guess (/ x guess)) 2)))) (let-values ([(root diff tolerance) (newton-sqrt 1000)]) (display (exact->inexact diff)) ;; 1.217168231948292 (newline) (display tolerance) ;; 0.001 (newline) ;; bug here 1.217 in exact form apparently is smaller than 0.001 (display (< diff tolerance)) ;; #t (newline) (display (< diff (inexact->exact tolerance))) ;; #f (newline) (display (< (exact->inexact diff) tolerance)) ;; #f (newline)) guile version: guile --version guile (GNU Guile) 3.0.9 machine-type: ./config.guess x86_64-pc-linux-gnu system package: guix package -V guile guix package (GNU Guix) f18d13b5f89c161c6ee88d15ecdaa8d973ee4503 additional system info: guix channels.scm (list (channel (name 'guix) (url "https://git.savannah.gnu.org/git/guix.git") (branch "master") (commit "aeb494322ca9dec4a4d66a7d063239c8536bd538") (introduction (make-channel-introduction "9edb3f66fd807b096b48283debdcddccfea34bad" (openpgp-fingerprint "BBB0 2DDF 2CEA F6A8 0D1D E643 A2A0 6DF2 A33A 54FA"))))) what i ran to run the script: guix time-machine -C channels.scm -- shell --pure guile -- ./main.scm 1.217168231948292 0.001 #t #f #f From unknown Thu Jun 19 14:05:10 2025 X-Loop: help-debbugs@gnu.org Subject: bug#69725: Incorrect comapration between exact and inexact numbers Resent-From: lloda Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Mon, 18 Mar 2024 16:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 69725 X-GNU-PR-Package: guile X-GNU-PR-Keywords: To: Maciej Cc: 69725@debbugs.gnu.org Received: via spool by 69725-submit@debbugs.gnu.org id=B69725.171077867314953 (code B ref 69725); Mon, 18 Mar 2024 16:18:02 +0000 Received: (at 69725) by debbugs.gnu.org; 18 Mar 2024 16:17:53 +0000 Received: from localhost ([127.0.0.1]:60613 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rmFgO-0003t4-U8 for submit@debbugs.gnu.org; Mon, 18 Mar 2024 12:17:53 -0400 Received: from mta-14-4.privateemail.com ([198.54.118.206]:22514) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rmFgN-0003sn-PZ for 69725@debbugs.gnu.org; Mon, 18 Mar 2024 12:17:52 -0400 Received: from mta-14.privateemail.com (localhost [127.0.0.1]) by mta-14.privateemail.com (Postfix) with ESMTP id EE8C918000A3; Mon, 18 Mar 2024 12:17:06 -0400 (EDT) Received: from [192.168.1.9] (unknown [51.154.167.214]) by mta-14.privateemail.com (Postfix) with ESMTPA; Mon, 18 Mar 2024 12:17:04 -0400 (EDT) From: lloda Message-Id: <787367F7-453B-4C95-B078-D4DFAA49BCF5@sarc.name> Content-Type: multipart/mixed; boundary="Apple-Mail=_3E569D94-E0E5-43BE-8DC1-49EF9EBB1B97" Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.7\)) Date: Mon, 18 Mar 2024 17:17:02 +0100 In-Reply-To: References: X-Mailer: Apple Mail (2.3608.120.23.2.7) X-Virus-Scanned: ClamAV using ClamSMTP X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 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: -1.0 (-) --Apple-Mail=_3E569D94-E0E5-43BE-8DC1-49EF9EBB1B97 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=us-ascii Thanks for the report! Patch attached. regards Daniel --Apple-Mail=_3E569D94-E0E5-43BE-8DC1-49EF9EBB1B97 Content-Disposition: attachment; filename=0001-Add-missing-branch-in-scm_is_less_than.patch Content-Type: application/octet-stream; x-unix-mode=0644; name="0001-Add-missing-branch-in-scm_is_less_than.patch" Content-Transfer-Encoding: quoted-printable =46rom=20189d3acdbebde503643da3817dae3fc0dd14db7d=20Mon=20Sep=2017=20= 00:00:00=202001=0AFrom:=20Daniel=20Llorens=20=0ADate:=20= Mon,=2018=20Mar=202024=2013:53:17=20+0100=0ASubject:=20[PATCH]=20Add=20= missing=20branch=20in=20scm_is_less_than()=0A=0AFixes=20= https://debbugs.gnu.org/69725.=0A=0A*=20libguile/numbers.c=20= (scm_is_less_than):=20Add=20branch=20for=20(<=20fraction=20real).=0A*=20= test-suite/tests/numbers.test=20(<):=20New=20test.=0A---=0A=20= libguile/numbers.c=20=20=20=20=20=20=20=20=20=20=20=20|=2017=20= ++++++++++++++---=0A=20test-suite/tests/numbers.test=20|=2012=20= ++++++++++++=0A=202=20files=20changed,=2026=20insertions(+),=203=20= deletions(-)=0A=0Adiff=20--git=20a/libguile/numbers.c=20= b/libguile/numbers.c=0Aindex=2030a826f13..ae2aa7766=20100644=0A---=20= a/libguile/numbers.c=0A+++=20b/libguile/numbers.c=0A@@=20-4559,6=20= +4559,7=20@@=20scm_is_less_than=20(SCM=20x,=20SCM=20y)=0A=20=09return=20= SCM_REAL_VALUE=20(x)=20<=20SCM_REAL_VALUE=20(y);=0A=20=20=20=20=20=20=20= if=20(!SCM_FRACTIONP=20(y))=0A=20=20=20=20=20=20=20=20=20abort=20();=0A+=20= =20=20=20=20=20/*=20REALP=20x=20FRACTIONP=20y,=20see=20symmetric=20case=20= below=20=20*/=0A=20=20=20=20=20=20=20if=20(isnan=20(SCM_REAL_VALUE=20= (x)))=0A=20=20=20=20=20=20=20=20=20return=200;=0A=20=20=20=20=20=20=20if=20= (isinf=20(SCM_REAL_VALUE=20(x)))=0A@@=20-4569,9=20+4570,19=20@@=20= scm_is_less_than=20(SCM=20x,=20SCM=20y)=0A=20=20=20if=20(!SCM_FRACTIONP=20= (x))=0A=20=20=20=20=20abort=20();=0A=20=0A-=20=20/*=20"a/b=20<=20"=20= becomes=20"a=20<=20y*b"=20*/=0A-=20=20return=20scm_is_less_than=20= (SCM_FRACTION_NUMERATOR=20(x),=0A-=20=20=20=20=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20=20=20=20=20=20=20=20scm_product=20(y,=20= SCM_FRACTION_DENOMINATOR=20(x)));=0A+=20=20if=20(SCM_REALP=20(y))=0A+=20=20= =20=20{=0A+=20=20=20=20=20=20/*=20FRACTIONP=20x=20REALP=20y,=20see=20= symmetric=20case=20above=20*/=0A+=20=20=20=20=20=20if=20(isnan=20= (SCM_REAL_VALUE=20(y)))=0A+=20=20=20=20=20=20=20=20return=200;=0A+=20=20=20= =20=20=20if=20(isinf=20(SCM_REAL_VALUE=20(y)))=0A+=20=20=20=20=20=20=20=20= return=200.0=20<=20SCM_REAL_VALUE=20(y);=0A+=20=20=20=20=20=20return=20= scm_is_less_than=20(x,=20scm_inexact_to_exact=20(y));=0A+=20=20=20=20}=0A= +=20=20else=0A+=20=20=20=20/*=20"a/b=20<=20y"=20becomes=20"a=20<=20y*b"=20= */=0A+=20=20=20=20return=20scm_is_less_than=20(SCM_FRACTION_NUMERATOR=20= (x),=0A+=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20= =20=20=20=20=20=20=20scm_product=20(y,=20SCM_FRACTION_DENOMINATOR=20= (x)));=0A=20}=0A=20=0A=20static=20int=0Adiff=20--git=20= a/test-suite/tests/numbers.test=20b/test-suite/tests/numbers.test=0A= index=200b80c0356..cf54f0369=20100644=0A---=20= a/test-suite/tests/numbers.test=0A+++=20b/test-suite/tests/numbers.test=0A= @@=20-266,6=20+266,18=20@@=0A=20=20=20=20=20(pass-if=20(not=20(exact?=20= -inf.0)))=0A=20=20=20=20=20(pass-if=20(not=20(exact?=20+nan.0)))))=0A=20=0A= +;;;=0A+;;;=20<=0A+;;;=0A+=0A+(with-test-prefix=20"bug=20#69725=20for=20= (<=20fraction=20float)"=0A+=0A+=20=20(let=20((diff=20= 87979703276409626918659767984710026588483269238181705613229470051144098761= 57455491955763942463275995976601372508852821189236853783634952965762508916= 18672897887455888641129758660040580125471657527501887655846743402333407472= 71748897237831831267408571020404503664565102249381236647852060317671711992= 33723760493512739790508154214346384580491966310104625083761320281466442676= 58632127872001/72282286841797234929186984345269078642575090662043951218932= 78021210580613014047268878824932966460159359034826105703033820760498583865= 83955490031061870416075735232078523284307346352926571709615036536557063178= 29105961936336695812301428062408702924067060023651957331740692177549906237= 38756234529480867893856720891635324986925185464389238701809030915193515841= 54949372291968970659168272384))=20;=201.217168231948292=0A+=20=20= (pass-if=20"<=20fraction=20float=20(I)"=0A+=20=20=20=20(not=20(<=20diff=20= 1.0)))=0A+=20=20(pass-if=20"<=20fraction=20float=20(II)"=0A+=20=20=20=20= (<=20diff=202.0))))=0A+=0A=20;;;=0A=20;;;=20exp=0A=20;;;=0A--=20=0A= 2.39.2=0A=0A= --Apple-Mail=_3E569D94-E0E5-43BE-8DC1-49EF9EBB1B97-- From unknown Thu Jun 19 14:05:10 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Maciej Subject: bug#69725: closed (Re: bug#69725: Incorrect comapration between exact and inexact numbers) Message-ID: References: <85EFDB9B-A4A5-4FD8-A7B2-19E81C1AA302@sarc.name> X-Gnu-PR-Message: they-closed 69725 X-Gnu-PR-Package: guile Reply-To: 69725@debbugs.gnu.org Date: Tue, 19 Mar 2024 17:31:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1710869462-11237-1" This is a multi-part message in MIME format... ------------=_1710869462-11237-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #69725: Incorrect comapration between exact and inexact numbers 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 69725@debbugs.gnu.org. --=20 69725: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D69725 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1710869462-11237-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 69725-done) by debbugs.gnu.org; 19 Mar 2024 17:30:43 +0000 Received: from localhost ([127.0.0.1]:51336 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rmdIR-0002t0-AI for submit@debbugs.gnu.org; Tue, 19 Mar 2024 13:30:43 -0400 Received: from mta-14-4.privateemail.com ([198.54.118.206]:7984) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rmdIO-0002sD-VU for 69725-done@debbugs.gnu.org; Tue, 19 Mar 2024 13:30:41 -0400 Received: from mta-14.privateemail.com (localhost [127.0.0.1]) by mta-14.privateemail.com (Postfix) with ESMTP id 951E718000DC; Tue, 19 Mar 2024 13:29:55 -0400 (EDT) Received: from [192.168.1.9] (unknown [51.154.167.214]) by mta-14.privateemail.com (Postfix) with ESMTPA; Tue, 19 Mar 2024 13:29:53 -0400 (EDT) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.7\)) Subject: Re: bug#69725: Incorrect comapration between exact and inexact numbers From: lloda In-Reply-To: <787367F7-453B-4C95-B078-D4DFAA49BCF5@sarc.name> Date: Tue, 19 Mar 2024 18:29:48 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <85EFDB9B-A4A5-4FD8-A7B2-19E81C1AA302@sarc.name> References: <787367F7-453B-4C95-B078-D4DFAA49BCF5@sarc.name> To: Maciej X-Mailer: Apple Mail (2.3608.120.23.2.7) X-Virus-Scanned: ClamAV using ClamSMTP X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 69725-done Cc: 69725-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 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: -1.0 (-) Patch committed to 54c4753dd3f7506bee2778b36d7263b613ffd579, with a = couple extra tests. Thanks Daniel ------------=_1710869462-11237-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 11 Mar 2024 07:52:19 +0000 Received: from localhost ([127.0.0.1]:38621 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rjaSJ-0005R2-Dl for submit@debbugs.gnu.org; Mon, 11 Mar 2024 03:52:19 -0400 Received: from lists.gnu.org ([209.51.188.17]:48866) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rjaSI-0005Qv-8J for submit@debbugs.gnu.org; Mon, 11 Mar 2024 03:52:18 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rjaRk-0003qK-21 for bug-guile@gnu.org; Mon, 11 Mar 2024 03:51:44 -0400 Received: from mail-vi1eur04olkn20800.outbound.protection.outlook.com ([2a01:111:f403:2e11::800] helo=EUR04-VI1-obe.outbound.protection.outlook.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rjaRi-0008UN-Ao for bug-guile@gnu.org; Mon, 11 Mar 2024 03:51:43 -0400 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=f49f7ZDAsgPUwkEYJ/KYc5qRhmQ8oYZ66GteXVZCiXYlANLJ848WHWGs41dlepnUR2sMXYZQOuBRyKCrNfRFLBsTmUaAzJmYHtPOC7P/cfl7LTx5SSaQdd5jljkwaT7E8FT/ILE8l4hLE7WKNzzuwrfe+IIPfGLC7dF1I7tBZS7ezpzciVYMawRFoCfZlvBGhEQc61/15+eHS8dkvNUltOBQM5wfufx61ekVuZcIK7/2Pxh9GfcMjXqj2/xeOgUncDeIiSMXqU8yvlsHvsYU+rl0Kz7OR0Oy7c49q8NYgsnf7c2VXpvHSoa9+KY5Uy2Q7I+6e+jIbNl+PPa3k+TbfA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=4X81nsXLTpYyW86QXzUcCmcn1d99H1m/Vk4ZS7Ir7bw=; b=PTvQXNe16ro11KTj0UFWxCfsOwwQVb3Ev+eVumVPG3s8ifMOFxh0PYLcDXy7v8Ch+8jdHJrovYWDU5vZjVX/ur42VY1V/uHTtyxre94hZZoNweVd01sS2JsOnwVZztbKHDPGWhQI6EDovkTK5eL8Sj6ALfT7PmtTP65gSbltuj8/knJOeAWnrS76VLbHPIdlX9xHF6HBC0qoj5ufaIEHpD4jAiyIcZyzl9m1fpQg2VqfuzSMmeURvsLv2PzYm88fDZr4LQfzPFcFEI9YUwstJTNfvn/3IxUKSxJ9QxrMcO4PlZAiSGvkoJVbjoQ2kbafD/zQ5A9baH1Sh1kr2segQA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=outlook.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=4X81nsXLTpYyW86QXzUcCmcn1d99H1m/Vk4ZS7Ir7bw=; b=i6rCZVGca/H6yMRW65/9NIxnx1i7bJxDV0lm7NrAoTEaCRYD9bfutdZYhyfMQjxv6E91hu6UaUg+4fHRHLe6aMt8DumW3tIAwJYAXLRXnbuKyxM+uTdryuq6UdfG5qQ4yAKkb5v65DdKouiREFZzhaxRrsfpMwXhyQDs33Aufo7SriXDoGlWDUPreS8E74uAiKAQkYr245VexlSC3017wLb4eZD1tg2Hd6QnQeyQygiNY1X2FK+GaWwrK3ZXfN24CjcHPp17RiHkEj1z45/bNu3LocIvxxkyvqdDe5qXHgiDctXYR6I5K3PEXz06USibBmWy/iPAQfq+ucGKCzdBPw== Received: from AM0PR10MB3586.EURPRD10.PROD.OUTLOOK.COM (2603:10a6:20b:157::23) by DB8PR10MB3830.EURPRD10.PROD.OUTLOOK.COM (2603:10a6:10:14b::24) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7362.35; Mon, 11 Mar 2024 07:46:37 +0000 Received: from AM0PR10MB3586.EURPRD10.PROD.OUTLOOK.COM ([fe80::a27a:c36b:e08e:b814]) by AM0PR10MB3586.EURPRD10.PROD.OUTLOOK.COM ([fe80::a27a:c36b:e08e:b814%4]) with mapi id 15.20.7362.035; Mon, 11 Mar 2024 07:46:37 +0000 Date: Mon, 11 Mar 2024 08:46:16 +0100 Message-ID: From: Maciej rom: Maciej To: bug-guile@gnu.org Subject: Incorrect comapration between exact and inexact numbers Content-Type: text/plain X-TMN: [TnOazU8ekxZPRLd7EVdu8NkPiMCNN57w] X-ClientProxiedBy: WA2P291CA0037.POLP291.PROD.OUTLOOK.COM (2603:10a6:1d0:1f::17) To AM0PR10MB3586.EURPRD10.PROD.OUTLOOK.COM (2603:10a6:20b:157::23) X-Microsoft-Original-Message-ID: <875xxtnrcn.fsf@outlook.com> MIME-Version: 1.0 X-MS-Exchange-MessageSentRepresentingType: 1 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: AM0PR10MB3586:EE_|DB8PR10MB3830:EE_ X-MS-Office365-Filtering-Correlation-Id: 16c7ace0-f156-4cdd-d9b0-08dc419f6069 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: tp5Nnh6vYNYyqIWz7UnVhs7A/zIEg9r6v/7H6u0n/wBvy5GQ6xGAB08/8NCizv1+PWR+JxB3E89+4yJjUVgqoP+F2STRXyg2nynYuYoE6nFsUHkRGxVVoRvucXvzjJP+dJU5nGZVkRXbyEiHLbnWj8UhVMMHYX0GgxxyRbMILaFNgTQ3rfky0SKgpTthmDAFHGYnzA10gWdBhOrCVsTqlqBBTzUjErMoM5cdYLibdpc0Z4KXPJowbNmnRpmRj+rGpFPUqrXg78j5hBNneY5uk0ha2ttsKSOyLKW5ZagpQVm9EcXS8zaUTK1aEAahJi1jyl/kSQxclpSpCRGXrHuJC9apjHZB4dMUKeauerUUmKtP21fG5gtrlK2+auumYKLUyQ1DqewXtrqarNfHYNYM9aEzYj6Em3ZxeFveEOd6oO5M15A1GAKEthUaopNnKVmPI2ypTyrCE3dDNY1mmsapWQchIYvnIu5Lih/2mAWea/f+X6t0wF//DyPfI0uy+8Xd6pO7diCb8G+kmozgFGSFHs3mA+WBmzoZEikJtveAqXz0o2auGvXN7wAUUUaY5NJBUElm34nE9Zc1btRF/nD7Gg55+at6zTBbVFpcs1Gbr6BeW5H6dkrIg6bZco6LwJwTOGp5RSu3vULlQl2JyRc9Ny5dHYlCkNTux9q8qcLKLYk= X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?DSaCsaWUQ+IDdgwlt4rCFlQI9r7fUu0FNFGn3lR8j0VTHHAhbWLM38a+ai9I?= =?us-ascii?Q?WaYwZEwOLbZWCdarQC/mpMRqiIsKKvcpr+LhqtlBiuONUNsenqmvI3enakfW?= =?us-ascii?Q?Zyb6OqbyuQpYeElOZP1TygA2Qahp6h7OjBhQwIYqoq2x2WTRQ8U2J2k7r56J?= =?us-ascii?Q?gz8yTnBonfTB+jLl1weK1BZqp0MglpSgF5+QGP11ujYLh/qdS6GIWWKQ3404?= =?us-ascii?Q?Gbp/sNnhySuXpmDfaTHZcaor6jxE5cRBNj+AX7JxYb6XPjJX+HdyM8S6GbKB?= =?us-ascii?Q?aWlikAYxvWoC19LUCaNuhMWAYnwZAJF5v0hsMZvsrODcBVXlpS88/DXO54cK?= =?us-ascii?Q?CysemQTOlJDul2hY7jDcQ4txdvRo7Z2QwS5LJ5MwC7awBjEhTllbX6p6E5nZ?= =?us-ascii?Q?SSPzy8nLcUR5qXWRQKZ/ARZQ9xaZMWWz7GPAFki7wxfkpdnWheqlfxh8Pmrh?= =?us-ascii?Q?LHsGRD4mhJYhaNEBIcj1xS+TLAZhvOYKIbvt5vqKaZCX7I7u82pHsDi4hoqZ?= =?us-ascii?Q?4ZPdlkXfDiCeTuxRRkvwAWixw26RVtPPKpTHWZGrdLpFF2cF0Gzp9TrNb31T?= =?us-ascii?Q?w3VkSBzJIxca5OjARSXBE4Fi9Nckh/9Ebj2DS1sDP7Om1kiDTHYnc4LVp3t1?= =?us-ascii?Q?bA6fhd4IQ3jrvXzZWZe7EeYokkJd5Go4YWJxWudswvCLyYzK5sb9hn35eQpf?= =?us-ascii?Q?PevjGgxhjaGta06mDwDahCSye7uJEI7PWGGNtpT9aKBHAH4YEcEEOtGtJOo/?= =?us-ascii?Q?gBJ26yZvdAyISXqmtJ+EhppeivjMrV9jH8tvdWpP42cntj8tAeQtZGkU5/A0?= =?us-ascii?Q?/Uz0zwjq6fpklDgRJigWnLiuk0eo4PWx+ClrRU+8fObw5pL8cEYB0botmdC3?= =?us-ascii?Q?2FnOFS28ACkWjf04SetTdDN7V04q4RMODk5mcRXsnHQCvcxqSFs+/xLGkzPU?= =?us-ascii?Q?xsof08dVXqDQNb9P6mnncZ9JGkLr3+CE1+x7hLdpyp7trKpbdzqpTNQu4sXj?= =?us-ascii?Q?bkBwv6AVUG4vq2ZJ+5xY39yvRXYz0FOMLZmPiunYPWaxjuWdNHI4wDLN2nJ3?= =?us-ascii?Q?CMHyHDU8f8hOjxn4jFNeTnJ4+1swq+DHP4tiB/Mebrp3TOuQCQGevqEywAR4?= =?us-ascii?Q?Ga4UO4esOOHr6vHrwwVl1sM6VdCmhWztCg0HeNzCgFf4umMEyY1EUG1NEPMY?= =?us-ascii?Q?2N1A8YjNHcue11JQ+2LfdqXk33V1zZPt9/Z+ke5xFmJOoYnfDHwROJymxrs?= =?us-ascii?Q?=3D?= X-OriginatorOrg: outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 16c7ace0-f156-4cdd-d9b0-08dc419f6069 X-MS-Exchange-CrossTenant-AuthSource: AM0PR10MB3586.EURPRD10.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 11 Mar 2024 07:46:37.2104 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB8PR10MB3830 Received-SPF: pass client-ip=2a01:111:f403:2e11::800; envelope-from=m.kalandyk@outlook.com; helo=EUR04-VI1-obe.outbound.protection.outlook.com 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, FREEMAIL_FROM=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.7 (/) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 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: -2.3 (--) description: script(named main.scm): (use-modules (srfi srfi-11)) (define* (newton-sqrt x #:optional (tolerance 0.001) (guess 1)) (if (< (abs (- x (* guess guess))) tolerance) (values guess (abs (- x (* guess guess))) tolerance) (newton-sqrt x tolerance (/ (+ guess (/ x guess)) 2)))) (let-values ([(root diff tolerance) (newton-sqrt 1000)]) (display (exact->inexact diff)) ;; 1.217168231948292 (newline) (display tolerance) ;; 0.001 (newline) ;; bug here 1.217 in exact form apparently is smaller than 0.001 (display (< diff tolerance)) ;; #t (newline) (display (< diff (inexact->exact tolerance))) ;; #f (newline) (display (< (exact->inexact diff) tolerance)) ;; #f (newline)) guile version: guile --version guile (GNU Guile) 3.0.9 machine-type: ./config.guess x86_64-pc-linux-gnu system package: guix package -V guile guix package (GNU Guix) f18d13b5f89c161c6ee88d15ecdaa8d973ee4503 additional system info: guix channels.scm (list (channel (name 'guix) (url "https://git.savannah.gnu.org/git/guix.git") (branch "master") (commit "aeb494322ca9dec4a4d66a7d063239c8536bd538") (introduction (make-channel-introduction "9edb3f66fd807b096b48283debdcddccfea34bad" (openpgp-fingerprint "BBB0 2DDF 2CEA F6A8 0D1D E643 A2A0 6DF2 A33A 54FA"))))) what i ran to run the script: guix time-machine -C channels.scm -- shell --pure guile -- ./main.scm 1.217168231948292 0.001 #t #f #f ------------=_1710869462-11237-1--