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=0.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id D2341BBAF for ; Fri, 8 May 2009 10:52:55 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmoBABOQA0rUnwckjWdsb2JhbACCH5RzAQEBAQkJCgkPBrgmg30F X-IronPort-AV: E=Sophos;i="4.40,316,1238968800"; d="scan'208";a="27403289" Received: from relay.ptn-ipout02.plus.net ([212.159.7.36]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 May 2009 10:52:55 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhQHAJGPA0rUnw6U/2dsb2JhbACCH81Qg30F Received: from fhw-relay07.plus.net ([212.159.14.148]) by relay.ptn-ipout02.plus.net with ESMTP; 08 May 2009 09:52:55 +0100 Received: from [87.112.229.53] (helo=leper.local) by fhw-relay07.plus.net with esmtp (Exim) id 1M2Lp5-0004qC-Pp for caml-list@yquem.inria.fr; Fri, 08 May 2009 09:52:51 +0100 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Symbolic integration Date: Fri, 8 May 2009 11:00:16 +0100 User-Agent: KMail/1.9.9 References: <200905070621.11236.jon@ffconsultancy.com> <940B928A-CDF9-44DF-95FA-1108836E1764@yahoo.fr> In-Reply-To: <940B928A-CDF9-44DF-95FA-1108836E1764@yahoo.fr> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Message-Id: <200905081100.17044.jon@ffconsultancy.com> X-Plusnet-Relay: 92452d1d1c87909062320fbb8e7bdf38 X-Spam: no; 0.00; ocaml:01 iirc:01 ocaml:01 computations:01 2009:98 frog:98 wrote:01 symbolic:01 symbolic:01 caml-list:01 implemented:02 objects:02 algorithms:03 implement:06 i'd:06 On Friday 08 May 2009 09:13:12 Gr=FCnewald Micha=EBl wrote: > Le 7 mai 09 =E0 07:21, Jon Harrop a =E9crit : > > I'd like to have a play with symbolic integration and was wondering > > if anyone > > had implemented one of the algorithms in OCaml? > > IIRC, I have seen such a thing as an =ABOCaml Math. Framework=BB in Jane > Street's OCaml related project (in the 2006 or the 2007 session). I > have read part of their code and they seem follow the way of formal > manipulations to implement objects and computations. Thus you might be > interested in this code. Great. Where is the code? I can never find the code for Jane St. summer=20 projects... =2D-=20 Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e