Symbolica Computer Algebra System

Post by auggierose » Fri, May 10, 2024, 6:35 AM UTC

auggierose wrote: post #109

ted_dunning wrote: post #96

Earlier quoted context omitted.

It works by allowing the project to deal with honest people and ignore assholes efficiently. And for a small team (in this case, one person), getting rid of assholes who just want to rip the project off with minimal effort is a big win. After all, if you just want to play around with the system you are a hobbyist and can get it for free anyway. Why go to the extra effort of stealing the code? And if you actually are…

I don't think it is about people being assholes, but just going the way of least resistance. So if it is easier to buy a license key and use it, than to just remove the license check, then that's what people will do. Same the other way around. I read somewhere here that the free version is restricted (single thread only?). Also the mechanism for offline work sounds like a pain, so if multithreaded and offline is your…

Post by Y_Y » Fri, May 10, 2024, 8:27 AM UTC

eh_why_not wrote: post #93

SPACECADET3D wrote: post #57

Earlier quoted context omitted.

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 ( The large polynomials appear in the middle of the computation, often referred to as intermediate expression swell. This also happens when you do a Gaussian elimination or compute greatest common divisors: the final result will…

Is there a document/book you can recommend that includes a simplified example/tutorial of this computation process from beginning to end? (Or, what are the right keywords to search for such a thing?) I'm looking for something like: here's the particle interaction we will work on, this is a very simple Feynman diagram, and here's the simplified data the LHC gave us about it, here's the resulting equation from which we…

Post by Codrus » Fri, May 10, 2024, 2:53 PM UTC

Post by pjmlp » Fri, May 10, 2024, 3:15 PM UTC

HiggsBozo1337 wrote: post #116

pjmlp wrote: post #110

Earlier quoted context omitted.

All those C++ examples feel like bare bones C, when modern C++ can be made to look as easy to use as Python. I expect to see std:: types for everything, proper namespaces, ranges,... not C strings, C arrays, and extern "C". See CUDA and SYCL. Also the API reference for C++ is missing in most places.

He's a one-man army of a one-year old software, so it makes sense that he would focus on core features that are most relevant to his existing customers and capable of attracting new ones. If this was important to you or someone else who would sign up for a Symbolica license, I'm sure he would improve on this. A streamlined C++ API is comparatively easier to achieve than beating state-of-the-art efficiency on key CAS…

Post by HiggsBozo1337 » Fri, May 10, 2024, 3:23 PM UTC

pjmlp wrote: post #117

HiggsBozo1337 wrote: post #116

Earlier quoted context omitted.

He's a one-man army of a one-year old software, so it makes sense that he would focus on core features that are most relevant to his existing customers and capable of attracting new ones. If this was important to you or someone else who would sign up for a Symbolica license, I'm sure he would improve on this. A streamlined C++ API is comparatively easier to achieve than beating state-of-the-art efficiency on key CAS…

Completely fair, but then don't announce what is a C library, as being a C++ one, just because it uses iostream on the examples. Tell it is a C library, and announce C++ support when it is actually available.