**szulc@dlt1.UUCP** (10/02/87)

Algebraic simplification algorythm wanted. I'm looking for an algorythm, preferably in Prolog, for simplifying an algebraic expression. My first attempts can handle expressions of the form 2+a+3 => 5+a, but gets lost with 2+a+3+b+4. I know that I could flatten the trees, sort them and then re-construct them, but I need something that works for all sorts of operators and that can be defined by simple rules.