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 KAA23944; Tue, 23 Oct 2001 10:37:36 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA24152 for caml-list@pauillac.inria.fr; Tue, 23 Oct 2001 10:37:35 +0200 (MET DST) 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 RAA11810 for ; Mon, 22 Oct 2001 17:39:07 +0200 (MET DST) Received: from beta.dmz-us.st.com (beta.dmz-us.st.com [167.4.1.35]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f9MFd6H21682 for ; Mon, 22 Oct 2001 17:39:06 +0200 (MET DST) Received: from zeta.dmz-us.st.com (zeta.dmz-us.st.com [167.4.80.115]) by beta.dmz-us.st.com (STMicroelectronics) with SMTP id AAB2E48DF for ; Mon, 22 Oct 2001 15:38:59 +0000 (GMT) Received: by zeta.dmz-us.st.com (STMicroelectronics, from userid 0) id 0661148D0; Mon, 22 Oct 2001 15:39:01 +0000 (GMT) Received: from usx011.crn.st.com (localhost [127.0.0.1]) by zeta.dmz-us.st.com (STMicroelectronics) with ESMTP id D8FBE1842 for ; Mon, 22 Oct 2001 15:39:00 +0000 (GMT) Received: from st.com (IDENT:hping@aviane.cma.st.com [167.4.235.67]) by usx011.crn.st.com (8.9.3 (PHNE_18546)/8.8.6) with ESMTP id KAA13885 for ; Mon, 22 Oct 2001 10:38:58 -0500 (CDT) Message-ID: <3BD43D0D.1F7B0A90@st.com> Date: Mon, 22 Oct 2001 11:36:45 -0400 From: Ping Hu Organization: STM X-Mailer: Mozilla 4.75 [en] (X11; U; Linux 2.2.17-21mdk i686) X-Accept-Language: en MIME-Version: 1.0 To: caml-list@pauillac.inria.fr Subject: [Caml-list] Symbolic expression sub? Content-Type: text/plain; charset=iso-8859-15 Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Just wondering if someone has some smart enough approach in Caml (or C/C++) to compute the difference between two symbolic expressions described below, term: x, xy, 3x, 3xyz, 23, ... op: +, - expr: term | expr op expr how about (expr1 - expr2) ? Thanks, Ping @ST,Cambridge ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr