From owner-freebsd-numerics@FreeBSD.ORG Sun Aug 12 23:04:56 2012 Return-Path: Delivered-To: freebsd-numerics@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id 04136106564A for ; Sun, 12 Aug 2012 23:04:56 +0000 (UTC) (envelope-from peter@rulingia.com) Received: from vps.rulingia.com (host-122-100-2-194.octopus.com.au [122.100.2.194]) by mx1.freebsd.org (Postfix) with ESMTP id 921D08FC1C for ; Sun, 12 Aug 2012 23:04:55 +0000 (UTC) Received: from server.rulingia.com (c220-239-249-137.belrs5.nsw.optusnet.com.au [220.239.249.137]) by vps.rulingia.com (8.14.5/8.14.5) with ESMTP id q7CN4tPZ075679 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK) for ; Mon, 13 Aug 2012 09:04:55 +1000 (EST) (envelope-from peter@rulingia.com) X-Bogosity: Ham, spamicity=0.000000 Received: from server.rulingia.com (localhost.rulingia.com [127.0.0.1]) by server.rulingia.com (8.14.5/8.14.5) with ESMTP id q7CN4nha021278 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 13 Aug 2012 09:04:49 +1000 (EST) (envelope-from peter@server.rulingia.com) Received: (from peter@localhost) by server.rulingia.com (8.14.5/8.14.5/Submit) id q7CN4nW3021277 for freebsd-numerics@freebsd.org; Mon, 13 Aug 2012 09:04:49 +1000 (EST) (envelope-from peter) Resent-From: Peter Jeremy Resent-Date: Mon, 13 Aug 2012 09:04:49 +1000 Resent-Message-ID: <20120812230449.GR20453@server.rulingia.com> Resent-To: freebsd-numerics@freebsd.org Received: from vps.rulingia.com (host-122-100-2-194.octopus.com.au [122.100.2.194]) by server.rulingia.com (8.14.5/8.14.5) with ESMTP id q6T1HF2i074119 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK) for ; Sun, 29 Jul 2012 11:17:15 +1000 (EST) (envelope-from stephen@missouri.edu) Received: from wilberforce.math.missouri.edu (wilberforce.math.missouri.edu [128.206.184.213]) by vps.rulingia.com (8.14.5/8.14.5) with ESMTP id q6T1HCPf072918 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Sun, 29 Jul 2012 11:17:14 +1000 (EST) (envelope-from stephen@missouri.edu) Received: from [127.0.0.1] (wilberforce.math.missouri.edu [128.206.184.213]) by wilberforce.math.missouri.edu (8.14.5/8.14.5) with ESMTP id q6T1GoY9099800; Sat, 28 Jul 2012 20:16:51 -0500 (CDT) (envelope-from stephen@missouri.edu) Message-ID: <50148F02.4020104@missouri.edu> Date: Sat, 28 Jul 2012 20:16:50 -0500 From: Stephen Montgomery-Smith Mail-Followup-To: freebsd-numerics@freebsd.org User-Agent: Mozilla/5.0 (X11; Linux i686; rv:14.0) Gecko/20120714 Thunderbird/14.0 MIME-Version: 1.0 To: Peter Jeremy References: <20120717232740.GA95026@troutmask.apl.washington.edu> <20120718001337.GA87817@server.rulingia.com> <20120718123627.D1575@besplex.bde.org> <20120722121219.GC73662@server.rulingia.com> <500DAD41.5030104@missouri.edu> <20120724113214.G934@besplex.bde.org> <501204AD.30605@missouri.edu> <20120727032611.GB25690@server.rulingia.com> <20120728125824.GA26553@server.rulingia.com> <501460BB.30806@missouri.edu> <20120728231300.GA20741@server.rulingia.com> In-Reply-To: <20120728231300.GA20741@server.rulingia.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Cc: Diane Bruce , Bruce Evans , John Baldwin , David Chisnall , Bruce Evans , Steve Kargl , David Schultz , Warner Losh Subject: Re: Use of C99 extra long double math functions after r236148 X-BeenThere: freebsd-numerics@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Discussions of high quality implementation of libm functions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 12 Aug 2012 23:04:56 -0000 On 07/28/2012 06:13 PM, Peter Jeremy wrote: > On 2012-Jul-28 16:59:23 -0500, Stephen Montgomery-Smith wrote: >> On 07/28/2012 07:58 AM, Peter Jeremy wrote: >>> Whilst I was debugging the code, I found the following elisp useful >>> for post-processing the output: >>> >>> (progn (downcase-region (point-min) (point-max)) >>> (repl-regexp "^ [ ]c" "..c") >>> (repl-regexp "^ c" ".c") > ... > > Oops, I forgot that repl-regexp is one of my private functions: > > (defun repl-regexp (from to) > "Replace every occurrence of regexp FROM with TO in current buffer." > (goto-char (point-min)) > (while (search-forward-regexp from nil t) > (replace-match to nil nil))) > > Note that it's safe to execute that progn in the buffer contaning ctest > output. > >> It is a really nice program. > > Thanks. > >> I forgot - does it check the fenv settings as well? It would be great >> if it does. > > Not yet. That's my next task. I've also been thinking about how to do > better than cpow(x,y) = cexp(y*clog(x)). > One thing your program doesn't check are things like: real part of casinh(-0+I*x) is -0 imaginary part of casinh(x-I*0) is -0 etc, where x is finite, non-zero. (This follows from casinh being odd and conjugate invariant.)