JuliaReach/LazySets.jl

Faster extrema of HPolytope/HPolyhedron in 1D

schillic opened this issue · 0 comments

It is easy to have a better algorithm for low/high/extrema of HPolytope/HPolyhedron in 1D.
This should remove the slow-down introduced in #3415 (comment).