From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id EAA24418; Fri, 8 Oct 2004 04:54:28 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id EAA10920 for ; Fri, 8 Oct 2004 04:54:26 +0200 (MET DST) Received: from orsfmr001.jf.intel.com (fmr12.intel.com [134.134.136.15]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i982sPBk007757 for ; Fri, 8 Oct 2004 04:54:26 +0200 Received: from petasus.jf.intel.com (petasus.jf.intel.com [10.7.209.6]) by orsfmr001.jf.intel.com (8.12.9-20030918-01/8.12.9/d: major-outer.mc,v 1.15 2004/01/30 18:16:28 root Exp $) with ESMTP id i982sbxA015358; Fri, 8 Oct 2004 02:54:46 GMT Received: from orsmsxvs041.jf.intel.com (orsmsxvs041.jf.intel.com [192.168.65.54]) by petasus.jf.intel.com (8.12.9-20030918-01/8.12.9/d: major-inner.mc,v 1.11 2004/07/29 22:51:53 root Exp $) with SMTP id i982v11U023686; Fri, 8 Oct 2004 02:57:37 GMT Received: from orsmsx331.amr.corp.intel.com ([192.168.65.56]) by orsmsxvs041.jf.intel.com (SAVSMTP 3.1.2.35) with SMTP id M2004100719541428481 ; Thu, 07 Oct 2004 19:54:14 -0700 Received: from orsmsx407.amr.corp.intel.com ([192.168.65.50]) by orsmsx331.amr.corp.intel.com with Microsoft SMTPSVC(6.0.3790.0); Thu, 7 Oct 2004 19:54:14 -0700 X-MimeOLE: Produced By Microsoft Exchange V6.5.7226.0 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Subject: RE: [Caml-list] Are you sure the new "=" of 3.08 is good ? Date: Thu, 7 Oct 2004 19:54:13 -0700 Message-ID: <012676D607FCF54E986746512C22CE7D0FE7B6@orsmsx407> Thread-Topic: [Caml-list] Are you sure the new "=" of 3.08 is good ? Thread-Index: AcSssuRl7LB68sESTfGM0iwK+yQpvwALTqtg From: "Harrison, John R" To: "Christophe Raffalli" , "caml-list" X-OriginalArrivalTime: 08 Oct 2004 02:54:14.0144 (UTC) FILETIME=[182D8800:01C4ACE2] X-Scanned-By: MIMEDefang 2.31 (www . roaringpenguin . com / mimedefang) X-Miltered: at nez-perce with ID 41660161.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 johnh:01 phox:01 prover:01 prover:01 3.06,:01 3.07:01 camlp:01 payne:99 newsletter:99 equality:01 theorem:02 theorem:02 modulo:02 library:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk | I spend one complete day to adapt Phox (my theorem prover) to 3.08 | because the new =3D does not check first physical equality. If that's true, it would probably be bad news for the efficiency of my theorem prover (HOL Light) as well, though I haven't run any actual comparisons. (I have it running under 3.06, 3.07 and 3.08 on different machines --- only the camlp4 part was different each time.) | sin x with x > 10e100 gives a value which is certainly wrong since you | can not compute the modulo 2 pi for such a big number. | sin x should give nan when |x| is too big. 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. @ARTICLE{payne-hanek, =20 author =3D "M. Payne and R. Hanek", title =3D "Radian Reduction for Trigonometric Functions", journal =3D "SIGNUM Newsletter", =20 year =3D 1983, =20 volume =3D 18, =20 number =3D 1, =20 pages =3D "19--24"} =20 Taking the sin of large numbers may indeed indicate bad code, but so may lots of other eccentric uses of library functions. John. ------------------- 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