Simplify Julia Expr with Symbolics.jl

Hi,
Can we use Symbolics.jl to simplify Julia Expr directly? For example, simplifying :(a + b - a) to :(b)? Thank you.

No AFAIK. Reduce.jl has something like what you asked for, though it appears to be not actively maintained.

1 Like

Thanks.