#2154 - Compute the overapproximation of the convex hull array of zonotopes with a zonotope recursively

[SebastianGuadalupe]

Closes #2154.

[mforets]

lgtm. please add a test or two for this new function.

[mforets]

The build in v1.4 passes. The build in v1.0 fails with

LazySets.Approximations.overapproximation: Error During Test at /home/travis/build/JuliaReach/LazySets.jl/test/unit_overapproximate.jl:267
  Test threw exception
  Expression: Z3 ⊆ Y
  MethodError: no method matching qr(::SparseMatrixCSC{Float32,Int64}, ::Type{Val{true}}; tol=7.510185f-5)
  Closest candidates are:
    qr(::AbstractArray{T,2}, ::Any) where T at /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.0/LinearAlgebra/src/qr.jl:363 got unsupported keyword argument "tol"
    qr(::SparseMatrixCSC; tol) at /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.0/SuiteSparse/src/spqr.jl:201
    qr(::AbstractArray{T,2}) where T at /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.0/LinearAlgebra/src/qr.jl:369 got unsupported keyword argument "tol"
  Stacktrace:
   [1] #qr#4(::Float32, ::Function, ::SparseMatrixCSC{Float32,Int64}) at /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.0/SuiteSparse/src/spqr.jl:201
   [2] qr(::SparseMatrixCSC{Float32,Int64}) at /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.0/SuiteSparse/src/spqr.jl:201
   [3] rank(::SparseMatrixCSC{Float32,Int64}) at /home/travis/build/JuliaReach/LazySets.jl/src/Arrays/matrix_operations.jl:24
   [4] #constraints_list#56(::Bool, ::Function, ::Zonotope{Float32,Array{Float32,1},SparseMatrixCSC{Float32,Int64}}) at /home/travis/build/JuliaReach/LazySets.jl/src/Interfaces/AbstractZonotope.jl:495
   [5] constraints_list at /home/travis/build/JuliaReach/LazySets.jl/src/Interfaces/AbstractZonotope.jl:490 [inlined]
   [6] _issubset_constraints_list(::Zonotope{Float32,Array{Float32,1},Array{Float32,2}}, ::Zonotope{Float32,Array{Float32,1},SparseMatrixCSC{Float32,Int64}}, ::Bool) at /home/travis/build/JuliaReach/LazySets.jl/src/ConcreteOperations/issubset.jl:300
   [7] issubset at /home/travis/build/JuliaReach/LazySets.jl/src/ConcreteOperations/issubset.jl:291 [inlined]
   [8] issubset at /home/travis/build/JuliaReach/LazySets.jl/src/ConcreteOperations/issubset.jl:317 [inlined] (repeats 2 times)
   [9] eval_test(::Expr, ::Expr, ::LineNumberNode) at /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.0/Test/src/Test.jl:229
   [10] top-level scope at /home/travis/build/JuliaReach/LazySets.jl/test/unit_overapproximate.jl:267
   [11] include at ./boot.jl:317 [inlined]
   [12] include_relative(::Module, ::String) at ./loading.jl:1044
   [13] include(::Module, ::String) at ./sysimg.jl:29
   [14] include(::String) at ./client.jl:392
   [15] macro expansion at /home/travis/build/JuliaReach/LazySets.jl/test/runtests.jl:135 [inlined]
   [16] macro expansion at /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.0/Test/src/Test.jl:1083 [inlined]
   [17] macro expansion at /home/travis/build/JuliaReach/LazySets.jl/test/runtests.jl:135 [inlined]
   [18] macro expansion at ./util.jl:156 [inlined]
   [19] top-level scope at /home/travis/build/JuliaReach/LazySets.jl/test/runtests.jl:135 [inlined]
   [20] top-level scope at ./none:0

[schillic]

The problem is with Float32 and Rational{Int}. Simply move the tests to the loop for N in [Float64] at the end of the file.