Christian Schilling

No, `Hypercube` would be a `BallInf`. We could just call it `IntervalBox` and get another name clash. Or `HyperrectangleB` (`B` for bounds) or `Hyperbox`. No matter how we call it,...

Summary of a discussion: - Keep `Hyperrectangle` as it is now (to not break code). - Add unexported functions `HyperrectangleLowHigh` (receives two vectors for the lower and upper bound) and...

This is even needed for lazy intersections which do not provide the support vector. x-ref: #1320

Another set type that needs this is the continuous convex hull in `ReachabilityAnalysis.jl`.

My current impression is that `GLPK` does not support non-`Float64` constraints at all. [Here](https://github.com/JuliaOpt/GLPK.jl/blob/cc0c3521f7b6fd028cd6a72b758ddc3adfb2c2ef/src/MOI_wrapper.jl#L1003-L1006) is the method for adding a constraint, but there is no method for other numeric types....

```julia julia> box_approximation(rand(HalfSpace)) Hyperrectangle{Float64, Vector{Float64}, Vector{Float64}}([NaN, NaN], [Inf, Inf]) ``` For me it does not throw an error but just does not terminate. For polyhedra (which is the most common...

I played around with your suggestion of a generator. I updated the results in the OP (`f` is the new implementation). The generator implementation is much worse. Maybe I misunderstood...

I just had a similar crash in the auxiliary function `_update_plot_limits!`, which computes a box approximation. If the intersection is empty, that will crash.

The problem is the same as in #2797, only that this time it is coded in the following method: https://github.com/JuliaReach/LazySets.jl/blob/e46871a72fd5c9a8ee3d2d76d6d1d506fc22ffb1/src/Approximations/overapproximate.jl#L533-L561 In this case the other order looks even worse. We...

To avoid confusion, the "min" heuristic is not exactly what I thought it is: we take the min of one set with each constraint of the other set. As we...