oops.. I meant
Richard Fateman wrote:
> It is not clear why you would get such growth unless you
> have hundreds of distinct symbols. Is that the case? If you
> look at your CRE form in lisp, does it have a huge list of
> variables as well as a huge list of gensyms?
>
> If a particular expression E
> has only a few live symbols, you can re-represent it by
> doing (setf z ($ratdisrep E))
> (let ((varlist nil)(genvars nil))
> ;;;; ($ratdisrep z))
($rat x))