<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE message PUBLIC
  "-//MLarc//DTD MLarc output files//EN"
  "../../mlarc.dtd"[
  <!ATTLIST message
    listname CDATA #REQUIRED
    title CDATA #REQUIRED
  >
]>

  <?xml-stylesheet href="../../mlarc.xsl" type="text/xsl"?>


<message 
  url="2002/12/58c00de76d5c27e4df32dd395fe4a3a5"
  from="Jean-Christophe Filliatre &lt;filliatr@l...&gt;"
  author="Jean-Christophe Filliatre"
  date="2002-12-03T13:09:00"
  subject="Re: [Caml-list] arbitrarily large integers"
  prev="2002/12/3b8a3856c08e0498b893eb7e84c555af"
  next="2002/12/09bb8b97b68803105f5c7e69cace4d19"
  prev-in-thread="2002/12/997b51ec2b0df44ae211697f2b71d18f"
  next-in-thread="2002/12/ae39de99bd31c4b6bd02e32cf55047b4"
  prev-thread="2002/12/28fc7801c74d2b5e69dc9c4f54d9779e"
  next-thread="2002/12/5d66a1963f1b171240f82ba50076fc0a"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="[Caml-list] arbitrarily large integers">
<msg 
  url="2002/12/997b51ec2b0df44ae211697f2b71d18f"
  from="Scott J. &lt;jscott@s...&gt;"
  author="Scott J."
  date="2002-12-03T07:40:23"
  subject="[Caml-list] arbitrarily large integers">
<msg 
  url="2002/12/58c00de76d5c27e4df32dd395fe4a3a5"
  from="Jean-Christophe Filliatre &lt;filliatr@l...&gt;"
  author="Jean-Christophe Filliatre"
  date="2002-12-03T13:09:00"
  subject="Re: [Caml-list] arbitrarily large integers">
</msg>
<msg 
  url="2002/12/ae39de99bd31c4b6bd02e32cf55047b4"
  from="Alain.Frisch@e..."
  author="Alain.Frisch@e..."
  date="2002-12-03T19:20:14"
  subject="Re: [Caml-list] arbitrarily large integers">
</msg>
</msg>
</thread>

<contents>

Scott J. writes:
 &gt; Hi, is it possible to implement in OCamel arbitrary large integers as in Dolphin smalltalk e.g. where e.g. 
 &gt; factorial 10000 is evaluatedvery fast.

The  Num  library  delivered  with ocaml  implements  arbitrary  large
naturals, integers and rationals. 
See http://caml.inria.fr/ocaml/htmlman/manual036.html

There are also

- an interface of the GNU MP library, by David Monniaux, at 
  http://www.di.ens.fr/~monniaux/download/mlgmp-20021123.tar.gz

- The Numerix library by Michel Quercia, at
  http://pauillac.inria.fr/~quercia/

Hope this helps,
-- 
Jean-Christophe 

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

</contents>

</message>

