Christian Schilling
Christian Schilling
```julia julia> using Polyhedra, JuMP, GLPK julia> v1 = [[1.0, 1.0], [-1.0, 1.0], [1.0, -1.0], [-1.0, -1.0]]; julia> v2 = [[3.0, 3.0], [1.0, 3.0], [1.0, 1.0], [3.0, 1.0]]; julia> solver...
> Maybe the solver encounters numerical errors even if the presolve is on ? The warning is just a hint that might be useful, it does not mean that the...
`plot_vars` could also be merged into that option.
With #531 we have our second algorithm :tada: Time to add this section in the manual!
This sounds like you will observe a wrapping effect. Any way around that?
> push the steps Transformation, Sparse/dense matrix conversion further inside reach algorithms for affine systems Yes, what about we introduce a new type for distinguishing different algorithms (like `AnalysisMode`) and...
While I still think the above is an interesting approach, for now I will try a straightforward one: For your current location, find *all* dimensions that are relevant for the...
``` Warning: 81 docstrings potentially missing ```
This is complicated because the union is generally not convex. We cannot take an overapproximation, so the convex hull does not work. We can, however, combine several sets in an...
See https://github.com/JuliaReach/LazySets.jl/issues/1312.