With ModelingToolkit in development, I’d like to start using it soon – also for my basic CAS needs. I recently played around with SymPy, and wonder whether ModelingToolkit can handle my cases there… Simple example: show that the Park-Clark transformation matrix (for electrical machines) is orthogon…

[image] BLI: Can ModelingToolkit handle the above? I don’t see why it wouldn’t. If it didn’t it would just be a missing rule, but in theory there’s enough features in there that almost the same code should work. [image] BLI: If so, how can I introduce a symbolic/exact number π\pi ? Ma…

Thanks for response – but it is still somewhat vague to me: Although the tutorial of ModelingToolkit makes reference so Sym, I couldn’t find any examples of how to use it. When I figure out how to make symbols, I can do so for \pi. But for simplification to work, ModelingToolkit must be made to un…

Last time I played around with modeling toolkit I noticed that it didn’t know the addition theorems for trigonometric functions. So clearly there were essential rules missing. (It worked fine in SymPym.) Where would one add such a rule in the repo? Also, can’t we systematically copy the rules from S…

[image] carstenbauer: Also note that modeling toolkit outputs don’t by default render as latex in jupyter while SymPy outputs do True for SymPy, but if I latexify the output of SymPy, the code is of lower “quality” for some reason (removes \frac, introduces “ugly” * for multiplication). Any…

[image] carstenbauer: Last time I played around with modeling toolkit I noticed that it didn’t know the addition theorems for trigonometric functions. So clearly there were essential rules missing. (It worked fine in SymPym.) Where would one add such a rule in the repo? Also, can’t we systematic…

[image] ChrisRackauckas: Is what you’re missing the notebook integration? Maybe @stevengj could help us get that setup with IJulia? I assume it’s just a show+mimetype we need to overload. Yes, you just need a show(io::IO, ::MIME"text/latex", x::MyType) = print(io, latexify(x)) method.

Some people’s demands are easy to satisfy: https://github.com/SciML/ModelingToolkit.jl/pull/726

Great, thanks for the PR! While we are at it, currently a matrix-vector product is rendered as follows (with latexify): [Screenshot 2021-01-09 at 13.17.55] It would be nice if the multiply sign * could be latexified to ⋅ (i.e. \cdot) or be dropped altogether. Also, the parentheses are redundant. F…

[image] ChrisRackauckas: The rule kits are SymbolicUtils.jl’s: Will try to find time to make a PR to add a few more trig rules.

[image] carstenbauer: It would be nice if the multiply sign * could be latexified to ⋅ (i.e. \cdot ) or be dropped altogether. Also, the parentheses are redundant. @korsbo isn’t there an option for this? I would just like to remove the * altogether. I would argue that should be the default, a…

Symbolic computation: ModelingToolkit vs. SymPy?

New to Julia

ChrisRackauckas March 1, 2021, 3:00pm 19

See [ANN] Symbolics.jl: A Modern Computer Algebra System for a Modern Language

Topic		Replies	Views
SymPy.jl vs SymEngine.jl vs Reduce.jl vs General Usage	23	13539	October 27, 2020
Knowing what package a function is from? General Usage package	38	1993	November 10, 2020
Introducing SymJul: Symbolic Analysis for Differential Equations Package Announcements symbolic , symbolics , symbolicutils	14	1484	February 20, 2025
Matrix in SymbolicUtils? New to Julia	18	1217	July 17, 2020
[ANN] Symbolics.jl: A Modern Computer Algebra System for a Modern Language Package Announcements	146	50243	May 10, 2024

Symbolic computation: ModelingToolkit vs. SymPy?

Related topics