Gentoo Logo
Gentoo Spaceship




Note: Due to technical difficulties, the Archives are currently not up to date. GMANE provides an alternative service for most mailing lists.
c.f. bug 424647
List Archive: gentoo-amd64
Navigation:
Lists: gentoo-amd64: < Prev By Thread Next > < Prev By Date Next >
Headers:
To: gentoo-amd64@g.o
From: Frank Peters <frank.peters@...>
Subject: Re: Possible Math Problem - Request For Verification
Date: Sun, 26 Jun 2011 16:33:17 -0400
On Sun, 26 Jun 2011 12:49:03 -0700
Mark Knecht <markknecht@...> wrote:

> 
> Do you have any info about _any_ system passing this 100% successfully?
> 

If you look at the log files for various systems that are found in the
original source code (http://www.netlib.org/fp) you will see that SunOS
passed 100% but SunOS with GCC did not.  These results were from 1995.

> What about that the code itself might have a bug in it?

The package is not documented at all, but the few references to the ucbtest
don't find any fault with it.

However, this thread has strayed a little from the main theme.  I just
happened to notice that the cabsd routines failed on my machine and
was wondering what could have caused the failure.  It turns out that
the latest GCC somehow produces bad code.

The ucbtest itself should not be of much concern.  The failures for
the trig functions, I assume, are because the error is greater than
1 ulp and the upper bound for these errors is usually stated to be
1 ulp (although this is not part of the IEEE standard).

But failures for ceil(), floor(), and cosh() do seem to be of some concern.
The file clib_DP.output should be examined to see what actually happened
with those functions.

There are other FP test packages available, although not many, and most
of these are without documentation and with messy source code as well.
Someone or some organization needs to write a comprehensive, well documented,
and neat test package for FP.  The problem is that FP is a very abstruse area
that few people want to bother with and that even fewer possess the
qualifications for.

Frank Peters



References:
Possible Math Problem - Request For Verification
-- Frank Peters
Re: Possible Math Problem - Request For Verification
-- Volker Armin Hemmann
Re: Possible Math Problem - Request For Verification
-- Frank Peters
Re: Possible Math Problem - Request For Verification
-- Volker Armin Hemmann
Re: Possible Math Problem - Request For Verification
-- Barry Schwartz
Re: Possible Math Problem - Request For Verification
-- Mark Knecht
Navigation:
Lists: gentoo-amd64: < Prev By Thread Next > < Prev By Date Next >
Previous by thread:
Re: Possible Math Problem - Request For Verification
Next by thread:
eix-test-obsolete
Previous by date:
Re: Possible Math Problem - Request For Verification
Next by date:
Re: unsubscribe


Updated Jun 28, 2012

Summary: Archive of the gentoo-amd64 mailing list.

Donate to support our development efforts.

Copyright 2001-2013 Gentoo Foundation, Inc. Questions, Comments? Contact us.