From: Pierre Weis <weis@pauillac.inria.fr>
To: skaller@maxtal.com.au (John Skaller)
Cc: caml-list@pauillac.inria.fr
Subject: Re: bignums?
Date: Thu, 26 Aug 1999 19:28:43 +0200 (MET DST) [thread overview]
Message-ID: <199908261728.TAA06649@pauillac.inria.fr> (raw)
In-Reply-To: <3.0.6.32.19990824131900.009a26a0@mail.triode.net.au> from "John Skaller" at Aug 24, 99 01:19:00 pm
> I need an Ocaml multiple precision arithmetic package. I'd like to try
> using an existing interface if possible, to say wrapping
> my own bignums package.
The ``num'' library is distributed with O'Caml; it provides an
efficient multiprecision arithmetics package for integers and rational
numbers. It is well interfaced to the Caml system and well
debugged. If you need rational arithmetics, this package is probably
more convenient (and very often much more efficient) than a usual
rational arithmetics package (such as GMP), since the ``num'' library
gives you the full control over the rational numbers normalisation
strategy that is so important to get efficient computation with
rational numbers.
Pierre Weis
INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://cristal.inria.fr/~weis/
next prev parent reply other threads:[~1999-08-26 17:37 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-08-24 3:19 bignums? John Skaller
1999-08-26 17:28 ` Pierre Weis [this message]
1999-08-27 4:33 ` bignums? John Skaller
1999-08-26 17:51 ` bignums? Matías Giovannini
1999-08-27 9:16 ` bignums? Jean-Christophe Filliatre
1999-08-29 15:16 ` bignums? Daniel de Rauglaudre
1999-09-01 16:59 ` bignums? David Monniaux
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=199908261728.TAA06649@pauillac.inria.fr \
--to=weis@pauillac.inria.fr \
--cc=caml-list@pauillac.inria.fr \
--cc=skaller@maxtal.com.au \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox