Symbolica Computer Algebra System
symbolica.io
Symbolica Computer Algebra System
1–10 of 126 posts
Re: Symbolica Computer Algebra System
#2What’s the use case overlap between symbolic and huge? I might expect that with most huge expressions (they talk about disk space being the limit, not memory) you’d be satisfied with a numerical approximation. Does someone need to simplify a huge expression down to a small symbolic expression?
Re: Symbolica Computer Algebra System
#3Can confirm, it is fast. I've been struggling with a plane equation for a plane based on isotropic segments. 3 segments, 3 complex points - only 6 equations. Almost every CAS can solve the system per se fast, it's the simplification process that costs time.
On my machine, I managed to get a ~300KB long solution from SymPy in under a minute, and a comparable solution from Maxima in a few seconds. Symbolica found a ~84K long solution in about a second... in Colab. That's impressive.
Re: Symbolica Computer Algebra System
#4Name shared with https://www.symbolica.ai, a Vinod Khosla-backed start up.
Re: Symbolica Computer Algebra System
#5What’s the use case overlap between symbolic and huge? I might expect that with most huge expressions (they talk about disk space being the limit, not memory) you’d be satisfied with a numerical approximation. Does someone need to simplify a huge expression down to a small symbolic expression?
The most obvious use case is to see that the expression does not simplify well and is inherently huge :-)
Re: Symbolica Computer Algebra System
#6This only seems to focus on polynomial equations. If so it is a bit of a strech to call it a CAS
Re: Symbolica Computer Algebra System
#7This only seems to focus on polynomial equations. If so it is a bit of a strech to call it a CAS
There is also a linear solver in the Matrix.
Re: Symbolica Computer Algebra System
#8> Sometimes a Symbolica license key is needed on a machine that is not connected to the internet. For this purpose, an offline key that is valid for 24 hours can be generated from a valid license key on a machine that is connected to the internet.
Even Mathematica doesn't pull shit like that.
Re: Symbolica Computer Algebra System
#9There is a missing variable declaration in the Colab playground.
y = Expression.var('y')
e = 1/(x*y+1)
e = e.derivative(x)
md(e.to_latex())
x, y = Expression.var('x', 'y')Re: Symbolica Computer Algebra System
#10How does this compare to SAGE?