search

p-e-w / savage

A primitive computer algebra system
GNU Affero General Public License v3.0
573 stars 12 forks source link

Symbolic differential support #6

Open oovm opened 2 years ago

oovm commented 2 years ago

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

p-e-w commented 2 years ago

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!