Re: What about big integers in Ada 2005?

["Craig Carey <research@ijs.co.nz>" <research@ijs.co.nz>]

On 16 Sep 2005 07:33:26 -0700, gautier_niouzes@hotmail.com wrote:
...
>> disappointed - Ada95 does not support integers of ANY size,
...
>on the following site you'll find a bunch of downloadble packages:
>
>http://www.chez.com/bignumber/

That webpage is out of date since not referring to my Ada bindings to
the GNU GMP big numbers package:

http://tope.tigris.org/source/browse/tope/src/Gmp/gmp_2k4.ads?view=markup

My code replaces the GMP Ada bindings named at the chez.com website.

>BTW, the freshest version of my multi-precision integers are
>in mathpaqs.zip on my Ada page below.

File "multi_precision_integers.ads" (*.adb file is 40kb):

|  subtype Basic_int is Integer;
|  type Index_int is new integer;
|
|  type Block_array is array( index_int range <> ) of Basic_int;
|
|  type Multi_int(n: Index_int) is record
|    blk:       Block_array( 0..n ); -- the n blocks with ABSOLUTE v...
|    neg:       Boolean;             -- negative flag
|    zero:      Boolean:=True;       -- zero flag (supercedes the ot...
|    last_used: Index_int;           -- the others blocks are suppos...
|  end record;


(The GNAT style checker won't accept that code fragment.)

GMP did compile well with GCC 2.8.1 (which was needed since combining
GNAT 2.8.1 with a GCC C (not C++) of a different version, in Windows,
led
to botched parameter passing.

There was a message about C/C++ to Ada. A way to get that running is to
have two Ada YACC (AdaGOOP) parsers in series. Maybe Mr de Montmollin
can
produce a program to convert C body files into faulty Ada.


Craig Carey, Auckland city