From sacadmin Thu Oct 23 13:51:01 2008 Received: from sac.sfbay.sun.com (localhost [127.0.0.1]) by sac.sfbay.sun.com (8.13.8+Sun/8.13.8) with ESMTP id m9NKp1vW018156; Thu, 23 Oct 2008 13:51:01 -0700 (PDT) Received: (from johnf@localhost) by sac.sfbay.sun.com (8.13.8+Sun/8.13.8/Submit) id m9NKp1aA018152; Thu, 23 Oct 2008 13:51:01 -0700 (PDT) Date: Thu, 23 Oct 2008 13:51:01 -0700 (PDT) From: John Fischer Message-Id: <200810232051.m9NKp1aA018152@sac.sfbay.sun.com> To: LSARC@sac.sfbay.sun.com Cc: stefan.teleman@sun.com Subject: Multiple-Precision Floating-Point Rounding [ MPFR ] Library [LSARC/2008/655 FastTrack timeout 10/30/2008] Status: RO Content-Length: 4879 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 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 From John.Fischer@Sun.COM Thu Oct 23 14:06:35 2008 Received: from dm-sfbay-02.sfbay.sun.com (dm-sfbay-02.SFBay.Sun.COM [129.146.11.31]) by sac.sfbay.sun.com (8.13.8+Sun/8.13.8) with ESMTP id m9NL6ZjK019043 for ; Thu, 23 Oct 2008 14:06:35 -0700 (PDT) Received: from sca-es-mail-1.sun.com (sca-es-mail-1.Sun.COM [192.18.43.132]) by dm-sfbay-02.sfbay.sun.com (8.13.8+Sun/8.13.8/ENSMAIL,v2.2) with ESMTP id m9NL6Z5S046017 for ; Thu, 23 Oct 2008 14:06:35 -0700 (PDT) Received: from fe-sfbay-10.sun.com ([192.18.43.129]) by sca-es-mail-1.sun.com (8.13.7+Sun/8.12.9) with ESMTP id m9NL6UBt026107 for ; Thu, 23 Oct 2008 14:06:30 -0700 (PDT) Received: from conversion-daemon.fe-sfbay-10.sun.com by fe-sfbay-10.sun.com (Sun Java System Messaging Server 6.2-8.04 (built Feb 28 2007)) id <0K9700A01MJGTH00@fe-sfbay-10.sun.com> (original mail from John.Fischer@Sun.COM) for LSARC-ext@sac.sfbay.sun.com; Thu, 23 Oct 2008 14:06:30 -0700 (PDT) Received: from [192.168.10.9] ([76.20.56.47]) by fe-sfbay-10.sun.com (Sun Java System Messaging Server 6.2-8.04 (built Feb 28 2007)) with ESMTPSA id <0K9700ASCMMJ7400@fe-sfbay-10.sun.com>; Thu, 23 Oct 2008 14:06:20 -0700 (PDT) Date: Thu, 23 Oct 2008 14:06:12 -0700 From: John Fischer Subject: Re: Multiple-Precision Floating-Point Rounding [ MPFR ] Library [LSARC/2008/655 FastTrack timeout 10/30/2008] In-reply-to: <200810232051.m9NKp1aA018152@sac.sfbay.sun.com> Sender: John.Fischer@Sun.COM To: LSARC-ext@sac.sfbay.sun.com Cc: Stefan.Teleman@Sun.COM Reply-to: John.Fischer@Sun.COM Message-id: <4900E744.3020707@sun.com> MIME-version: 1.0 Content-type: text/plain; format=flowed; charset=ISO-8859-1 Content-transfer-encoding: 7BIT References: <200810232051.m9NKp1aA018152@sac.sfbay.sun.com> User-Agent: Thunderbird 2.0.0.16 (X11/20080908) Status: RO Content-Length: 5722 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 > 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 > From John.Fischer@Sun.COM Tue Nov 4 10:17:36 2008 Received: from dm-sfbay-01.sfbay.sun.com (dm-sfbay-01.SFBay.Sun.COM [129.145.155.118]) by sac.sfbay.sun.com (8.13.8+Sun/8.13.8) with ESMTP id mA4IHash025620 for ; Tue, 4 Nov 2008 10:17:36 -0800 (PST) Received: from brmea-mail-1.sun.com (brmea-mail-1.Sun.COM [192.18.98.31]) by dm-sfbay-01.sfbay.sun.com (8.13.8+Sun/8.13.8/ENSMAIL,v2.2) with ESMTP id mA4IHadW037142 for ; Tue, 4 Nov 2008 10:17:36 -0800 (PST) Received: from fe-amer-09.sun.com ([192.18.109.79]) by brmea-mail-1.sun.com (8.13.6+Sun/8.12.9) with ESMTP id mA4IHZm0025422 for ; Tue, 4 Nov 2008 18:17:35 GMT Received: from conversion-daemon.mail-amer.sun.com by mail-amer.sun.com (Sun Java System Messaging Server 6.2-8.04 (built Feb 28 2007)) id <0K9T00101LS4S000@mail-amer.sun.com> (original mail from John.Fischer@Sun.COM) for LSARC-ext@sac.sfbay.sun.com; Tue, 04 Nov 2008 11:17:35 -0700 (MST) Received: from 129.145.154.66 ([129.145.154.66]) by mail-amer.sun.com (Sun Java System Messaging Server 6.2-8.04 (built Feb 28 2007)) with ESMTPSA id <0K9T001GTMSPD1B0@mail-amer.sun.com>; Tue, 04 Nov 2008 11:17:14 -0700 (MST) Date: Tue, 04 Nov 2008 10:17:13 -0800 From: John Fischer Subject: Re: Multiple-Precision Floating-Point Rounding [ MPFR ] Library [LSARC/2008/655 FastTrack timeout 10/30/2008] In-reply-to: <4900E744.3020707@sun.com> Sender: John.Fischer@Sun.COM To: LSARC-ext@sac.sfbay.sun.com Cc: John Fischer , Stefan.Teleman@Sun.COM Reply-to: John.Fischer@Sun.COM Message-id: <1225822633.50565.87.camel@sr1-umpk-16> MIME-version: 1.0 X-Mailer: Ximian Evolution 1.4.6.301 Content-type: text/plain Content-transfer-encoding: 7BIT References: <200810232051.m9NKp1aA018152@sac.sfbay.sun.com> <4900E744.3020707@sun.com> Status: RO Content-Length: 6254 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 > > 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 > >