Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 28 Jul 2012 20:16:50 -0500
From:      Stephen Montgomery-Smith <stephen@missouri.edu>
To:        Peter Jeremy <peter@rulingia.com>
Cc:        Diane Bruce <db@db.net>, Bruce Evans <brde@optusnet.com.au>, John Baldwin <jhb@freebsd.org>, David Chisnall <theraven@freebsd.org>, Bruce Evans <bde@freebsd.org>, Steve Kargl <sgk@troutmask.apl.washington.edu>, David Schultz <das@freebsd.org>, Warner Losh <imp@bsdimp.com>
Subject:   Re: Use of C99 extra long double math functions after r236148
Message-ID:  <50148F02.4020104@missouri.edu>
Resent-Message-ID: <20120812230449.GR20453@server.rulingia.com>
In-Reply-To: <20120728231300.GA20741@server.rulingia.com>
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>

next in thread | previous in thread | raw e-mail | index | archive | help
On 07/28/2012 06:13 PM, Peter Jeremy wrote:
> On 2012-Jul-28 16:59:23 -0500, Stephen Montgomery-Smith <stephen@missouri.edu> 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.)





Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?50148F02.4020104>