Re: [open-axiom-devel] Algorithmic differentiation

2017-03-09 Thread Mark Clements
[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:

Re: [open-axiom-devel] Algorithmic differentiation

2017-02-19 Thread Gabriel Dos Reis
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

[open-axiom-devel] Algorithmic differentiation

2017-02-19 Thread Mark Clements
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. -