Re: [Maxima-discuss] Introduction to simplification and corresponding simplifier paper

[Roland S. <sal...@gm...>]

> -----Original Message-----
> From: Robert Dodier [mailto:rob...@gm...]
> Sent: Thursday, June 22, 2017 7:25 AM
> 
> OK by me to include the "Introduction to Simplification" from
> https://people.eecs.berkeley.edu/~fateman/papers/intro5.txt
> in Simplification.texi. 

After installing 5.40.0 today I found out that the introduction to simplification is already included. Gunter, thank you
very much for having done this work !!

> 
> My advice is to format the paper as PDF (via Texinfo or LaTeX) and post it on the maxima.sourceforge.net
> website, and refer to it via the link in the introduction in Simplification.texi, and link it from the documentation
> page (documentation.html), and also include the paper somewhere in maxima/doc.
> 

This I'll prepare as far as I can do. 

Some minor adaptations have to be made to the introduction then, so e.g. the reference to Richard's paper has to be
changed. I will do that and come up with a revised version of Simplification.texi.

Best regards,
Roland