From owner-freebsd-numerics@FreeBSD.ORG Sun Jul 29 22:27:31 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 85D9D106566B; Sun, 29 Jul 2012 22:27:31 +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 C24578FC16; Sun, 29 Jul 2012 22:27:27 +0000 (UTC) Received: from server.rulingia.com (c220-239-247-45.belrs5.nsw.optusnet.com.au [220.239.247.45]) by vps.rulingia.com (8.14.5/8.14.5) with ESMTP id q6TMREDt080437 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK); Mon, 30 Jul 2012 08:27:14 +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 q6TMR7u7063127 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Mon, 30 Jul 2012 08:27:07 +1000 (EST) (envelope-from peter@server.rulingia.com) Received: (from peter@localhost) by server.rulingia.com (8.14.5/8.14.5/Submit) id q6TMR6Vg063126; Mon, 30 Jul 2012 08:27:06 +1000 (EST) (envelope-from peter) Date: Mon, 30 Jul 2012 08:27:06 +1000 From: Peter Jeremy To: freebsd-numerics@freebsd.org Message-ID: <20120729222706.GA29048@server.rulingia.com> References: <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> <50148F02.4020104@missouri.edu> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="a8Wt8u1KmwUX3Y2C" Content-Disposition: inline In-Reply-To: <50148F02.4020104@missouri.edu> X-PGP-Key: http://www.rulingia.com/keys/peter.pgp User-Agent: Mutt/1.5.21 (2010-09-15) X-Mailman-Approved-At: Sun, 29 Jul 2012 22:36:51 +0000 Cc: Diane Bruce , Bruce Evans , John Baldwin , David Chisnall , Stephen Montgomery-Smith , 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 Reply-To: freebsd-numerics@freebsd.org 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, 29 Jul 2012 22:27:31 -0000 --a8Wt8u1KmwUX3Y2C Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable [For anyone not previously in on this discussion, this is part of an ongoing discussion that has been occurring off-list in the absence of a suitable list. It is planned to archive that discussion here, subject to all the participants agreeing]. On 2012-Jul-28 20:16:50 -0500, Stephen Montgomery-Smith wrote: >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=20 >and conjugate invariant.) As it currently exists, my program solely implements the checks in WG14/N1256 G.6. I hadn't considered extending that to verifying that purely real or imaginary inputs give purely real or imaginary outputs, with the appropriately signed zero. This might be reasonable but it's not completely trivial to implement in general since the domains of the real part can be different. I'm less sure of the next logical step, which is to check things like casinh(x + I*0) =3D asinh(x) + I*0 --=20 Peter Jeremy --a8Wt8u1KmwUX3Y2C Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.19 (FreeBSD) iEYEARECAAYFAlAVuLoACgkQ/opHv/APuIcCtQCeL99bycVrFH4+cqxv/OaTyEyT lbMAn3MfLsRw9agSh6jcz4bgJFzMmFE2 =iTj6 -----END PGP SIGNATURE----- --a8Wt8u1KmwUX3Y2C--