From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id BDF3EBBAF for ; Thu, 22 Jan 2009 20:10:08 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At8BAFhTeEmYToBnkWdsb2JhbACTegEBAQEJCwoHEQW3W4Vz X-IronPort-AV: E=Sophos;i="4.37,307,1231110000"; d="scan'208";a="22916603" Received: from mailgate2.iss.soton.ac.uk ([152.78.128.103]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 22 Jan 2009 20:10:08 +0100 Received: from uos-msg00011-si.soton.ac.uk (uos-msg00011-si.soton.ac.uk [152.78.119.34]) by mailgate2.iss.soton.ac.uk (8.13.8/8.13.4) with ESMTP id n0MJ9vGt028519 (version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NO) for ; Thu, 22 Jan 2009 19:09:59 GMT Received: from alpha.sesnet.soton.ac.uk (152.78.96.56) by smtp.soton.ac.uk (152.78.119.34) with Microsoft SMTP Server id 8.1.291.1; Thu, 22 Jan 2009 19:09:56 +0000 Received: from [127.0.0.1] (localhost [127.0.0.1]) by alpha.sesnet.soton.ac.uk (Postfix) with ESMTP id 907A615CCBC for ; Thu, 22 Jan 2009 19:09:56 +0000 (GMT) Message-ID: <4978C484.6040001@soton.ac.uk> Date: Thu, 22 Jan 2009 19:09:56 +0000 From: "Dr. Thomas Fischbacher" User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.12) Gecko/20060607 Debian/1.7.12-1.2 X-Accept-Language: en MIME-Version: 1.0 To: Caml-list List Subject: OCaml and PETSc Content-Type: text/plain; charset="us-ascii"; format=flowed Content-Transfer-Encoding: 7bit Received-SPF: Pass (uos-msg00011-si.soton.ac.uk: domain of t.fischbacher@soton.ac.uk designates 152.78.96.56 as permitted sender) receiver=uos-msg00011-si.soton.ac.uk; client-ip=152.78.96.56; helo=alpha.sesnet.soton.ac.uk; X-Greylist: Sender is SPF-compliant, not delayed by milter-greylist-3.0 (mailgate2.iss.soton.ac.uk [152.78.128.103]); Thu, 22 Jan 2009 19:09:59 +0000 (GMT) X-ISS-MailScanner-Information: Please contact Serviceline@soton.ac.uk for more information X-ISS-MailScanner: Found to be clean X-ISS-MailScanner-SpamCheck: X-Spam: no; 0.00; ocaml:01 algebra:01 solvers:01 ocaml:01 linear:02 linear:02 modules:02 authors:03 module:03 library:03 sparse:04 separately:05 interface:06 quite:08 useful:09 We, that is, the authors of the ocaml-based nsim continuum field theory simulator and the nmag micromagnetic application (http://nmag.soton.ac.uk/), keep on receiving quite some feedback on two specific modules contained in that project. One is an extended (and mm-bugfixed) version of Art Yerkes' "Pycaml" module, the other one is our (rudimentary yet useful) interface to the PETSc library for MPI-parallelizable sparse/dense matrix linear algebra (plus linear solvers, etc.). So, we are considering forking that off in order to distribute it separately. But as this would involve some amount of work that keeps us from doing other important things, we would like to hear feedback from people out there on who might have specific applications or plans for code that could benefit from this. So, who would like to use PETSc from within OCaml, and what are your applications? -- best regards, Dr. Thomas Fischbacher t.fischbacher@soton.ac.uk