SymbolicUtils.jl
SymbolicUtils.jl copied to clipboard
JuliaSymbolics
Symbolic expressions, rewriting and simplification
Hi everyone. In a recent routine update I noticed that `Metatheory` dependence is removed. I searched over this repo and `Symbolics.jl` but found few explanations. Can anyone give some clues...
https://github.com/JuliaSymbolics/SymbolicUtils.jl/blob/7534749988566b76940b60b462f3fdb72d109c59/src/types.jl#L677 SymbolicUtils often calls `nameof` on functions, but when a callable struct appears as the argument to `nameof`, this fails.
Looks like ComplexTerm has no field metadata, this breaks substitute on expressions containing these
Currently, `iszero(x)` of a `SymbolicUtils.Sym` `x` is equal to `x==0`. This however does not give a boolean, but rather defines an equation. For this type, would it be more adequate...
cc @oscardssmith `using MyProject` went form 12 to 6 seconds by removing the Symbolics dependency. I did a SnoopCompile analysis and the top contributors were related to: https://github.com/JuliaSymbolics/SymbolicUtils.jl/blob/94e0dd08efa1167930baf7366f1846271fa5b100/src/types.jl#L190-L192 I tried...
```julia @variables X[1:2] w Y = substitute.(X, w => -w) Y |> Symbolics.scalarize .|> y->substitute(y, Dict(X[1]=>2w, X[2]=>3w)) ``` gives `[2w, 3w]`, while the correct answer is `[-2w, -3w]`. note, that...
```julia using SymbolicUtils @syms x y z expr = x * y + x * z res = simplify(expr) # return x*(y + z). Good! ``` ```julia using SymbolicUtils @syms...
Old documentation deployment CI needs to be disabled. After that the Documenter CI script can be moved into the correct place.
Hello everyone, I looked for this use case but couldn't find it. I wonder if writing a rule that will compose a new function is possible. Is this a valid...
Metadata
Owner
Metadata
Symbolic expressions, rewriting and simplification