You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 2008 Reporter: administrator Status: closed Resolution: not a bug Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
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
Original bug ID: 2008
Reporter: administrator
Status: closed
Resolution: not a bug
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
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
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.3 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iD8DBQE/8WCkSQDyWB/+xBwRAsKeAJ9oGYH9XHpOn6J3ZugwJreTou5h2wCePRrP
EPENzee137oKUi1A+nVhcF4=
=bN8A
-----END PGP SIGNATURE-----
The text was updated successfully, but these errors were encountered: