Date: Fri, 14 Sep 2012 19:26:55 -0500 From: Stephen Montgomery-Smith <stephen@missouri.edu> To: Bruce Evans <brde@optusnet.com.au> Cc: freebsd-numerics@freebsd.org Subject: Re: cexp error Message-ID: <5053CB4F.3030709@missouri.edu> In-Reply-To: <20120914143553.X870@besplex.bde.org> References: <5017111E.6060003@missouri.edu> <501D9C36.2040207@missouri.edu> <20120805175106.X3574@besplex.bde.org> <501EC015.3000808@missouri.edu> <20120805191954.GA50379@troutmask.apl.washington.edu> <20120807205725.GA10572@server.rulingia.com> <20120809025220.N4114@besplex.bde.org> <5027F07E.9060409@missouri.edu> <20120814003614.H3692@besplex.bde.org> <50295F5C.6010800@missouri.edu> <20120814072946.S5260@besplex.bde.org> <50297CA5.5010900@missouri.edu> <50297E43.7090309@missouri.edu> <20120814201105.T934@besplex.bde.org> <502A780B.2010106@missouri.edu> <20120815223631.N1751@besplex.bde.org> <502C0CF8.8040003@missouri.edu> <20120906221028.O1542@besplex.bde.org> <5048D00B.8010401@missouri.edu> <504D3CCD.2050006@missouri.edu> <504FF726.9060001@missouri.edu> <20120912191556.F1078@besplex.bde.org> <20120912225847.J1771@besplex.bde.org> <50511B40.3070009@missouri.edu> <20120913204808.T1964@besplex.bde.org> <5052A923.9030806@missouri.edu> <20120914143553.X870@besplex.bde.org>
next in thread | previous in thread | raw e-mail | index | archive | help
On 09/14/2012 01:05 AM, Bruce Evans wrote: > My tests also determined the exact minimum for all multiples up to the > thresholds for "large" multiples in e_rem_pio2.c, except for ld128, > to verify that there are enough bits in the special approximations for > Pi/2 there, except for ld128. The maximum multiples handled there are > 2**28*Pi/2, except for ld128 they are 2**45*Pi/2. 2**45 is too many > to check exhaustively. But presumably one could prove a result to this effect using continued fractions, right?
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?5053CB4F.3030709>