<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE message PUBLIC
  "-//MLarc//DTD MLarc output files//EN"
  "../../mlarc.dtd"[
  <!ATTLIST message
    listname CDATA #REQUIRED
    title CDATA #REQUIRED
  >
]>

  <?xml-stylesheet href="../../mlarc.xsl" type="text/xsl"?>


<message 
  url="2003/12/782717f719d192da4aa4cbaefeb2c18a"
  from="Remi Vanicat &lt;remi.vanicat@l...&gt;"
  author="Remi Vanicat"
  date="2003-12-06T11:54:44"
  subject="Re: [Caml-list] float type with better precision than the default"
  prev="2003/12/c26f3a953606811699bfc588b23b35f3"
  next="2003/12/ecaddc19e541a9809560b5db8b55c48d"
  prev-in-thread="2003/12/a57122d122354488c33fdd71c79eb0e0"
  next-in-thread="2003/12/be6bee0e76fe3ef2a5dc4d20e7679a94"
  prev-thread="2003/12/6645b76fdaaac896907eba3358f17de9"
  next-thread="2003/12/c26f3a953606811699bfc588b23b35f3"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="[Caml-list] float type with better precision than the default">
<msg 
  url="2003/12/67c33fd6a80fd9bb5699e02c9519cbea"
  from="romildo@u..."
  author="romildo@u..."
  date="2003-12-06T00:45:01"
  subject="[Caml-list] float type with better precision than the default">
<msg 
  url="2003/12/d1ce098114ef6a4fa98b6d375dc10188"
  from="Brian Hurt &lt;bhurt@s...&gt;"
  author="Brian Hurt"
  date="2003-12-06T02:18:39"
  subject="Re: [Caml-list] float type with better precision than the default">
<msg 
  url="2003/12/a57122d122354488c33fdd71c79eb0e0"
  from="skaller &lt;skaller@o...&gt;"
  author="skaller"
  date="2003-12-06T04:42:48"
  subject="Re: [Caml-list] float type with better precision than the default">
<msg 
  url="2003/12/782717f719d192da4aa4cbaefeb2c18a"
  from="Remi Vanicat &lt;remi.vanicat@l...&gt;"
  author="Remi Vanicat"
  date="2003-12-06T11:54:44"
  subject="Re: [Caml-list] float type with better precision than the default">
</msg>
</msg>
</msg>
<msg 
  url="2003/12/be6bee0e76fe3ef2a5dc4d20e7679a94"
  from="Jean-Christophe Filliatre &lt;Jean-Christophe.Filliatre@l...&gt;"
  author="Jean-Christophe Filliatre"
  date="2003-12-08T10:20:54"
  subject="Re: [Caml-list] float type with better precision than the default">
<msg 
  url="2003/12/27f6203def5822f2ed6ef90752c9a250"
  from="Jean-Christophe Filliatre &lt;Jean-Christophe.Filliatre@l...&gt;"
  author="Jean-Christophe Filliatre"
  date="2003-12-08T11:43:00"
  subject="Re: [Caml-list] float type with better precision than the default">
</msg>
<msg 
  url="2003/12/9f7af7b58299ce3a1ee017cc8084f8c0"
  from="romildo@u..."
  author="romildo@u..."
  date="2003-12-08T11:57:04"
  subject="Re: [Caml-list] float type with better precision than the default">
</msg>
</msg>
</msg>
</thread>

<contents>
skaller &lt;skaller@ozemail.com.au&gt; writes:

&gt; On Sat, 2003-12-06 at 14:18, Brian Hurt wrote:
&gt;&gt; 30 decimal digits is enough accuracy to measure the 
&gt;&gt; distance between here and the Andromeda Galaxy in microns.  Why does he 
&gt;&gt; need such a ridiculous amount of precision?
&gt;
&gt; Standard eigen problem sometimes needs ridiculous precision:
&gt; the scalar product of two vectors:
&gt;
&gt; 	sigma (i=1,n) (v1_i * v2_i)
&gt;
&gt; sometimes involves cancellation of large values.
&gt; To see why there is a problem here, consider:
&gt;
&gt; 	1.000001e20 - 1e20 -
&gt; 	(1.000001e-20 - 1e-20) 
&gt;

[...]


This is what is called a numerical unstable algorithm...
-- 
Rémi Vanicat

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

</contents>

</message>

