In the end the zero test problem is undecidable for reasonably complicated expressions, so sadly there is no guarantee that you can rewrite one Computable into another even if they evaluate to the same. For polynomials…
Thanks for the clarification! Hyperreal sounds very useful for zero testing (at the moment I use ErrorPropagatingFloat for this, but it is fickle), I will play around with this in the near future.
I saw this project before, nice work! What is your plan when it comes to the hard core algebra parts like multivariate polynomial factorization and cylindrical algebraic decomposition? These features require quite some…
Nice, I will check this out in more detail later. I had a quick look at the benchmarks and it looks like you compare f64 hyperreal with numericas 128 bit implementation, which will fall back to using arb-prec GMP. There…
Author of the blog post here. I am happy to answer any questions about the article, pattern matching in general or about Symbolica!
It's not a language specific feature, but you can do the bookkeeping yourself. In the simplest form you can write: f(1,...)*f(2,...) Then when you do pattern matching with wildcards x_ and y_ you can do…
You can also just use Expression.parse('x+f(x)+5') Of course, to refer to a specific variable of the CAS in Python, you need to bind it to a Python variable. There is no way around this. In the end most of the time of…
These polynomials appear when computing Feynman diagrams, which are used to make predictions for the Large Hadron Collider. The collider can measure collisions with such astonishing precision (<1% error) that…
Most of these features are included in Symbolica in some capacity (ODE solving is missing) and there are CAS features Symbolica has and that Maxima has not (like advanced pattern matching), even though it is only a year…
Symbolica is only a year old, however most features are already in there. What is a Sage feature you'd like to see in Symbolica? Note that there are also features in Symbolica that are not in Sage, such as numerical…
Thanks for reporting, I fixed the typo. I actually had an idea to do an OEM license check in build.rs that compiles out all license checks so that this version can be included in customers' software ^^
I have updated the post. It's an annual site-wide license, so not per user.
Author of Symbolica here: Symbolica is used in physics calculations to do arithmetic on rational polynomials that are hundreds of megabytes long. For my physics research I have worked with expressions that was just shy…
Author here: thanks for the feedback. I will add a price range soon. The reason why it is not there in the first place is because I am thinking about site-wide licenses, which are often quote-based (also for…
It depends on what you want to do. It should be much faster than Sympy and it is often much faster than Mathematica, for example if you do pattern matching or are manipulating rational polynomials. The idea of Symbolica…
One use case is in theoretical physics, where expressions that take up about a terabyte are generated when computing Feynman diagrams, but only in the intermediate stages. By the end of a two-month computation you get a…
Thanks, fixed it! It should be x, y = Expression.vars('x', 'y') indeed
Author of Symbolica here: for your personal projects the cost is 0, as you'd be a hobbyist. Symbolica is developed by only one person, so forgive me if I can't get every aspect of the project right on the first try…
Author of Symbolica here: this may change in the future. Note that it is easy to do this, you just call the function from symbolica import \* set_license_key('YOUR_KEY') print(get_offline_license_key())
In the end the zero test problem is undecidable for reasonably complicated expressions, so sadly there is no guarantee that you can rewrite one Computable into another even if they evaluate to the same. For polynomials…
Thanks for the clarification! Hyperreal sounds very useful for zero testing (at the moment I use ErrorPropagatingFloat for this, but it is fickle), I will play around with this in the near future.
I saw this project before, nice work! What is your plan when it comes to the hard core algebra parts like multivariate polynomial factorization and cylindrical algebraic decomposition? These features require quite some…
Nice, I will check this out in more detail later. I had a quick look at the benchmarks and it looks like you compare f64 hyperreal with numericas 128 bit implementation, which will fall back to using arb-prec GMP. There…
Author of the blog post here. I am happy to answer any questions about the article, pattern matching in general or about Symbolica!
It's not a language specific feature, but you can do the bookkeeping yourself. In the simplest form you can write: f(1,...)*f(2,...) Then when you do pattern matching with wildcards x_ and y_ you can do…
You can also just use Expression.parse('x+f(x)+5') Of course, to refer to a specific variable of the CAS in Python, you need to bind it to a Python variable. There is no way around this. In the end most of the time of…
These polynomials appear when computing Feynman diagrams, which are used to make predictions for the Large Hadron Collider. The collider can measure collisions with such astonishing precision (<1% error) that…
Most of these features are included in Symbolica in some capacity (ODE solving is missing) and there are CAS features Symbolica has and that Maxima has not (like advanced pattern matching), even though it is only a year…
Symbolica is only a year old, however most features are already in there. What is a Sage feature you'd like to see in Symbolica? Note that there are also features in Symbolica that are not in Sage, such as numerical…
Thanks for reporting, I fixed the typo. I actually had an idea to do an OEM license check in build.rs that compiles out all license checks so that this version can be included in customers' software ^^
I have updated the post. It's an annual site-wide license, so not per user.
Author of Symbolica here: Symbolica is used in physics calculations to do arithmetic on rational polynomials that are hundreds of megabytes long. For my physics research I have worked with expressions that was just shy…
Author here: thanks for the feedback. I will add a price range soon. The reason why it is not there in the first place is because I am thinking about site-wide licenses, which are often quote-based (also for…
It depends on what you want to do. It should be much faster than Sympy and it is often much faster than Mathematica, for example if you do pattern matching or are manipulating rational polynomials. The idea of Symbolica…
One use case is in theoretical physics, where expressions that take up about a terabyte are generated when computing Feynman diagrams, but only in the intermediate stages. By the end of a two-month computation you get a…
Thanks, fixed it! It should be x, y = Expression.vars('x', 'y') indeed
Author of Symbolica here: for your personal projects the cost is 0, as you'd be a hobbyist. Symbolica is developed by only one person, so forgive me if I can't get every aspect of the project right on the first try…
Author of Symbolica here: this may change in the future. Note that it is easy to do this, you just call the function from symbolica import \* set_license_key('YOUR_KEY') print(get_offline_license_key())