Received: from mout.gmx.net (mout.gmx.net [212.227.17.21]) by h1439878.stratoserver.net (8.14.2/8.14.2/Debian-2build1) with ESMTP id s6ADl1Wk029779 for ; Thu, 10 Jul 2014 15:47:03 +0200 Received: from relay2.uni-heidelberg.de ([129.206.210.211]) by mx-ha.gmx.net (mxgmx110) with ESMTPS (Nemesis) id 0M3MlQ-1WnZJG0fwG-00qz2y for ; Thu, 10 Jul 2014 15:46:55 +0200 Received: from listserv.uni-heidelberg.de (listserv.uni-heidelberg.de [129.206.100.94]) by relay2.uni-heidelberg.de (8.13.8/8.13.8) with ESMTP id s6ADi74b029128 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Thu, 10 Jul 2014 15:44:07 +0200 Received: from listserv.uni-heidelberg.de (listserv.uni-heidelberg.de [127.0.0.1]) by listserv.uni-heidelberg.de (8.13.8/8.13.8) with ESMTP id s6ACc0pD013158; Thu, 10 Jul 2014 15:44:06 +0200 Received: by LISTSERV.UNI-HEIDELBERG.DE (LISTSERV-TCP/IP release 16.0) with spool id 11301136 for LATEX-L@LISTSERV.UNI-HEIDELBERG.DE; Thu, 10 Jul 2014 15:44:06 +0200 Received: from relay.uni-heidelberg.de (relay.uni-heidelberg.de [129.206.100.212]) by listserv.uni-heidelberg.de (8.13.8/8.13.8) with ESMTP id s6ADi60v004095 for ; Thu, 10 Jul 2014 15:44:06 +0200 Received: from mail-qc0-f175.google.com (mail-qc0-f175.google.com [209.85.216.175]) by relay.uni-heidelberg.de (8.14.1/8.14.1) with ESMTP id s6ADh6rR024059 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=FAIL) for ; Thu, 10 Jul 2014 15:43:09 +0200 Received: by mail-qc0-f175.google.com with SMTP id i8so7853759qcq.6 for ; Thu, 10 Jul 2014 06:43:06 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.140.23.102 with SMTP id 93mr73798756qgo.2.1404999786158; Thu, 10 Jul 2014 06:43:06 -0700 (PDT) Received: by 10.96.212.1 with HTTP; Thu, 10 Jul 2014 06:43:06 -0700 (PDT) References: <53A12567.90105@clear.net.nz> Content-Type: text/plain; charset=UTF-8 Message-ID: Date: Thu, 10 Jul 2014 09:43:06 -0400 Reply-To: Mailing list for the LaTeX3 project Sender: Mailing list for the LaTeX3 project From: Bruno Le Floch Subject: Re: Bug in l3fp To: LATEX-L@LISTSERV.UNI-HEIDELBERG.DE In-Reply-To: Precedence: list List-Help: , List-Unsubscribe: List-Subscribe: List-Owner: List-Archive: Envelope-To: X-GMX-Antispam: 0 (Mail was not recognized as spam); Detail=V3; X-GMX-Antivirus: 0 (no virus found) X-UI-Filterresults: notjunk:1;V01:K0:AtVi47a6Au8=:3whdJmSq49IXrSb12JwJbqQ7MF CMWMfeNol9ncHqig85SZNts0EKJcmyiwVeHE1ZyhVFi5payhtEFLTTpeubiVgaFdOjWlXRNdv 8fZbpyub1z/dTzUVSikJXFFYesO6Ec8BxRrXVEz9oSHdNKeNf26B4aZMsftaQBSmFdAzRvPom +0Kj1tPsE9tFjUUBAhHYHyoP5PviNL/W7tiuRNH5t5F47Tn95TIV7MiQ0T1esD0Bg26bS1VTo 6LXdoQScBZVzVFzWnoJe7WI5JFRAqqBnaCxTAQFhMhNftvOMf7gZG0BY/kFli4WtR0WcxEY70 9aW7f4wtuZQVcepYhkVemoeLrou4DjFYhjfhTH6/lcFcF8PT5xFgXouAXKmCb/03Ukj06JCcO dnmdBI+xdN8QApEXTlifZ//E+3PhQ6HrM148ck6dmKEJS8cgv1Dpp1hvKLKlEohl5Z9vUbfAq ywaK2GknPFg2KCzGU53dLgzzsbbGYZxjNPvto2P/Vet9d2unV5Gs6fLPDMwPfhVQdDICTTV1a CvHLRLhewGI5X1YKxLZbbk/4THc1u5713oE3pLKUOZHqN+/c0CVGLD3UTovxdp95hYr3j+5iX +zNxseouUxWDbBmM8leHaAHfd5cRxmO7k0WLAysXudjA6hYFiohHrmtRvcGFvW7yiuWDIA+Td bil6vUFIP9M67xzPV/ngUBZGrezLLxyQ9YMYS5L92prQN0CkCkxXAsWa6DWguwFDo+4je6x8C FlMQfjbRKaqdbEovFapfV6khNtLB4vwQx1jIZ2guvQZQvcZoXf4c7CJCGM0ELM64nqej6c8+3 qZKOrkn4QQuUg1fSKHOoH94ZHSJY3H9PAq7W/cLMegH00DtsYxcoBAh31ZUkV9juy2Uh4yMBp x1vhv3z291Td5aUq8Kk6a7xbwYtLIjGaiS29sA750jznd26n0wUKg3gWeNLaAmS9bOjM+NKqP 9EhzRT3wwbzbpc4QEeFu5ibSvvNcDUzZ56Li4uZlLIiHq9euD0VX2fo0EPTeYz1gpRRw0/QLG p5eRV5xpAQQH4qyzGXbjSZEbjA9OO5Sz7a53izYlHxftugbL/gVJuVroTM0l4uCTM2/q1wvh4 ulbfWZSFS2Q2aHQ874mfjumWhbpBZKFT13adAFLu6woXI552tj45xfxmKmuy+KNIBLTMoRYNz SM4KvP8iyvh68ARNjLOKWL3r0zmousHIkW8cVOtU79wHJB06CCO0THlIaMjAfrlP0pPz5I5TP PkKDPzw7cv3fS/gWyVmCOfogKsMYIl6M/fmdtL/juCzWYe/VHBxZ57f9PXqU06EqoaPhojKuD EPww6WJFj6t66FGsoiqEQmnno7NWnd/NV5ej+FOKICtJnVorlleEwe+PjGpQy2Ur0C8vFaki8 MO/VfbYhrr02X6FUDQ/+sVMMtIIk1dEgVLoUFmS1qYtIyDRpu4kGZDH3MSpc02x51L9Kz1ut9 LzO6CvQPqMMglfkx3EQI7q/gSCT3Ohmaf2sm7CwMp/aGVvNWxmSzzOJElaJxoEWmrMbMTFGT6 JovAD38IkwuMb2ahkHpLSkdzzxpI1iFfiE4PdtqAfNjbL9oI0H6m38gdY5Ncvmb56CFXj4+QZ c2eQM3xc2VX5QiCD4LiOQZc7wGX8zS6N X-UI-Loop:V01:2m+F5W1LDAw=:3J4vOsTBTnv88VA0KlCL3OOegCiMjrSTuS/XEp4nBxM= Status: R X-Status: X-Keywords: X-UID: 7538 Ah, also I should note that using braces for exponents in l3fp is wrong. It turns out to work incidentally, because these specific braces are basically ignored, so you get (1+1/1010)^1010. On 7/10/14, Bruno Le Floch wrote: > Hello Andrew, > > Very clearly a bug. Comes from a bug in the log function (well, the > more precise internal version that is used when computing powers) in > the range [1.00099009, 1.0009901) it seems, and probably some other > ranges. I'll investigate. > > Also, I'll likely answer at some point in the next couple of days to > your juxtaposition email. Sorry for the delay. > > Regards, > Bruno > > On 6/18/14, aparsloe wrote: >> \fp_eval:n { exp(1) - (1+1/1009)^{1009} } -> 0.001346 >> \fp_eval:n { exp(1) - (1+1/1010)^{1010} } -> 0.001613 >> \fp_eval:n { exp(1) - (1+1/1011)^{1011} } -> 0.001343 >