You might be interested in this ..
https://people.eecs.berkeley.edu/~fateman/papers/ADIL.pdf
which is algorithm differentiation written in Lisp.
Sage includes Lisp (underneath Maxima, for example)
Manipulation of program source to produce other program source
is routinely supported in Lisp, and
Hey there,
for the next step of implementing characteristic classes, I'd like to
implement abstract vector bundles.
1) Do you agree?
2) How would you proceed in doing so? It seems like it's not an easy task
at all (at least if you wish having all functionalities).
I mean, for characteristic cla
Update: The test just takes way too much memory for a doctest, I would
think.
Consider the following:
sage: n = prod(primes_first_n(25))
sage: _ = n.divisors()
This takes a good 3 GB of RAM and it does not appear to be a memory leak
(the doctest claims this to be the problem on failure). I can
