From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Maciej Newsgroups: gmane.lisp.guile.bugs Subject: bug#69725: Incorrect comapration between exact and inexact numbers Date: Mon, 11 Mar 2024 08:46:16 +0100 Message-ID: Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="40230"; mail-complaints-to="usenet@ciao.gmane.io" To: 69725@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Mon Mar 11 08:52:49 2024 Return-path: Envelope-to: guile-bugs@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 1rjaSn-000AEv-1p for guile-bugs@m.gmane-mx.org; Mon, 11 Mar 2024 08:52:49 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rjaSV-0003v0-2e; Mon, 11 Mar 2024 03:52:31 -0400 Original-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 1rjaST-0003un-9T for bug-guile@gnu.org; Mon, 11 Mar 2024 03:52:29 -0400 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rjaST-0000Cc-1N for bug-guile@gnu.org; Mon, 11 Mar 2024 03:52:29 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rjaT0-0005S3-NC for bug-guile@gnu.org; Mon, 11 Mar 2024 03:53:02 -0400 X-Loop: help-debbugs@gnu.org 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-Debbugs-Original-To: bug-guile@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.171014353920901 (code B ref -1); Mon, 11 Mar 2024 07:53:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 11 Mar 2024 07:52:19 +0000 Original-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 Original-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 Original-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 Original-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== Original-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 Original-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 rom: Maciej 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> 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/9Ebj2DS1sDP7Om1kiDTHYnc4LVp3t1bA6fhd4IQ3jrvXzZWZe7EeYokkJd5Go4YWJxWudswvCLyYzK5sb9hn35eQpfPevjGgxhjaGta06mDwDahCSye7uJEI7PWGGNtpT9aK BHAH4YEcEEOtGtJOo/gBJ26yZvdAyISXqmtJ+EhppeivjMrV9jH8tvdWpP42cntj8tAeQtZGkU5/A0/Uz0zwjq6fpklDgRJigW 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list 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-mx.org@gnu.org Original-Sender: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.bugs:10787 Archived-At: 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