SymbolicUtils.jl

SymbolicUtils.jl copied to clipboard

Add a single `@rule` to `simplify`

3

I would it be nice if one could easily add a custom simplification rules on top of the default rules in `simplify`. @shashi said on slack, that this is not...

greimel

Scope of `@rule` matcher

4

This is a simple script which tries to reverse the differential operators. ```julia using Symbolics, SymbolicUtils.Rewriters @variables x, t, f(x, t) Dx = Differential(x) Dt = Differential(t) rule = @rule...

bowenszhu

y/(x*((y/x)^2)) and y/x/((y/x)^2) are not equal

2

code: ``` julia> using SymbolicUtils julia> @syms x y (x, y) julia> a = y / (x*((y / x)^2)) y / (x*((y / x)^2)) julia> b = y/x/((y/x)^2) x /...

acsofie

Rewrite-Rules with new Variables?

1

I like the straight forward rule-based rewriting approach. But I found no way to introduce new variables in the rewrite rules, which could be quite useful in some cases. Something...

Zer0112

Also stop trying to load possibly undefined type from Metatheory.

shashi

Simplify printing of Term(identity, x)

5

It can be helpful to encode a quantity `q` that should not be evaluated as `Term(identity, q)`. This is the idea behind JuliaSymbolics/Symbolics.jl#638, which allows irrationals like `π` to be...

moble

`simplify_fractions` changes ModelingToolkit parameters to variables

3

`simplify_fractions` changes ModelingToolkit parameters to variables in some very rare cases. This creates problems downstream when using `structural_simplify` (unbalanced reaction system). The stdout from this code block in the SBMLToolkit.get_massaction...

paulflang

``` julia using SymbolicUtils @syms x poly = PolyForm(x^2) div(poly, 4//3) ``` yields the following error. ``` julia ERROR: MethodError: no method matching div(::PolyForm{Number, Nothing}, ::Rational{Int64}, ::RoundingMode{:ToZero}) Closest candidates are:...

t0rny

simplify() action different from juliasymbolics.org

1

I am learning SymbolicUtils from [juliasymbolics.org](https://symbolicutils.juliasymbolics.org/#simplification) and got different answer of simplify(). ``` julia> using SymbolicUtils julia> @syms w z α::Real β::Real (w, z, α, β) julia> simplify(2 * (w+w+α+β...

acsofie

`substitute` doesn't substitute `x*z` in `x*z*k`?

4

I expect `substitute` to substitute the x*z in x*z*k, but it doesn't? Is there a workaround? I'm using version 0.19.7. Here's a minimal working example: ``` using SymbolicUtils @syms x...

hwpang