From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id VAA09839 for caml-redistribution; Fri, 13 Oct 1995 21:10:41 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id OAA03118 for ; Fri, 13 Oct 1995 14:25:57 +0100 Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.6.10/8.6.9) with ESMTP id OAA20758 for ; Fri, 13 Oct 1995 14:25:56 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.6.10/8.6.6) with ESMTP id OAA23353 for ; Fri, 13 Oct 1995 14:25:56 +0100 Received: from rs1.hrz.th-darmstadt.de (rs1.hrz.th-darmstadt.de [130.83.22.60]) by concorde.inria.fr (8.6.10/8.6.9) with ESMTP id OAA20727 for ; Fri, 13 Oct 1995 14:23:23 +0100 Received: from crunch (crunch.ikp.physik.th-darmstadt.de [130.83.24.4]) by rs1.hrz.th-darmstadt.de (8.6.10/8.6.4) with SMTP id OAA05417 for ; Fri, 13 Oct 1995 14:21:25 +0100 Received: by crunch (AIX 3.2/UCB 5.64/Client-1.5/HRZ-THD) id AA19150; Fri, 13 Oct 1995 14:20:37 +0100 Date: Fri, 13 Oct 1995 14:20:37 +0100 Message-Id: <9510131320.AA19150@crunch> From: Thorsten Ohl To: caml-list@margaux.inria.fr Subject: caml (special) light and numerics Sender: weis A suggestion for caml special light v1.07: - on Linux (and other i386) systems, the runtime should be linked with `-lieee' to enable IEEE arithmetic (`-mieee-fp' does the same thing). This way the runtime will not abort on division by 0.0, but give the result `Infinity' instead. Predefined constants for `Infinity' and `NaN' would be handy, but can be prepared in the program. Does anybody have numbers on how csl (in particular the new native compiler) compares in performance to C++ or FORTRAN in numerical applications (quadrature, ODEs, linear algebra, ...)? Cheers, -Thorsten /// Thorsten Ohl, TH Darmstadt, Schlossgartenstr. 9, D-64289 Darmstadt, Germany //////////////// net: ohl@crunch.ikp.physik.th-darmstadt.de, ohl@gnu.ai.mit.edu /// voice: +49-6151-16-3116, secretary: +49-6151-16-2072, fax: +49-6151-16-2421