Symbolics.jl

Symbolics.jl copied to clipboard

just like as follows， 

NeuralPDE

This repo keeps showing on top when I search for Symbolics.jl, so a direct link may help others too :smiley:

mforets

[Feature Request] SymReal and domain inference

2

currently symbols are all defined as subtype of `Number`, which my cause things not work with builtin complex number. After I played a few ideas with my own toy engine:...

Roger-luo

register the package?

2

I'm using this for Yao and I find this is easier than SymEngine since it is pure Julia (most of the things just work, since it is just matrix multiplications...

Roger-luo

a/2 reducing to 0.5a is surprising

1

I would expect it to symbolically represent rationals.

dlfivefifty

How to expand an expression?

1

Great tool! I wonder how to `expand` the following expression as `4 * x + 2 * y`? ```julia console julia> @sym x y; julia> ex = x+x+2(y+x) (2 *...

GiggleLiu

[ChainRules.jl](https://github.com/JuliaDiff/ChainRules.jl) just got started to replace DiffRules.jl. Would be a good idea to switch over once the API stabilizes.

MasonProtter

Symbolic equality operator

1

Right now, `==` is used to tell if two symbolic expressions are the same. Ie. ```julia using Symbolics @sym x y julia> x*y == y*x false julia> cos(x)^2 + sin(x)^2...

MasonProtter

Right now, the simplification algorithms found in src/Simplifications.jl will in theory work on any subtype of `AbstractSymExpr` but many of them are constructed so that they spit out a `SymExpr`...

MasonProtter

Now that we can generate equations of motion from a Lagrangian (should work in theory for Hamiltonians too but I haven't tried), it'd be really slick if we could pipe...

MasonProtter