41–50 of 126 posts
It is an interesting combination of open source yet paid. But the price is "Contact us for a quote" Can't they at least give a ballpark number of what the price is? Matlab and Mathematica are about $1000-3000 per year for commercial license, they aren't hiding their price.
https://en.wikipedia.org/wiki/The_Open_Source_Definition
This software is "Source Available":
(Ab)using `build.rs` for license checking is brilliant and horrible at once ;-) (Another argument for sandboxing build scripts?) By the way, `Cargo.toml` example in the installation section has a significant typo: symbolica = { "*" } # Should have been just `symbolica = "*"`.
(Ab)using `build.rs` for license checking is brilliant and horrible at once ;-) (Another argument for sandboxing build scripts?) By the way, `Cargo.toml` example in the installation section has a significant typo: symbolica = { "*" } # Should have been just `symbolica = "*"`.
I can’t find this code - which build.rs file is it in?
This only seems to focus on polynomial equations. If so it is a bit of a strech to call it a CAS
It has pattern matching, Groebner basis computations, expression simplification, series expansion, numerical integration, etc. Deep down every CAS is about manipulating polynomials :)
Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear equations, polynomials, sets, lists, vectors, matrices and tensors.Earlier quoted context omitted.
sage is free software, this is proprietary
Sage also seems to cover way more subject matter.
Note that there are also features in Symbolica that are not in Sage, such as numerical integration, pattern matching and term streaming.
Does this handle elimination of variables in a polynomial system (using an eliminating order for Groebner basis)?
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 roots of polynomials. It's on the todo list though :)
Earlier quoted context omitted.
It has pattern matching, Groebner basis computations, expression simplification, series expansion, numerical integration, etc. Deep down every CAS is about manipulating polynomials :)
Compare it to a free CAS like Maxima for example, Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear equations, polynomials, sets, lists, vectors, matrices and tensors.
It is not just a matter of whether a feature is there, it needs to be usable in practice. You cannot use Maxima to do computation with large rational polynomials as this paper shows:
https://arxiv.org/pdf/2304.13418
Symbolica is 10 times faster and uses 60 times less memory than Maxima on a medium-sized problem. The larger sized problem does not run with Maxima. Note that this is tested with an older version of Symbolica, the latest version is even faster.
> a state-of-the-art commercial computer algebra system while being as open as possible > Get a license key for offline use, generated from a licensed Symbolica session. The key will remain valid for 24 hours. lmao This is a really impressive project, but the practically always-on requirement - including an internet connection to go offline - is absolutely hilarious. Also, the requirement for me to "get a quote" to g…
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 non-technical part) :) I will see about removing the online on start-up part. It's essentially the only anti-piracy step that I have. At the moment there is no fixed cost for use in industr…
Unfortunately, pirates almost always have it easier than paying customers, since license checks will probably be removed. Though this is hearsay (anyone?), there was "legal piracy" (no, there's no such thing :P) in the license-via-printer-port-dongle-era, since the dongles sometimes failed at the worst of times (e.g. live recording at a studio). So some users/studios bought a license to be legally covered on paper, but used a pirated version.
I live in a "well-connected" country, but a traveling a few kilometers in the wrong direction leaves me in complete radio silence, and sometimes work (academia) has required me to stay at such places for a couple of days. Since you know Rust, I can (and have had the need to) add `--offline` when building, with required crates locally cached. I know many researchers with the need to bring high-tech equipment + software to remote locations for work over many weeks, sometimes months. The need to find a city just to do a software license check would be crazy.
Unfortunately, I also don't have a good solution, other than trying to trust your customers. An online check once, at install, I can possibly live with, even if I've had to do reinstalls from local files in the field as well...