3 ms·
> Tests just require differentiation and checking equality. Is that not implemented yet? I was wondering how a result with such an obviously incommensurate fu
by mppm 5y ago
> Tests just require differentiation and checking equality.
Is that not implemented yet? I was wondering how a result with such an obviously incommensurate functional form could be produced.
- ChrisRackauckas 5y agoDifferentiation and equality checking through e-graphs/simplification is already supported. But it's not done automatically with the symbolic-numeric integration: you'd have to call it after the integration to check which terms are necessary. We could probably improve the algorithm by doing this automatically and then doing more trimming of some sort.