search

dpsanders / ReversePropagation.jl

MIT License
52 stars 6 forks source link

Better treatment of `-` #43

Open dpsanders opened 3 years ago

dpsanders commented 3 years ago

Symbolics.jl rewrites a - b as a + (-1)*b.

We need to catch this and rewrite it back to ordinary minus, or at least replace -1 * b by -b.

ChrisRackauckas commented 2 years ago

I think this is fixed?