Carter Tazio Schonwald

i may have some free time to do this some point during December as a break from my other OSS, please bump the thread early december and i'll do it...

Good question! I think the punchline you’ll see is, as you say, the comparisons of forward vs reverse mode will switch when you consider R^n-> R for large enough n....

its definitely a gap that needs to be fixed :)

see also issue #77

https://github.com/ekmett/ad/issues/15 may help the code in that version was ` erf1 = lift1 erf $ \x -> (fromInteger1 2 /! sqrt1 pi1) *! exp1 (negate1 x *! x)` https://github.com/ekmett/ad/blob/master/src/Numeric/AD/Jacobian.hs hass...

point being i believe this answers your question, though please chime in if you want more examples or links / hit a new problem. but closing for now :)

Ill try to mull myself. I think edwark is likely to have better thoughts if he has the time to muse em On Fri, May 3, 2019 at 6:49 AM...

@hypotext it is a gap, and its currently not quite possible to do gradients etc with "custom rules", which is a problem i think we'd both agree

ok, lets start with several sub questions 1) what should/would this api look like? 2) how should/would this interact with calculating higher derivatives etc? what types would you expect/hope the...

ok, :)