Christian Schilling
Christian Schilling
### Inside connected union of boxes [Finding a largest rectangle inside a digital object and rectangularization](https://www.sciencedirect.com/science/article/pii/S0022000017300648) ### Inside convex polytopes [Largest Inscribed Rectangles in Geometric Convex Sets](https://arxiv.org/abs/1905.13246) * #3011: axis-aligned...
This currently crashes, but we can just return the interval approximation.
https://github.com/JuliaReach/LazySets.jl/blob/a4ebdc33cd1b16feea822d7f8ba37a3a161e6639/src/Plotting/plot_recipes.jl#L186
The following just requires disjointness and subset checks for the elements in the union. ```julia function ⊆(P::LazySet, U::UnionSetArray{N}, witness::Bool=false; filter_redundant_sets::Bool=true) where {N} # necessary check: is P contained in any...
https://www.sciencedirect.com/science/article/pii/S0005109805001366
We plan to extend the `LazySet` interface to non-convex sets. Since this is a major breaking change, we will then release version 2 of this library. For a smooth transition,...
Not sure why this never happened before, but recently a test fails. Maybe the combination of `SVector`s with normal `Vector`s has changed. ```julia LazySets.Approximations.overapproximation: Error During Test at /home/runner/work/LazySets.jl/LazySets.jl/test/runtests.jl:158 Got...
We were advised to ~~not use `Rational`s with `JuMP` and also to~~ not use infinite bounds. _Originally posted by @schillic in https://github.com/JuliaReach/LazySets.jl/issues/2942#issuecomment-1053936388_ --- EDIT: `Rational`s are now allowed, but they...
The emptiness check can crash for lazy intersections. We should catch such an error and continue with the overapproximation. If we later detect that the set is empty, we would...
This is basically the generalization of `Interval` for higher dimensions. See [`IntervalBox`](https://juliaintervals.github.io/IntervalArithmetic.jl/latest/multidim.html).