Browse thread
[Caml-list] arbitrarily large integers
-
Scott J.
- Jean-Christophe Filliatre
- Alain.Frisch@e...
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Jean-Christophe Filliatre <filliatr@l...> |
| Subject: | Re: [Caml-list] arbitrarily large integers |
Scott J. writes: > Hi, is it possible to implement in OCamel arbitrary large integers as in Dolphin smalltalk e.g. where e.g. > 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