Is there a reason to not take an open source approach and collaborate on projects?
Why two rule systems? I mean, we can put agents to copy each other’s rules or… we can just have a repo of rules parsed differently?
So we just update SymbolicLimits.jl?
The only thing that can be fundamentally different in the symbolic space is the expression representation. But that isn’t something that is better or worse, it’s tailored to different algorithms. The best thing to do is to have a litany of different representations so that different algorithms can use alternative representations. For example, the Groebner basis representation is very different from even the SymbolicUtils.jl one.
So, why is this not just another tree representation with a few algorithms pointing it down that line?
I mean, I can just claude this all to be pulled from these repos, but it seems silly to be wasting tokens like this. Let’s just collaborate? I can start by pulling this all in but, I hope to see a first pull request somewhere. They could even keep separate repos: if GruntzLimits.jl is strictly better, then Symbolics.jl just needs a PR to its docs saying SymbolicLimits.jl is deprecated and point people to use the new limits subpackage, and then we delete the other package.
But I am wondering what isn’t transparently said here: if it all is strictly better… these are the obvious things to do… and you didn’t do that so… why? More directly, what is the expression representation and what are things that are traded off in its choices?
I don’t see anything about function registrations for example, so I assume it must’ve taken a closed tree approach?