"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
Marco Maggi wrote:
I am slowly trying to try it (not even a line of
documentation!!!).
At this point, I recommend getting the two books I mentioned earlier in
the thread.
> I wonder if it is possible to plug in a
set of rules through a user library, for example for Laplace
transforms.
I like the idea of the end user "plugging in" rules into some of the
more advanced procedures. One way to go about it is to use parameters. A
simple example would be:
(sin (/ pi 2))
versus:
(parameterize ((angle-mode 'degrees))
(sin 90))
It would also be useful for adding additional rules to an integration
procedure, or an expression simplifier, for example.
And what about weird S-expressions? Would it be possible
to implement the operations in "Structure and Interpretation
of Classical Mechanics"[1]?
I've heard reports of folks exploring SICM with a traditional CAS
instead of Scheme, so I don't see why not.
Ed
