caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
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/





  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;
as well as URLs for NNTP newsgroup(s).