adapt to renamed kwarg in 'Polyhedra.removeredundancy' ('ztol' -> 'tol')

src/ConcreteOperations/intersection.jl

@@ -545,7 +545,7 @@ A `VPolytope`.
 ### Notes
 
 If `prunefunc` is `nothing`, this implementation sets it to
-`(X -> removevredundancy!(X; ztol=_ztol(eltype(P1))))`.
+`(X -> removevredundancy!(X; tol=_ztol(eltype(P1))))`.
 """
 function intersection(P1::Union{VPolygon,VPolytope},
                       P2::Union{VPolygon,VPolytope};
@@ -578,7 +578,7 @@ function intersection(P1::Union{VPolygon,VPolytope},
 
     N = promote_type(eltype(P1), eltype(P2))
     if isnothing(prunefunc)
-        prunefunc = (X -> removevredundancy!(X; ztol=_ztol(N)))
+        prunefunc = (X -> _removeredundancy!(X; N=N))
     end
     prunefunc(Pint)
 

src/Initialization/init_Polyhedra.jl

@@ -37,6 +37,19 @@ function _is_polyhedra_backend(backend::Polyhedra.Library)
     return true
 end
 
+# in v0.8.0, `Polyhedra` renamed the kwarg `ztol` to `tol`
+@static if hasmethod(Polyhedra.detecthlinearity, (Polyhedra.HRepresentation, Any), (:ztol,))
+    function _removeredundancy!(X; N)
+        return removevredundancy!(X; ztol=_ztol(N))
+    end
+else
+    @assert hasmethod(Polyhedra.detecthlinearity, (Polyhedra.HRepresentation, Any), (:tol,))
+
+    function _removeredundancy!(X; N)
+        return removevredundancy!(X; tol=_ztol(N))
+    end
+end
+
 eval(load_polyhedra_mesh())
 eval(load_Polyhedra_polyhedron())
 

src/Sets/HPolytope/init_Polyhedra.jl

@@ -1,2 +1,15 @@
 eval(load_Polyhedra_convert_HPolytope())
 eval(load_Polyhedra_HPolytope())
+
+# in v0.8.0, `Polyhedra` renamed the kwarg `ztol` to `tol`
+@static if hasmethod(Polyhedra.detecthlinearity, (Polyhedra.HRepresentation, Any), (:ztol,))
+    function _removeredundancy!(X; N)
+        return removevredundancy!(X; ztol=_ztol(N))
+    end
+else
+    @assert hasmethod(Polyhedra.detecthlinearity, (Polyhedra.HRepresentation, Any), (:tol,))
+
+    function _removeredundancy!(X; N)
+        return removevredundancy!(X; tol=_ztol(N))
+    end
+end

src/Sets/HPolytope/vertices_list.jl

@@ -52,7 +52,7 @@ function vertices_list(P::HPolytope; backend=nothing, prune::Bool=true)
     end
     Q = Polyhedra.polyhedron(P; backend=backend)
     if prune
-        Polyhedra.removevredundancy!(Q; ztol=_ztol(N))
+        _removeredundancy!(Q; N=N)
     end
     return collect(Polyhedra.points(Q))
 end

src/Sets/VPolytope/init_Polyhedra.jl

@@ -1,2 +1,15 @@
 eval(load_Polyhedra_VPolytope())
 eval(load_Polyhedra_polyhedron())
+
+# in v0.8.0, `Polyhedra` renamed the kwarg `ztol` to `tol`
+@static if hasmethod(Polyhedra.detecthlinearity, (Polyhedra.HRepresentation, Any), (:ztol,))
+    function _removeredundancy!(X; N)
+        return removevredundancy!(X; ztol=_ztol(N))
+    end
+else
+    @assert hasmethod(Polyhedra.detecthlinearity, (Polyhedra.HRepresentation, Any), (:tol,))
+
+    function _removeredundancy!(X; N)
+        return removevredundancy!(X; tol=_ztol(N))
+    end
+end

src/Sets/VPolytope/remove_redundant_vertices.jl

@@ -42,7 +42,7 @@ function remove_redundant_vertices(P::VPolytope; backend=nothing, solver=nothing
         vQ = Polyhedra.vrep(Q)
         Polyhedra.setvrep!(Q, Polyhedra.removevredundancy(vQ, solver))
     else
-        Polyhedra.removevredundancy!(Q; ztol=_ztol(N))
+        _removeredundancy!(Q; N=N)
     end
     return VPolytope(Q)
 end