You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
RFC: Expand derivatives in initialization equations before dummy derivative mapping
This handles cases like `D(-x) ~ 0` which can happen during the fixed point substitution
The issue though is that if we have `D(y) ~ 0`, `y ~ -x`, then we need to substitute `D(-x) ~ 0` then change to `-D(x) ~ 0` and then substitute, so we need to somehow know to expand in the middle there.
0 commit comments