All, At the LSARC meeting this case was +1 by a couple of the members. Since the timer has now expired the case is closed approved.
Thanks, John On Thu, 2008-10-23 at 14:06, John Fischer wrote: > All, > > I am sponsoring this case for Stefan Teleman of the SFW group. The case > directory contains this proposal. I have set the time out for Thursday, > October 30th, 2008. > > This project proposes to integrate the MPFR (Multi-Precision > Floating-Point Rounding) library into a Minor release of Solaris. The > library is based upon the Stefan's previous case GNU MP. Unlike GNU MP > this library does not depend upon the number of bits of the underlying > architecture. The interfaces are being declared Uncommitted. > > Thanks, > > John > > John Fischer wrote: > > Template Version: @(#)sac_nextcase %I% %G% SMI > > This information is Copyright 2008 Sun Microsystems > > 1. Introduction > > 1.1. Project/Component Working Name: > > Multiple-Precision Floating-Point Rounding [ MPFR ] Library > > 1.2. Name of Document Author/Supplier: > > Author: Stefan Teleman > > 1.3 Date of This Document: > > 23 October, 2008 > > 4. Technical Description > > Including the Multiple-Precision Floating-Point Rounding [ MPFR ] Library > > with Solaris > > > > Stefan Teleman <Stefan.Teleman at Sun.COM> > > October 21, 2008 > > > > 1. Summary and motivation > > > > The GNU MPFR Library [0] is described as "[...] a C library for > > multiple-precision floating-point computations with correct > > rounding. [...] MPFR is based on the GNU MP [1] multiple-precision > > library." > > > > There are several key differences between MPFR and GNU MP [ MPF ] > > [2]: > > > > - The precision of a MPFR variable is the exact number of bits > > used for its mantissa, whereas in MPF, the precision requested > > by the user is a minimum value (MPF generally uses a higher > > precision). With the additional difference below, this implies > > that the MPFR results do not depend on the number of bits > > (16, 32, 64 or more) of the underlying architecture. > > > > - As a consequence, MPFR uses a base-2 exponent, whereas in MPF, > > this is a base-232 or base-264 exponent, depending on the limb size. > > For this reason (and other internal ones), the maximum exponent > > range in MPFR is different (and smaller, if the exponent is > > represented by the same type as in MPF). > > > > - MPFR provides an additional rounding mode argument to its > > functions; furthermore, it is guaranteed that the result of any > > operation is the nearest possible floating-point value from the > > exact result (considering the input variables as exact values), > > taking into account the precision of the destination variable and > > the rounding mode. MPFR also says whether the rounded result is > > above or below the exact result. > > > > - MPFR supports much more functions (in particular transcendental > > functions such as exponentials, logarithms, trigonometric functions > > and so on) and special values: signed zeros, infinities, > > not-a-number (NaN). > > > > A detailed paper describing the facilities provided by MPFR is > > available online at: http://hal.inria.fr/inria-00070266. [3] > > > > MPFR is a required dependency for GCC [ The GNU Compiler Collection ] > > versions 4.3.0 and above. [4] > > > > This Case seeks Micro/Patch Release Binding. > > > > 2. Technical issues > > > > 2.1. Key objects > > > > /usr/lib/libmpfr.so.1.1.1 > > /usr/lib/libmpfr.so.1 -> libmpfr.so.1.1.1 > > /usr/lib/libmpfr.so -> libmpfr.so.1.1.1 > > > > /usr/lib/${MACH64}/libmpfr.so.1.1.1 > > /usr/lib/${MACH64}/libmpfr.so.1 -> libmpfr.so.1.1.1 > > /usr/lib/${MACH64}/libmpfr.so -> libmpfr.so.1.1.1 > > > > /usr/lib/pkgconfig/mpfr.pc > > /usr/lib/${MACH64}/pkgconfig/mpfr.pc > > > > /usr/include/mpfr/mpfr.h > > /usr/include/mpfr/mpf2mpfr.h > > > > /usr/share/info/mpfr/mpfr.info > > /usr/share/man/man3/mpfr.3 > > > > This case proposes the integration of MPFR Version 2.3.1. > > > > 2.2. Language Bindings > > > > The MPFR Library is written in ANSI C. > > > > 2.3. Documentation > > > > MPFR provides documentation in GNU texinfo format. UNIX man pages > > are not provided by default. For the purpose of this Integration, > > a generic man page will be provided, in Section 3 of the manual > > [ mpfr.3 ]. This man page will only include pointers to the > > installed documentation. > > > > 3. Interfaces > > > > 3.1. Interface Stability > > > > The development and release schedules of MPFR are controlled by > > a group of researchers and developers external to SMI. Although > > MPFR attempts to maintain API and ABI compatibility between > > releases, incompatible breakage between releases may occur. > > > > 3.2. Imported Interfaces > > > > MPFR imports interfaces from the Standard C Library, the Standard > > Math Library, and the GNU MP [ Bignum ] Library. > > > > 3.3. Exported Interfaces > > > > NAME STABILITY NOTES > > > > SUNWgnu-mpfr Uncommitted Package Name > > > > /usr/lib/libmpfr.so.1.1.1 Uncommitted Shared Library > > /usr/lib/libmpfr.so.1 Uncommitted Symbolic Link > > /usr/lib/libmpfr.so Uncommitted Symbolic Link > > > > /usr/include/mpfr/mpfr.h Uncommitted Header file > > /usr/include/mpfr/mpf2mpfr.h Uncommitted Header file > > > > /usr/lib/${MACH64}/libmpfr.so.1.1.1 Uncommitted Shared Library > > /usr/lib/${MACH64}/libmpfr.so.1 Uncommitted Symbolic Link > > /usr/lib/${MACH64}/libmpfr.so Uncommitted Symbolic Link > > > > /usr/lib/pkgconfig/mpfr.pc Uncommitted Pkg-config file > > /usr/lib/${MACH64}/pkgconfig/mpfr.pc Uncommitted Pkg-config file > > > > /usr/share/info/mpfr/mpfr.info Uncommitted Texinfo Page > > > > /usr/share/man/man3/mpfr.3 Uncommitted Manual Page > > > > 4. References > > > > [0] http://www.mpfr.org/ > > [1] http://gmplib.org/ > > [2] http://www.mpfr.org/faq.html > > [3] http://hal.inria.fr/inria-00070266 > > [4] http://gcc.gnu.org/ > > > > > > 6. Resources and Schedule > > 6.4. Steering Committee requested information > > 6.4.1. Consolidation C-team Name: > > SFW > > 6.5. ARC review type: FastTrack > > 6.6. ARC Exposure: open > >
