SymbolicUtils.jl

SymbolicUtils.jl copied to clipboard

Add more trig identities

1

Now we can have `simplify(1 - sin(x)^2) == cos(x)^2` instead of just `simplify(sin(x)^2 - 1) == -(cos(x)^2)`. Also fixed `@acrule(tan(~x)^2 + -1*sec(~x)^2 => one(~x))` by adding a minus sign.

derikk

Fix DataDrivenDiffEq.jl downstream test

1

"Standard" group no longer exists in DataDrivenDiffEq.jl, "Core" looks like a good replacement.

contradict

Update documentation generator

1

Strict is now the default, need to specify exceptiopns instead.

contradict

Documenter 1.0 upgrade

2

ArnoStrouwen

Under the assumption that SciML website contains the current documentation, this has some broken links, e.g. on the main page, `interface` resolves to https://docs.sciml.ai/interface/, but probably should resolve to https://docs.sciml.ai/SymbolicUtils/stable/manual/interface/....

jamblejoe

Create dependabot.yml

1

This allows to get updates for GitHub actions automatically - it is basically an equivalent of CompatHelper. I have used this for my own packages, the [Trixi.jl framework](https://github.com/trixi-framework), and the...

ranocha

equality saturation

2

simple, performance conscious port of the egg algorithm. Simplify works with it.

shashi

Add x + conj(x) rule

9

Not sure if this is the right thing to do, but a PR seemed like the easiest way to bring this up.

amilsted

Fix bug preventing printing of callable structs

2

See https://github.com/JuliaSymbolics/Symbolics.jl/pull/846

AayushSabharwal

Suppose the issue in JuliaSymbolics/Symbolics.jl#455 is fixed, e.g., via #493. Then `simplify(sum(x.^2))` fails. The error results from a call to `broadcastable` on the arguments of `(x.^2).value.term`. E.g., the first argument...

manuelbb-upb