Open non opened 10 years ago
I have implemented a prototype of expression trees in #269 . Adding support for variables would be quite easy.
What is not easy is to find the correct data structures to implement all the rewrite rules needed for symbolic computation. I have no expertise in that field.
This is a huge can of worms, but at least one person was interested in this at one point.
The challenge is getting something like this working well enough that it's worth releasing. I expect this work would happen in a long-running branch, or even a separate repo such as
spire-symbolic
. But it would be soooo nice if we could get it working! :)