Christian Schilling
Christian Schilling
I prefer to have only one version everywhere. But you are right that it is a bit more compact. How about moving the implementation to ReachabilityBase as an alternative `@require`...
A change in `get_variables`, either by default or via an additional argument, would be just fine. Or really any other way to get variables sorted (lexicographically or order of definition...
This requires an update of `IntervalArithmetic`.
Alright, thanks for the reply. Good that there is a simple workaround. I just verified it. From my side, this issue can be closed, but maybe somebody wants to add...
I think these failed validity checks are false-positives because I precisely followed the instructions. 1. The instructions say > include disambiguation suffixes like `0001` as needed so I did that....
True, it may not be that straightforward. But the true result is an interval and that can be represented as a zonotope. In higher dimensions, I suspect that no matter...
@David-davidlxl: I added an implementation in #3628. It will likely take some time until this gets reviewed and merged, so I suggest you check out the branch or copy the...
This can be closed now. EDIT: Well, I guess it is not on `master`...
This cannot be tested without #205.
I just tested this on top of #215 and there were no issues. While this is not the perfect world, these dependency updates take too long and this PR may...