|
On 1/21/2016 12:34 PM, Ulrich Kulisch
wrote:
Am 19.01.2016 um 00:11 schrieb
Richard Fateman:
...................................
I think that niche standards such as 1788 have a limited
opportunity to alter
the computing environment. I expect 1788 to be visible in the
development
and distribution of standards-conforming software libraries. If
EDP is
such a valuable tool for such libraries, implementers should
include it as
an internal component for those routines that benefit from it.
Perhaps it should be made visible as an API to library users.
As far
as I can see, it would not fit neatly into conventional
programming languages.
Richard
It is certainly possible to incorporate multiple-precision
floating-point datatypes into
some languages. If incorporating EDP also implies support for
objects of dotprecision
or "complete" floats, then do we require the computation of log and
cos,
and allow intervals with endpoints of these objects? Where do we
draw the line?
It seems we end up with something like MPFR (which I personally
find useful)
but how far must the standard be stretched to include it? How
complicated a
specification must we write out to reduce the complexity of the
standard?
Richard:
the problem how to include the EDP into conventional programming
languages has been solved more than 25 years ago. See the
literature listed below. ACRITH-XSC is a Fortran-77 exrension for
the S/370 architecture. [4] describes among others how the EDP is
implemented on the S/370 architecture.
You may find some of the literature in your library.
Best wishes
Ulrich
[1] R. Klatte, U. Kulisch, M. Neaga, D. Ratz and Ch. Ullrich,
PASCAL-XSC – Sprachbeschreibung mit Beispielen,
Springer, Berlin Heidelberg New York, 1991.
See also http://www2.math.uni-wuppertal.de/
xsc/ or http://www.xsc.de/.
[2] R. Klatte, U. Kulisch, M. Neaga, D. Ratz and Ch. Ullrich, PASCAL-XSC
– Language Reference with Examples, Springer,
Berlin Heidelberg New York, 1992.
See also http://www2.math.uni-wuppertal.de/
xsc/ or http://www.xsc.de/.
Russian translation MIR, Moscow, 1995, third edition 2006.
See also http://www2.math.uni-wuppertal.de/
xsc/ or http://www.xsc.de/.
[3] R. Klatte, U. Kulisch, C. Lawo, M. Rauch and A. Wiethoff, C-XSC
– A C++ Class Library for Extended Scientific
Computing, Springer, Berlin Heidelberg New York, 1993.
See also http://www2.math.uni-wuppertal.de/xsc/
or http://www.xsc.de/.
[4] IBM, IBM System/370 RPQ. High Accuracy Arithmetic, SA
22-7093-0, IBM Deutschland GmbH (Department 3282, Sch¨onaicher
Strasse 220, D-71032 B¨oblingen), 1984.
[5] IBM, IBM High-Accuracy Arithmetic Subroutine Library
(ACRITH), IBM Deutschland GmbH (Department 3282,
Sch¨onaicher Strasse 220, D-71032 B¨oblingen), 1983, third
edition, 1986.
1. General Information Manual, GC 33-6163-02.
2. Program Description and User’s Guide, SC 33-6164-02.
3. Reference Summary, GX 33-9009-02.
[6] IBM, ACRITH–XSC: IBM High Accuracy Arithmetic – Extended
Scientific Computation. Version 1, Release 1, IBM
Deutschland GmbH (Department 3282, Sch¨onaicher Strasse 220,
D-71032 B¨oblingen), 1990.
1. General Information, GC33-6461-01.
2. Reference, SC33-6462-00.
3. Sample Programs, SC33-6463-00.
4. How To Use, SC33-6464-00.
5. Syntax Diagrams, SC33-6466-00.
--
Karlsruher Institut für Technologie (KIT)
Institut für Angewandte und Numerische Mathematik
D-76128 Karlsruhe, Germany
Prof. Ulrich Kulisch
KIT Distinguished Senior Fellow
Telefon: +49 721 608-42680
Fax: +49 721 608-46679
E-Mail: ulrich.kulisch@xxxxxxx
www.kit.edu
www.math.kit.edu/ianm2/~kulisch/
KIT - Universität des Landes Baden-Württemberg
und nationales Großforschungszentrum in der
Helmholtz-Gesellschaft
|