艾达结合GNU GMP和MPFR多精度的图书馆

As the GNU libraries GMP and MPFR becomes part of the GNAT free compiler (since they are part of the new GCC) and since these libraries have excellent performances, I thought it could be interesting to create an Ada binding for them. I searched on the Internet and found two old bindings but none convinced me and moreover they seemed to have been droped out. Therefore, I have undertaken to write my own binding for GMP and MPFR in Ada 2005. The Binding is as follows : A THIN BINDING mainly composed of two files : gmp.ads and mpfr.ads They basically translate in Ada most functions of gmp.h and mpfr.h but they are not exhaustive yet. There are also some specific files for target dependent types: mp_x86_32bits.ads, mp_x86_64bits.ads... **A THICK BINDING with the following specification files : gmp.Integers.ads, gmp.Rationals.ads, mpfr.Floats.ads.** These files declare the following types: Unbounded_Integer, Unbounded_Fracti

fractions.adb
fractions.ads
gmp-integers-aliased_internal_value.adb
gmp-integers-aliased_internal_value.ads
gmp-integers.adb
gmp-integers.ads
gmp-rationals-aliased_internal_value.adb
gmp-rationals-aliased_internal_value.ads
gmp-rationals.adb
gmp-rationals.ads
gmp.ads
mp_x86_32bits.ads
mp_x86_64bits.ads
mpfr-floats.adb
mpfr-floats.ads
mpfr.ads
mpfr_example.adb