From: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
To: Damien Doligez <damien.doligez@inria.fr>
Cc: caml-list@inria.fr, caml-bugs@pauillac.inria.fr
Subject: Re: [Caml-list] Problem with the Num implementation
Date: Tue, 30 Dec 2003 12:25:18 +0100 [thread overview]
Message-ID: <3FF1609E.5030202@univ-savoie.fr> (raw)
In-Reply-To: <C0E17D5E-38BF-11D8-80E6-00039310CAE8@inria.fr>
[-- Attachment #1: Type: text/plain, Size: 1178 bytes --]
I just use this thread to ask again a question ...
How to compute the best or at least a very good float interval
containing a rational number with the num library ?
The float_of-num function is really not convincing (it is very slow
because it does a translation to a decimal representation as string and
look at all the digits !).
Remark: it should be possible to find a very good (may be not always the
best) float interval in constant time !
This is usefull to implement lazy arithmetics (you compute with floating
point interval until this is not enough and then you compute the exact
value. But it is useful in some cases to compute an interval from the
rational number and it needs to be fast to be useful)
--
Christophe Raffalli
Université de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex
tél: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI
---------------------------------------------
IMPORTANT: this mail is signed using PGP/MIME
At least Enigmail/Mozilla, mutt or evolution
can check this signature
---------------------------------------------
[-- Attachment #2: Type: application/pgp-signature, Size: 252 bytes --]
next prev parent reply other threads:[~2003-12-30 11:32 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-12-19 10:17 [Caml-list] Problem with the old Num implementation of ocaml (fwd) Thomas Fischbacher
2003-12-27 22:55 ` [Caml-list] Problem with the old Num implementation of ocaml (fwd) (PR#1989) Damien Doligez
2003-12-30 11:25 ` Christophe Raffalli [this message]
2004-01-06 9:46 ` Thomas Fischbacher
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=3FF1609E.5030202@univ-savoie.fr \
--to=christophe.raffalli@univ-savoie.fr \
--cc=caml-bugs@pauillac.inria.fr \
--cc=caml-list@inria.fr \
--cc=damien.doligez@inria.fr \
/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