From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <schwander@lix.polytechnique.fr>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id 05F21BBAF
	for <caml-list@yquem.inria.fr>; Wed, 13 Oct 2010 19:03:51 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AlgBANeDtUyBaB4OmWdsb2JhbAChTxUBAQEBAQgLCgcRIr46hUgEhm+IUYYm
X-IronPort-AV: E=Sophos;i="4.57,326,1283724000"; 
   d="scan'208";a="80961507"
Received: from mx-a.polytechnique.fr ([129.104.30.14])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 13 Oct 2010 19:03:44 +0200
Received: from argos.lix.polytechnique.fr (argos.lix.polytechnique.fr [129.104.11.2])
	by mx-a.polytechnique.fr (tbp 5.3.2/2.0.7) with ESMTP id o9DH3Ypb000310;
	Wed, 13 Oct 2010 19:03:34 +0200
Received: from mailhost.lix.polytechnique.fr (pomerol.lix.polytechnique.fr [129.104.11.158])
	by argos.lix.polytechnique.fr (Postfix) with ESMTP id 406CBAACB9;
	Wed, 13 Oct 2010 18:11:01 +0200 (CEST)
Received: (from schwander@localhost)
	by mailhost.lix.polytechnique.fr (8.14.4/8.12.8/Submit) id o9DGB1jY005577;
	Wed, 13 Oct 2010 18:11:01 +0200
Date: Wed, 13 Oct 2010 18:11:01 +0200
From: Olivier Schwander <olivier.schwander@chadok.info>
To: Jianzhou Zhao <jianzhou@seas.upenn.edu>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] convertion between OCaml Big_int and C
Message-ID: <20101013161101.GB4675@pomerol.lix.polytechnique.fr>
References: <AANLkTiknKCHowb3HQaLwJ62-+ZWhXWKg+uFQG7v3PJQ_@mail.gmail.com>
 <20101013144829.GB28174@pomerol.lix.polytechnique.fr>
 <AANLkTi=JMqjjZdo5dbuUQkz8NOJwQpzjk+XPC1Wcpefg@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <AANLkTi=JMqjjZdo5dbuUQkz8NOJwQpzjk+XPC1Wcpefg@mail.gmail.com>
User-Agent: Mutt/1.5.20 (2009-08-17)
X-Spam: no; 0.00; ocaml:01 mlgmp:01 numerix:01 numerix:01 inrialpes:01 pop-art:01 zhao:98 caml-list:01 computation:01 int:01 int:01 caml:02 caml:02 hump:02 hump:02 

Le 13 Oct 2010 12:01, Jianzhou Zhao a écrit:
> Thanks. Are they the MLGMP and Numerix listed in "the Caml Hump:
> General purpose libraries :: Numeric computation" ?
>   http://caml.inria.fr/cgi-bin/hump.en.cgi?sort=0&browse=75
> From the documents of Numerix, it runs much faster than the big_int
> library, although it may not be as portable as the 'nat' that big_int
> replies on.

Yes, there is also mlgmpidl
<http://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/>.

Olivier