Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96) (envelope-from ) id 1vgIFz-00AVz0-1h for pgsql-hackers@arkaria.postgresql.org; Thu, 15 Jan 2026 07:59:04 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.96) (envelope-from ) id 1vgIFy-00FQW6-0r for pgsql-hackers@arkaria.postgresql.org; Thu, 15 Jan 2026 07:59:02 +0000 Received: from magus.postgresql.org ([2a02:c0:301:0:ffff::29]) by malur.postgresql.org with utf8esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96) (envelope-from <21043272@qq.com>) id 1vgIFx-00FQVu-1M for pgsql-hackers@lists.postgresql.org; Thu, 15 Jan 2026 07:59:02 +0000 Received: from out203-205-221-192.mail.qq.com ([203.205.221.192]) by magus.postgresql.org with utf8esmtps (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96) (envelope-from <21043272@qq.com>) id 1vgIFr-000a1I-1I for pgsql-hackers@lists.postgresql.org; Thu, 15 Jan 2026 07:59:00 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=qq.com; s=s201512; t=1768463918; bh=4acAIwcYHxzC3kw6voeT428xhTkBR4pqO1cSqGUSE0A=; h=From:To:Cc:Subject:Date:References:In-Reply-To; b=UdGuSgTDIG8Mlf5BJt+zAHi4i2QPNTEPc+45MDP3C7byxNsMpDY/5bLnaTp3F4AeM v2zHEcFS+p2hCNsi6FKnEnLdX2zcnQ3CBxwuZka3BdGs+Q1Y3A4IZ219g8oBH0DuL5 ePGjZ91p/tSEvDY2Cd/hy00QZoMozTeus5Ph08uw= X-QQ-XMRINFO: Mp0Kj//9VHAxyQapp0qhMqP0r151TxdVow== X-QQ-XMAILINFO: OGS1W7qf9Bhl3rtNLIjCKuGugbYVOipHoqO8tganKgo2HEAJxxF4lQEFn1xbHN vb109HYPf/7IuZs6A0jTE0E0CG1DbHinQBATaOU7Sm09U4XpSrIia+G91wSbCmbzptHa7/qGXPEpK 9iLKk4OZKWieThC2fah30ceGDQmtQa7E+X1nE5mp+DNs+VMkUDgbsSy3UpX3B7tXIL0Vyf8uqsSX7 5/ZANVexWItqndIPEm9JVcZw84TbB2uZ5S1qll90FrARyGg894LOUQRVLN49lFK62yWGX1px0RmtM ma+gBHe8a9QM5Gn6dhjPtcpyP3b02ml83ffg1u8njR7bbCWhneko+Jywn+X+9nVL2Ut5WxDrqlkl8 eFdNAhi/J/N+czlhWZDIIwVN5wpfPUYtUKv6y1dTGGOSzmjJbvxjbX+FL1FB4ZJQNFsNEI1jp1rBf 0duLUIgsgWV81e1KhnyBULzk7Nrh4nmJkiBUR+luTGCcocKQzff/Z2DbrNabNcsJ20VrT8qap8IKa AOxiwgcf5dxaokGPPkzQtsQEBHwJlOJwhrxiIRpxd8n+I6jHU1JwWM/dLypop8XLkfjn8b0ExTMcf Nr3FbpQoWoqcNs4GyZWFRNBZN+lIkH6ZHo5RdnEW4NsU9dyeRY4DRWNQXEZaIYyQoZgKvoVqY7mpH 05cCPpxFElLAxhhGIUOO1vp6np7XSYHba1x2jNuoMhAH3y6V+bo1KWYa0BBEs+3BG291twSrT9Mwj ICGUfoiXG4o94uHXTR+upAgE+Bq3v2QDOugqRXmHeZ+x7i3M3tDKw91Uyq9+YOr24nsIrThJfbV8a I6u1E7KArnu8pm7m7p30JWBvr6xpzdVWWKeab59BA7gLJmEcVeFkX7/izTi18MGtnlAmSV8fKuoXY SNiJyjzsTIkmKbpaC4uQQF9E9F0OyjPZmz+sdyKgKtkQc3QOaiWwqwoBdY9CGXR84QiQaHEbgvSgV 6r20t1zHKCYEP6dl1dyNsQFynHh849tqLVUvUKBl2R+ML6EZor1Rp80AJvwjacv/JXfy95uLGLOFw KeXSfAhfXTm10A7l5AmctDnn2mg== From: "=?utf-8?B?bGl1amlueWFuZw==?=" <21043272@qq.com> To: "=?utf-8?B?w4FsdmFybyBIZXJyZXJh?=" Cc: "=?utf-8?B?cGdzcWwtaGFja2Vycw==?=" Subject: Re: remove the unneeded header file math.h in binaryheap.c Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_69689E2C_8DFFFE60_42E94FFF" Content-Transfer-Encoding: 8Bit Date: Thu, 15 Jan 2026 15:58:36 +0800 X-Priority: 3 Message-ID: X-QQ-MIME: TCMime 1.0 by Tencent X-Mailer: QQMail 2.x X-QQ-Mailer: QQMail 2.x References: <202601131402.kjp7ceoxgr44@alvherre.pgsql> In-Reply-To: <202601131402.kjp7ceoxgr44@alvherre.pgsql> X-QQ-mid: xmsepub7-0t1768463916tahpnfp9k List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_69689E2C_8DFFFE60_42E94FFF Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 SGkgQWx2b3JhLCZuYnNwOw0KdGhhbmtzIGZvciB5b3VyIHJldmlldy4NClNvIHdoYSd0IHRo ZSBuZXh0IHNob3VsZCBJIGRvIGZvciBjb21taXQgaXQsIGJlY2F1c2UgdGhpcyBpcyBteSBm aXJzdCBwYXRjaC4NCg0KDQoNCg0KQmVzdCBSZWdhcmRzDQpsaXVqaW55YW5nDQoNCg0KDQoN CiAgICAgICAgIOWOn+Wni+mCruS7tg0KICAgICAgICAgDQogICAgICAgDQrlj5Hku7bkurrv vJrDgWx2YXJvIEhlcnJlcmEgPGFsdmhlcnJlQGt1cmlsZW11LmRlJmd0Ow0K5Y+R5Lu25pe2 6Ze077yaMjAyNuW5tDHmnIgxNOaXpSAwMToxOA0K5pS25Lu25Lq677yabGl1amlueWFuZyA8 MjEwNDMyNzJAcXEuY29tJmd0Ow0K5oqE6YCB77yacGdzcWwtaGFja2VycyA8cGdzcWwtaGFj a2Vyc0BsaXN0cy5wb3N0Z3Jlc3FsLm9yZyZndDsNCuS4u+mimO+8mlJlOiByZW1vdmUgdGhl IHVubmVlZGVkIGhlYWRlciBmaWxlIG1hdGguaCBpbiBiaW5hcnloZWFwLmMNCg0KDQoNCiAg ICAgICBPbiZuYnNwOzIwMjYtSmFuLTEzLCZuYnNwO2xpdWppbnlhbmcmbmJzcDt3cm90ZToN Cg0KJmd0OyZuYnNwO0hpJm5ic3A7SGFja2VycywNCiZndDsmbmJzcDsNCiZndDsmbmJzcDtJ Jm5ic3A7Zm91bmQmbmJzcDtpbiZuYnNwO2ZpbGUmbmJzcDtiaW5hcnloZWFwLmPvvIwmbmJz cDtmaWxlJm5ic3A7Im1hdGguaCImbmJzcDt3YXMmbmJzcDtpbmNsdWRlZCwmbmJzcDtidXQm bmJzcDtpdCZuYnNwO2lzJm5ic3A7dW5jZXNzYXJ5LCZuYnNwO3NvJm5ic3A7SSZuYnNwO3Jl bW92ZWQmbmJzcDtpdCZhbXA7bmJzcDsNCiZndDsmbmJzcDthbmQmbmJzcDtmaWxpbmcmbmJz cDthJm5ic3A7cGF0Y2gmbmJzcDt0byZuYnNwO2FkZHJlc3MmbmJzcDt0aGUmbmJzcDtpc3N1 ZS4NCg0KRnVuLiZuYnNwOyZuYnNwO1RoaXMmbmJzcDt3YXMmbmJzcDthbHJlYWR5Jm5ic3A7 dW5uZWNlc3NhcnkmbmJzcDthdCZuYnNwO2NvbW1pdCZuYnNwOzdhMmZlOWJkMDM3MSZuYnNw O3doaWNoDQppbnRyb2R1Y2VkJm5ic3A7dGhlJm5ic3A7ZmlsZS4mbmJzcDsmbmJzcDtJdCZu YnNwO3NlZW1zJm5ic3A7QWJoaWppdCZuYnNwO2hhZCZuYnNwO3RoYXQmbmJzcDtpbmNsdWRl Jm5ic3A7aW4mbmJzcDtoaXMmbmJzcDtmaXJzdA0KdmVyc2lvbiZuYnNwO1sxXSZuYnNwO2Jl Y2F1c2UmbmJzcDtoZSZuYnNwO3dhcyZuYnNwO3VzaW5nJm5ic3A7Zmxvb3IoKS4mbmJzcDsm bmJzcDsmbmJzcDtSb2JlcnQmbmJzcDtyZXdyb3RlJm5ic3A7aXQmbmJzcDtsYXRlciZuYnNw O1syXQ0KYW5kJm5ic3A7cmVwbGFjZWQmbmJzcDt0aGF0Jm5ic3A7d2l0aCZuYnNwO3N0cmFp Z2h0Jm5ic3A7YXJpdGhtZXRpYywmbmJzcDttYWtpbmcmbmJzcDt0aGUmbmJzcDtpbmNsdWRl DQp1bm5lY2Vzc2FyeSwmbmJzcDtidXQmbmJzcDtmb3Jnb3QmbmJzcDt0byZuYnNwO3JlbW92 ZSZuYnNwO2l0Lg0KDQpbMV0mbmJzcDtodHRwczovL3Bvc3Rnci5lcy9tLzIwMTIxMTE0MTMx MTEyLkdBMjc3NzFAdG9yb2lkLm9yZyZuYnNwOw0KWzJdJm5ic3A7aHR0cHM6Ly9wb3N0Z3Iu ZXMvbS9DQSUyQlRnbW9idlI3WFc5ZmpqMlJOWTdzS0stVkFHNW5haGZhaV96VjUxckhWTERO dmFCZyU0MG1haWwuZ21haWwuY29tDQoNCi0tJm5ic3A7DQrDgWx2YXJvJm5ic3A7SGVycmVy YSZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNw OyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOzQ4wrAwMSdOJm5ic3A7N8Kw NTcnRSZuYnNwOyZuYnNwO+KAlCZuYnNwOyZuYnNwO2h0dHBzOi8vd3d3LkVudGVycHJpc2VE Qi5jb20v ------=_NextPart_69689E2C_8DFFFE60_42E94FFF Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: base64 PGRpdiBzdHlsZT0ibGluZS1oZWlnaHQ6IDEuNDM7Ij48YnIgIC8+PC9kaXY+PGRpdiBzdHls ZT0iY29sb3I6IHJnYigwLCAwLCAwKTsgbGluZS1oZWlnaHQ6IDEuNDM7Ij5IaSBBbHZvcmEs Jm5ic3A7PC9kaXY+PGRpdiBzdHlsZT0iY29sb3I6IHJnYigwLCAwLCAwKTsgbGluZS1oZWln aHQ6IDEuNDM7Ij50aGFua3MgZm9yIHlvdXIgcmV2aWV3LjwvZGl2PjxkaXYgc3R5bGU9ImNv bG9yOiByZ2IoMCwgMCwgMCk7IGxpbmUtaGVpZ2h0OiAxLjQzOyI+U28gd2hhJ3QgdGhlIG5l eHQgc2hvdWxkIEkgZG8gZm9yIGNvbW1pdCBpdCwgYmVjYXVzZSB0aGlzIGlzIG15IGZpcnN0 IHBhdGNoLjwvZGl2PjxkaXYgc3R5bGU9ImNvbG9yOiByZ2IoMCwgMCwgMCk7IGxpbmUtaGVp Z2h0OiAxLjQzOyI+PGJyICAvPjwvZGl2PjxkaXYgc3R5bGU9ImNvbG9yOiByZ2IoMCwgMCwg MCk7IGxpbmUtaGVpZ2h0OiAxLjQzOyI+PGJyICAvPjwvZGl2PjxkaXYgc3R5bGU9ImNvbG9y OiByZ2IoMCwgMCwgMCk7IGxpbmUtaGVpZ2h0OiAxLjQzOyI+QmVzdCBSZWdhcmRzPC9kaXY+ PGRpdiBzdHlsZT0iZm9udC1mYW1pbHk6IC1hcHBsZS1zeXN0ZW0sIHN5c3RlbS11aTsgZm9u dC1zaXplOiAxNHB4OyBjb2xvcjogcmdiKDAsIDAsIDApOyBsaW5lLWhlaWdodDogMS40Mzsi PmxpdWppbnlhbmc8L2Rpdj48ZGl2IHN0eWxlPSJjb2xvcjogcmdiKDAsIDAsIDApOyBsaW5l LWhlaWdodDogMS40MzsiPjxiciAgLz48L2Rpdj48ZGl2IHN0eWxlPSJjb2xvcjogcmdiKDAs IDAsIDApOyBsaW5lLWhlaWdodDogMS40MzsiPjxiciAgLz48L2Rpdj48YXJ0aWNsZSBzdHls ZT0ibGluZS1oZWlnaHQ6IDEuNDM7Ij48ZGl2IHN0eWxlPSJkaXNwbGF5OmZsZXg7YWxpZ24t aXRlbXM6Y2VudGVyO3BhZGRpbmctdG9wOjhweCIgY29udGVudGVkaXRhYmxlPSJmYWxzZSI+ CiAgICAgICAgPGRpdiBzdHlsZT0iY29sb3I6Izk1OURBNjtmb250LXNpemU6MTJweDtsaW5l LWhlaWdodDozMHB4Ij7ljp/lp4vpgq7ku7Y8L2Rpdj4KICAgICAgICA8aHIgc3R5bGU9ImJv cmRlcjogbm9uZTtmbGV4LWdyb3c6MTtib3JkZXItdG9wOjFweCBzb2xpZCByZ2JhKDIxLCA0 NiwgNzQsIDAuMDcpO21hcmdpbi1sZWZ0OjhweCIgIC8+CiAgICAgIDwvZGl2Pjx0YWJsZSBk YXRhLXVuZWRpdGFibGU9InRydWUiIHN0eWxlPSJsaW5lLWhlaWdodDogMjBweDsgYm9yZGVy LXJhZGl1czogNnB4OyBiYWNrZ3JvdW5kLWNvbG9yOiByZ2JhKDIwLCA0NiwgNzcsIDAuMDUp OyBtYXJnaW46IDBweDsgd2lkdGg6IDEwMCU7Ij48dGJvZHk+PHRyPjx0ZCBzdHlsZT0ibGlu ZS1oZWlnaHQ6IDIwcHg7IHBhZGRpbmc6IDhweDsiPjxkaXYgc3R5bGU9ImxpbmUtaGVpZ2h0 OiAyMHB4OyBmb250LXNpemU6IDEycHg7Ij48c3BhbiBzdHlsZT0iY29sb3I6IHJnYig5Miwg OTcsIDEwMik7Ij7lj5Hku7bkurrvvJo8L3NwYW4+PHNwYW4gc3R5bGU9ImNvbG9yOiByZ2Io MCwgMCwgMCk7Ij7DgWx2YXJvIEhlcnJlcmE8L3NwYW4+IDxzcGFuIHN0eWxlPSJjb2xvcjog cmdiKDE0OSwgMTU3LCAxNjYpOyI+Jmx0O2FsdmhlcnJlQGt1cmlsZW11LmRlJmd0Ozwvc3Bh bj48L2Rpdj48ZGl2IHN0eWxlPSJsaW5lLWhlaWdodDogMjBweDsgZm9udC1zaXplOiAxMnB4 OyI+PHNwYW4gc3R5bGU9ImNvbG9yOiByZ2IoOTIsIDk3LCAxMDIpOyI+5Y+R5Lu25pe26Ze0 77yaPC9zcGFuPjxzcGFuIHN0eWxlPSJjb2xvcjogcmdiKDAsIDAsIDApOyI+MjAyNuW5tDHm nIgxNOaXpSAwMToxODwvc3Bhbj48L2Rpdj48ZGl2IHN0eWxlPSJsaW5lLWhlaWdodDogMjBw eDsgZm9udC1zaXplOiAxMnB4OyI+PHNwYW4gc3R5bGU9ImNvbG9yOiByZ2IoOTIsIDk3LCAx MDIpOyI+5pS25Lu25Lq677yaPC9zcGFuPjxzcGFuIHN0eWxlPSJjb2xvcjogcmdiKDAsIDAs IDApOyI+bGl1amlueWFuZzwvc3Bhbj4gPHNwYW4gc3R5bGU9ImNvbG9yOiByZ2IoMTQ5LCAx NTcsIDE2Nik7Ij4mbHQ7MjEwNDMyNzJAcXEuY29tJmd0Ozwvc3Bhbj48L2Rpdj48ZGl2IHN0 eWxlPSJsaW5lLWhlaWdodDogMjBweDsgZm9udC1zaXplOiAxMnB4OyI+PHNwYW4gc3R5bGU9 ImNvbG9yOiByZ2IoOTIsIDk3LCAxMDIpOyI+5oqE6YCB77yaPC9zcGFuPjxzcGFuIHN0eWxl PSJjb2xvcjogcmdiKDAsIDAsIDApOyI+cGdzcWwtaGFja2Vyczwvc3Bhbj4gPHNwYW4gc3R5 bGU9ImNvbG9yOiByZ2IoMTQ5LCAxNTcsIDE2Nik7Ij4mbHQ7cGdzcWwtaGFja2Vyc0BsaXN0 cy5wb3N0Z3Jlc3FsLm9yZyZndDs8L3NwYW4+PC9kaXY+PGRpdiBzdHlsZT0ibGluZS1oZWln aHQ6IDIwcHg7IGZvbnQtc2l6ZTogMTJweDsiPjxzcGFuIHN0eWxlPSJjb2xvcjogcmdiKDky LCA5NywgMTAyKTsiPuS4u+mimO+8mjwvc3Bhbj48c3BhbiBzdHlsZT0iY29sb3I6IHJnYigw LCAwLCAwKTsiPlJlOiByZW1vdmUgdGhlIHVubmVlZGVkIGhlYWRlciBmaWxlIG1hdGguaCBp biBiaW5hcnloZWFwLmM8L3NwYW4+PC9kaXY+PC90ZD48L3RyPjwvdGJvZHk+PC90YWJsZT48 ZGl2PjxiciAgLz48L2Rpdj4KICAgICAgT24mbmJzcDsyMDI2LUphbi0xMywmbmJzcDtsaXVq aW55YW5nJm5ic3A7d3JvdGU6PGJyICAvPjxiciAgLz4mZ3Q7Jm5ic3A7SGkmbmJzcDtIYWNr ZXJzLDxiciAgLz4mZ3Q7Jm5ic3A7PGJyICAvPiZndDsmbmJzcDtJJm5ic3A7Zm91bmQmbmJz cDtpbiZuYnNwO2ZpbGUmbmJzcDtiaW5hcnloZWFwLmPvvIwmbmJzcDtmaWxlJm5ic3A7Im1h dGguaCImbmJzcDt3YXMmbmJzcDtpbmNsdWRlZCwmbmJzcDtidXQmbmJzcDtpdCZuYnNwO2lz Jm5ic3A7dW5jZXNzYXJ5LCZuYnNwO3NvJm5ic3A7SSZuYnNwO3JlbW92ZWQmbmJzcDtpdCZh bXA7bmJzcDs8YnIgIC8+Jmd0OyZuYnNwO2FuZCZuYnNwO2ZpbGluZyZuYnNwO2EmbmJzcDtw YXRjaCZuYnNwO3RvJm5ic3A7YWRkcmVzcyZuYnNwO3RoZSZuYnNwO2lzc3VlLjxiciAgLz48 YnIgIC8+RnVuLiZuYnNwOyZuYnNwO1RoaXMmbmJzcDt3YXMmbmJzcDthbHJlYWR5Jm5ic3A7 dW5uZWNlc3NhcnkmbmJzcDthdCZuYnNwO2NvbW1pdCZuYnNwOzdhMmZlOWJkMDM3MSZuYnNw O3doaWNoPGJyICAvPmludHJvZHVjZWQmbmJzcDt0aGUmbmJzcDtmaWxlLiZuYnNwOyZuYnNw O0l0Jm5ic3A7c2VlbXMmbmJzcDtBYmhpaml0Jm5ic3A7aGFkJm5ic3A7dGhhdCZuYnNwO2lu Y2x1ZGUmbmJzcDtpbiZuYnNwO2hpcyZuYnNwO2ZpcnN0PGJyICAvPnZlcnNpb24mbmJzcDtb MV0mbmJzcDtiZWNhdXNlJm5ic3A7aGUmbmJzcDt3YXMmbmJzcDt1c2luZyZuYnNwO2Zsb29y KCkuJm5ic3A7Jm5ic3A7Jm5ic3A7Um9iZXJ0Jm5ic3A7cmV3cm90ZSZuYnNwO2l0Jm5ic3A7 bGF0ZXImbmJzcDtbMl08YnIgIC8+YW5kJm5ic3A7cmVwbGFjZWQmbmJzcDt0aGF0Jm5ic3A7 d2l0aCZuYnNwO3N0cmFpZ2h0Jm5ic3A7YXJpdGhtZXRpYywmbmJzcDttYWtpbmcmbmJzcDt0 aGUmbmJzcDtpbmNsdWRlPGJyICAvPnVubmVjZXNzYXJ5LCZuYnNwO2J1dCZuYnNwO2Zvcmdv dCZuYnNwO3RvJm5ic3A7cmVtb3ZlJm5ic3A7aXQuPGJyICAvPjxiciAgLz5bMV0mbmJzcDto dHRwczovL3Bvc3Rnci5lcy9tLzIwMTIxMTE0MTMxMTEyLkdBMjc3NzFAdG9yb2lkLm9yZyZu YnNwOzxiciAgLz5bMl0mbmJzcDtodHRwczovL3Bvc3Rnci5lcy9tL0NBJTJCVGdtb2J2UjdY VzlmamoyUk5ZN3NLSy1WQUc1bmFoZmFpX3pWNTFySFZMRE52YUJnJTQwbWFpbC5nbWFpbC5j b208YnIgIC8+PGJyICAvPi0tJm5ic3A7PGJyICAvPsOBbHZhcm8mbmJzcDtIZXJyZXJhJm5i c3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5i c3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7NDjCsDAxJ04mbmJzcDs3wrA1NydF Jm5ic3A7Jm5ic3A74oCUJm5ic3A7Jm5ic3A7aHR0cHM6Ly93d3cuRW50ZXJwcmlzZURCLmNv bS8KPC9hcnRpY2xlPjxkaXYgc3R5bGU9ImxpbmUtaGVpZ2h0OiAxLjQzOyI+PGJyICAvPjwv ZGl2Pg== ------=_NextPart_69689E2C_8DFFFE60_42E94FFF--