MRAT



Hello,

Can someone explain how MRAT works? 

The notes posted by Stavros to the mailing list some time ago,
which I transcribed to the wiki 
(http://maxima.sf.net/wiki/index.php/Maxima%20internals)
are generally very helpful but unfortunately short on the
details about MRAT. Searching the mailing list archive,
I wasn't able to find any other explanation.

Example:

  :lisp ($rat '$foo)  => 
 ((MRAT SIMP ($FOO) (FOO13195)) (FOO13195 1 1) . 1)

What are we looking at here? 

I notice that the source code is peppered with $ratdisrep
since, it appears, some functions are not happy with MRAT.
Maybe someone has a comment about that.

Thanks for any light you can shed on this question.

Robert Dodier


		
____________________________________________________ 
Yahoo! Sports 
Rekindle the Rivalries. Sign up for Fantasy Football 
http://football.fantasysports.yahoo.com