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 OAA25623; Tue, 29 Jun 2004 14:40:19 +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 OAA25617 for ; Tue, 29 Jun 2004 14:40:18 +0200 (MET DST) Received: from mail.physik.uni-muenchen.de (mail.physik.uni-muenchen.de [192.54.42.129]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i5TCeHEV028916 for ; Tue, 29 Jun 2004 14:40:17 +0200 Received: from localhost (unknown [127.0.0.1]) by mail.physik.uni-muenchen.de (Postfix) with ESMTP id D410E2004B for ; Tue, 29 Jun 2004 14:40:16 +0200 (CEST) Received: from mail.physik.uni-muenchen.de ([127.0.0.1]) by localhost (mail.physik.uni-muenchen.de [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 08936-01-44 for ; Tue, 29 Jun 2004 14:40:15 +0200 (CEST) Received: from mailhost.cip.physik.uni-muenchen.de (kaiser.cip.physik.uni-muenchen.de [141.84.136.1]) by mail.physik.uni-muenchen.de (Postfix) with ESMTP id 5145320046 for ; Tue, 29 Jun 2004 14:40:15 +0200 (CEST) Received: from seekar.cip.physik.uni-muenchen.de (seekar.cip.physik.uni-muenchen.de [141.84.136.52]) by mailhost.cip.physik.uni-muenchen.de (Postfix) with ESMTP id 443DE26E87 for ; Tue, 29 Jun 2004 14:40:15 +0200 (CEST) Received: by seekar.cip.physik.uni-muenchen.de (Postfix, from userid 3092) id 258BE31393; Tue, 29 Jun 2004 14:40:15 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by seekar.cip.physik.uni-muenchen.de (Postfix) with ESMTP id 22D85312BD for ; Tue, 29 Jun 2004 14:40:15 +0200 (CEST) Date: Tue, 29 Jun 2004 14:40:15 +0200 (CEST) From: Thomas Fischbacher To: caml-list@pauillac.inria.fr Subject: [Caml-list] Ocaml on AIX Message-ID: X-BOFH: Daemons did it MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Virus-Scanned: by amavisd-new at physik.uni-muenchen.de X-Miltered: at nez-perce with ID 40E16331.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; physik:01 mankind:99 implemented:01 generic:01 plasma:99 out-dated:01 3.07:01 cip:99 physik:01 cip:99 compiler:01 ocaml:01 ocaml:01 compile:02 optimized:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Dear OCaml hackers, we are about to do an exact symbolic calculation of enormous size (it could even be the largest one performed by mankind so far, I don't know) which comes from superstring theory. We do this in Ocaml, using as much of the algebraic structure as possible, and hence implemented quite many algorithmic tricks in the code which give us a performance boost of a factor of about 300 over the already highly optimized but more generic "symbol cruncher" FORM term manipulation program. We might have an opportunity to use the supercomputer of a german plasma physics research institution for this, but this particular machine runs AIX on PowerPCs, _probably_ with somewhat out-dated software on it, so I suppose I would have quite a hard time installing an ocaml compiler on it. Hence, before I write an application for computing resources on that machine, I'd like to ask if there is anyone out there who could compile my code for AIX (needs ocaml 2.07.2a and libnums-ocaml 3.07)? -- regards, tf@cip.physik.uni-muenchen.de (o_ Thomas Fischbacher - http://www.cip.physik.uni-muenchen.de/~tf //\ (lambda (n) ((lambda (p q r) (p p q r)) (lambda (g x y) V_/_ (if (= x 0) y (g g (- x 1) (* x y)))) n 1)) (Debian GNU) ------------------- 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