Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!nntp.sei.cmu.edu!cis.ohio-state.edu!math.ohio-state.edu!howland.reston.ans.net!news.sprintlink.net!news.ecrc.de!ecrc!acrab60!thom
From: thom@ecrc.de (Thom Fruehwirth)
Subject: Re: Help: simplifier
Message-ID: <D9JMHG.7A5@ecrc.de>
Sender: news@ecrc.de
Reply-To: thom@ecrc.de
Organization: European Computer-Industry Research Centre GmbH.
References: <1995Jun1.162949.1@vax.sbu.ac.uk>
Date: Fri, 2 Jun 1995 11:27:15 GMT
Lines: 15

>From zhuhail@vax.sbu.ac.uk ()
>
>Any one can write or has got a powerfull SIMPLIFIER can simpify the
>expressions something like:
>3*x*(4*a+a*2)/2/a+1-x*8              ( answer is x+1 )
>I found it is not easy.

Recursively simplify the subexpressions and than 
put the simplified expressions together again.

thom




