"Eduardo Cavazos" wrote: > A preliminary implementation of the ideas in this chapter > is available in a library '(mpl automatic-simplification)' > at: > > http://github.com/dharmatech/mpl/tree/master
I am slowly trying to try it (not even a line of documentation!!!). I wonder if it is possible to plug in a set of rules through a user library, for example for Laplace transforms. And what about weird S-expressions? Would it be possible to implement the operations in "Structure and Interpretation of Classical Mechanics"[1]? [1] <http://mitpress.mit.edu/SICM/> -- Marco Maggi
