SPACECADET3D

6 ms·

1.
by SPACECADET3D 3mo ago
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 you can do finite fie
2.
by SPACECADET3D 3mo ago
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.
3.
by SPACECADET3D 3mo ago
What is so awful about the license? Non-professionals can use it for free without core restrictions. Are you a professional?
4.
by SPACECADET3D 3mo ago
Are you a hobbyist? If so, you can use all your cores for free. If you are a professional, there are also no core restrictions, but you have to get a paid license.
5.
by SPACECADET3D 3mo ago
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 complex mathematical
6.
by SPACECADET3D 3mo ago
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 is also F64(simply w
7.
by SPACECADET3D 3mo ago
Author of Symbolica here! If these packages work well for you, then just use them :) I don't have a lot of experience with using these tools, but the last time I tried the user experience isn't so great, because of lack of LSP sup
8.
by SPACECADET3D 2y ago
Pure looks interesting! You can also use Symbolica in Rust, which also has operator overloading so it will look quite similar. At some point I will also add Julia bindings.
9.
by SPACECADET3D 2y ago
I used mermaid, which gets live-compiled on the website, that is built using quarto. Here is an example: ```{mermaid} flowchart LR A -- 1 --- B B -- 2 --- C B -- 8 --- E C -- 3 --- D C -- 9 --- F D -- 10 --- E D -- 4 --- G G
10.
by SPACECADET3D 2y ago
Author of the blog post here. I am happy to answer any questions about the article, pattern matching in general or about Symbolica!
11.
by SPACECADET3D 2y ago
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 f(x_,...)*f(y_,..)
12.
by SPACECADET3D 2y ago
I am using GMP indeed, through the Rust crate `rug`.
13.
by SPACECADET3D 2y ago
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 th
14.
by SPACECADET3D 2y ago
Thanks for the feedback! I will see if I can slow down the slideshow. You can see more demos in the docs and the live notebook. An expression is very general. Each variable and function is commutative and should hold for the complex numbers
15.
by SPACECADET3D 2y ago
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 predictions of the same ord
16.
by SPACECADET3D 2y ago
I've actually been a developer of FORM since my PhD (which I did with the author of FORM, Jos Vermaseren)! In Symbolica, I am taking the best features of FORM, while making it easier to use.
17.
by SPACECADET3D 2y ago
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 old. It is not just
18.
by SPACECADET3D 2y ago
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 integration, patter
19.
by SPACECADET3D 2y ago
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 ^^
20.
by SPACECADET3D 2y ago
I have updated the post. It's an annual site-wide license, so not per user.
21.
by SPACECADET3D 2y ago
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 of a terabyte long an
22.
by SPACECADET3D 2y ago
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 Mathematica). For universities s
23.
by SPACECADET3D 2y ago
Author here: you can generate the Groebner basis in lex order or compute a resultant, but it doesn't automatically backsubstitute the system at the moment. This is mostly because I haven't committed yet to a format to describe roo
24.
by SPACECADET3D 2y ago
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 is that you can use
25.
by SPACECADET3D 2y ago
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 result similar to eq
26.
by SPACECADET3D 2y ago
It has pattern matching, Groebner basis computations, expression simplification, series expansion, numerical integration, etc. Deep down every CAS is about manipulating polynomials :)
27.
by SPACECADET3D 2y ago
Thanks, fixed it! It should be x, y = Expression.vars('x', 'y') indeed
28.
by SPACECADET3D 2y ago
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 (especially the
29.
by SPACECADET3D 2y ago
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())
30.
by SPACECADET3D 3y ago
I started work on a new computer algebra system in Rust that has Python bindings: https://symbolica.io/ For many operations it is orders of magnitude faster than sympy.

More ›