Open schillic opened 4 years ago
Since zonotope bundles are lazy intersections, we can consider working adding new dispatch methods on existing types instead of adding new types:
julia> using LazySets
julia> Zb = IntersectionArray([rand(Zonotope) for _ in 1:10]);
julia> L = rand(2, 2);
julia> linear_map(Zb, L);
ERROR: MethodError: no method matching linear_map(::IntersectionArray{Float64,Zonotope{Float64,Array{Float64,1},Array{Float64,2}}}, ::Array{Float64,2})
Stacktrace:
[1] top-level scope at REPL[4]:1
See [1]
[1] Althoff, Krogh: Zonotope bundles for the efficient computation of reachable sets. 2011.