From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id EB0BBBC57 for ; Fri, 3 Sep 2010 17:49:39 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmUBAM+1gEyTvICJmWdsb2JhbACTZI0oFQEBAQEBCAsKBxEivkOFOwQ X-IronPort-AV: E=Sophos;i="4.56,313,1280700000"; d="scan'208";a="58520219" Received: from sun60.bham.ac.uk ([147.188.128.137]) by mail2-smtp-roc.national.inria.fr with ESMTP; 03 Sep 2010 17:49:39 +0200 Received: from [147.188.128.127] (helo=bham.ac.uk) by sun60.bham.ac.uk with esmtp (Exim 4.67) (envelope-from ) id 1OrYWJ-0001DM-ND for caml-list@yquem.inria.fr; Fri, 03 Sep 2010 16:49:39 +0100 Received: from mx1.cs.bham.ac.uk ([147.188.192.53]) by bham.ac.uk with esmtp (Exim 4.43) id 1OrYWJ-0000Yg-DK for caml-list@yquem.inria.fr; Fri, 03 Sep 2010 16:49:39 +0100 Received: from cca-0806.cs.bham.ac.uk ([147.188.193.145]) by mx1.cs.bham.ac.uk with esmtp (Exim 4.51) id 1OrYWJ-00067r-39 for caml-list@yquem.inria.fr; Fri, 03 Sep 2010 16:49:39 +0100 Message-ID: <4C811912.8000106@cs.bham.ac.uk> Date: Fri, 03 Sep 2010 16:49:38 +0100 From: zaid al-zobaidi User-Agent: Thunderbird 2.0.0.23 (Windows/20090812) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: interfacing Ocaml with Mathematica Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; interfacing:01 ocaml:01 ocaml:01 cheers:01 arithmetic:01 expression:02 checking:02 logical:04 bham:04 expressions:04 depends:04 comparison:05 unlikely:06 interface:06 target:91 Dear members I am writing an Ocaml code and part of it I need to do the following job: * I want to find out if two arithmetic or logical expressions are equal like "a + b" and "2 * a + b - a" or "a and b or a" and "a", and Ocaml it is unlikely to achieve my target, therefore I checked the available packages and tools that can do the job and I found "Mathematica". I would appreciate if someone could guide me on how to interface (if possible)to mathematica from Ocaml programme. Note: I have to compare the expression and get the result of the checking back to my Ocaml programme as I want to do the following comparison that depends on the previous one. Your help is much appreciated Cheers, Zaid