Christian Schilling

Results 200 comments of Christian Schilling

Closing because we probably do not need this.

With the change in #3260 we can add a recipe like this: ```julia using LazySets, Plots import MiniQhull B = BallInf(zeros(3), 1.0) V, C = LazySets.delaunay_vlist_connectivity(B; compute_triangles_3d=true) C = Matrix{Int}(C...

I close this since, as explained, I consider this a floating-point issue and not a bug in the code.

Yes, I think this is not on the list.

I am not really using it. We just test our functionality also with `Rational`s and so I stumbled upon this issue. In any case, the behavior seems wrong to me,...

I noticed that this crashes in the latest release. Maybe it is better that way instead of giving the (intuitively) wrong result. ```julia # 0.20 julia> interval(2) ≈ interval(2-1e-10) false...

Below is a simplified version. It definitely has to do with presolve in GLPK, so this might be the wrong place to report. If you look at this plot, ![polygon](https://user-images.githubusercontent.com/9656686/219146441-c2cb563f-81a5-4719-ab58-ae20719cdfba.png)...

Here is another example. I first compute the convex hull of the two polygons below and then call `detecthlinearity`. Again this is problem does not occur without the `presolve` option....

I reduced the input a bit (unfortunately still 8-dimensional). ```julia vP = [zeros(8)]; vQ = [ zeros(8), [0.2697646549, 0.582602434, 0.044249395, 0.3243733749, 0.279717666, 0.040712222, 0.423054165, 0.00203898], [0.2697646549, 0.582602434, 0.044249395, 0, 0,...