Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: David Brown <caml-list@davidb.org>
To: Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr>
Cc: "Harrison, John R" <johnh@ichips.intel.com>,
	caml-list <caml-list@inria.fr>
Subject: Re: [Caml-list] Are you sure the new "=" of 3.08 is good ?
Date: Thu, 7 Oct 2004 23:54:40 -0700	[thread overview]
Message-ID: <20041008065440.GA30862@old.davidb.org> (raw)
In-Reply-To: <41662A5D.8040600@univ-savoie.fr>

On Fri, Oct 08, 2004 at 07:49:17AM +0200, Christophe Raffalli wrote:
> 
> >You can perfectly well compute it, and the general consensus among the
> >floating-point community is that trig functions should do the best they
> >reasonably can even on huge arguments. Techniques for doing this kind
> >of reduction reasonably efficiently have been known for at least 20
> >years, e.g.
> 
> Yes you can perfectly compute sin 10e100.
> 
> But if x is the result of any computation (with rounding error), and x 
> is huge, sin x may be any value between -1 and 1. So the best value from 
> sin x is either 0 (your possible error is minimum) or nan.

sin 10e100 (1e101) isn't meaningful with any kind of floating point
precision I'm aware of.  Any numerical process that is attempting to take
the sin of a value like this has long since lost any meaningful digits out
of the number.

Dave

-------------------
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


  reply	other threads:[~2004-10-08  6:54 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-10-08  2:54 Harrison, John R
2004-10-08  5:49 ` Christophe Raffalli
2004-10-08  6:54   ` David Brown [this message]
  -- strict thread matches above, loose matches on Subject: below --
2004-10-09 18:10 Harrison, John R
2004-10-09 17:56 Harrison, John R
2004-10-08 16:35 Harrison, John R
2004-10-08 17:34 ` Damien Doligez
2004-10-09  8:58 ` Xavier Leroy
2004-10-08 16:25 Harrison, John R
2004-10-07 21:14 Christophe Raffalli
2004-10-08  7:38 ` Jean-Christophe Filliatre
2004-10-08  8:31   ` Christophe Raffalli
2004-10-08 15:10     ` Damien Doligez
2004-10-08  9:37 ` Sébastien Furic
2004-10-08 15:54 ` Xavier Leroy

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=20041008065440.GA30862@old.davidb.org \
    --to=caml-list@davidb.org \
    --cc=Christophe.Raffalli@univ-savoie.fr \
    --cc=caml-list@inria.fr \
    --cc=johnh@ichips.intel.com \
    /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