savage icon indicating copy to clipboard operation
savage copied to clipboard

Published 20 hours ago • verified publisher icon p-e-w

Symbolic differential support

Open oovm opened this issue 2 years ago • 1 comments

It would be nice if it could support symbolic differentiation, here is an implementation

https://github.com/egraphs-good/egg/blob/main/tests/math.rs

oovm avatar Mar 14 '22 14:03 oovm

Indeed, support for symbolic differentiation and integration is planned.

And egg is a fascinating project, which was first pointed out to me on Reddit a few days ago. I absolutely intend to explore integrating it into Savage!

p-e-w avatar Mar 15 '22 05:03 p-e-w