[Apologies for cross-posting]
For the algorithmic differentiation: I have started an implementation
(attached) of the jet machinery using a domain rather than the domain+package
used in Smith et al.
This provides considerably faster differentiation than symbolic
differentiation. For example:
It was available in a branch of OpenAxiom. Jacob wanted to rewrite for
merging in the main trunk. He graduated and got a job, so did not get to
rewrite it. I added the AST part of the work to the trunk, but the jet
machinery remained in Jacob's branch.
Jacob: do you still have that?
-- Gaby
On
Is the Axiom code for Smith's work on algorithmic differentiation
available?
http://www.axiomatics.org/~gdr/ad/issac07.pdf
http://oaktrust.library.tamu.edu/bitstream/handle/1969.1/ETD-TAMU-2010-05-7823/SMITH-DISSERTATION.pdf
Sincerely, Mark Clements.
-