Symbolic utils extension

symengine / SymEngine.jl

Julia wrappers of SymEngine

MIT License

192 stars 43 forks source link

Symbolic utils extension #265

Closed jverzani closed 1 year ago

jverzani commented 1 year ago

This PR adds an extension for SymbolicUtils. With this loaded, the rewriting rules of SymbolicUtils can be used, which should expand the feature set of SymEngine.jl.

julia> using SymEngine, SymbolicUtils
@
julia> @vars x y
(x, y)

julia> simplify(sin(x)^2 + cos(x)^2)
1

isuruf commented 1 year ago

Looks good. Can you add some tests?

jverzani commented 1 year ago

Ok, borrowed examples from https://symbolicutils.juliasymbolics.org/rewrite/#rule-based_rewriting to do so.

isuruf commented 1 year ago

Thanks