ModellingToolkit.jl is the package where it all came from. Used as modelling framework to solve all kind of equations that describe physical systems by means of ODEs, PDEs, and such.
If you find yourself more comfortable directly talking with the people involved in the project, you could drop by the Zulip conversation and engage with them there: Zulip Symbolic Programming Chat
Since this discusion already deal with some many topics around computer algebra systems, I hope this question have its place hear.
Among other things, I’m interested in symbolic computing for general relativity usage. Case and point, I want to write down symbolic expression for metric tensor and get out Christoffel symbols (this is only tip of the iceberg, but already quit a computation).
Ideal test case for me is Schwarzschild metric, for which most of the Christoffel symbols should be equal to 0. Is using Symbolics.jl for this problem now or in the future is reasonable thing?
I am currently preparing a notebook for PlutoCon, using Symbolics.jl to explain Gaussian curvature. I think it is possible to do what you suggest, but my experience is that “simplifying expressions” (a difficult problem in CAS) to display is not really there, but if using Symbolics.jl to output programs that compute Christoffel symbols is definitely possible already.
Let’s take new feature discussions to issues and new threads. The release post is 125 responses already, and I want everything to get its own visibility.
Please do not feel restricted by the current implementation. It has gone through a number of revisions – including revisions of approaches essential to CAS aspects. We still are quite interested in best guidance from those who have worked hard to accrue it.
GMP is dual licensed LGPL3+ or GPL2+ so it’s not really an issue. The only GPL-only dependency of Julia itself is SuiteSparse, which is a significant annoyance quite often but at least a commercial license can be purchased if necessary. In particular, the SuiteSparse dependency means that we cannot ship a version of Julia that uses MKL as its BLAS library, which many people have wanted over the years.
I don’t know what you have in mind, but the practical difference between LGPL and GPL is so large that lumping them all under “GPL” strikes me as quite misleading: LGPL libraries have no impact on what other libraries you can use whereas GPL libraries prevent redistributing an application that is not fully open source. For some that is fine, for others it’s a show stopper.
I don’t know what you have in mind, but the practical difference between LGPL and GPL is so large that lumping them all under “GPL” strikes me as quite misleading: LGPL libraries have no impact on what other libraries you can use whereas GPL libraries prevent redistributing an application that is not fully open source. For some that is fine, for others, it’s a show stopper.
Sorry for being careless here (although LGPL is relatively recent -
when in 1994 I wrote my 1st code using GMP, version 1.3, it was still
GPL only, only few years after LGPL appeared :-))
