correctly-rounded elementary function test programs

[Larry Westerman]

My company sells as an off-the-shelf product, a C-language IEEE
emulation library, and companion transcendental function set, with user-
selectable precision (currently up to a limit of 512 bits, but this can
be extended indefinitely).  As you observe in your article, the algorithms
for the transcendental functions are slow, but yield results which are
accurate to within the last few bits at a given mantissa width.  The
IEEE arithmetic package is fully compliant with the standard, and uses
only integer arithmetic.  We use this internally for the development and
testing of transcendental function libraries, and have sold it to several
clients for their own use in testing our libraries as well as those of
others, and to allow them to provide IEEE-compatible arithmetic on
integer-only machines.


Larry Westerman  Quantitative Technology Corporation  Beaverton OR 503-626-3081
   ...verdix! or ...sequent! qtc!law