How to make a simplifier



On 1/10/2011 1:25 PM, Richard Hennessy wrote:
> I would like general information on how to make a simplifier for pw.  
> I can get expressions in a complex form that can be simplified further 
> but I don?t know how to write a simplifier.  Can someone point me in 
> the right direction?
> Rich
Look at the source file simp.lisp  and see how various functions are 
simplified.
look at tan, cos, sin  for "functions that are simplified when their single
arguments are special values".

look at simplus and simptimes and friends for "functions that are 
simplified based
on the relationships of their arguments to each other".