On Aug 27, 2009, at 11:33 PM, Richard Fateman wrote: > Not exactly responsive to your question, but there is some info here.. > > > http://www.cs.berkeley.edu/~fateman/papers/simplifier.txt > > RJF > Thanks, an interesting and informative read (as some of your other papers on numerics in Lisp and other things)! Regards, Ziga