{"action":"opened","issue":{"url":"https://api.github.com/repos/JuliaReach/Reachability.jl/issues/313","repository_url":"https://api.github.com/repos/JuliaReach/Reachability.jl","labels_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/issues/313/labels{/name}","comments_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/issues/313/comments","events_url":"https://api.github.com/repos/JuliaReach/Reachability.jl/issues/313/events","html_url":"https://github.com/JuliaReach/Reachability.jl/issues/313","id":369792344,"node_id":"MDU6SXNzdWUzNjk3OTIzNDQ=","number":313,"title":"Using HPolyhedron for unbounded sets produce an exception in LazyTextbookDiscretePost","user":{"login":"kostakoida","id":7996008,"node_id":"MDQ6VXNlcjc5OTYwMDg=","avatar_url":"https://avatars3.githubusercontent.com/u/7996008?v=4","gravatar_id":"","url":"https://api.github.com/users/kostakoida","html_url":"https://github.com/kostakoida","followers_url":"https://api.github.com/users/kostakoida/followers","following_url":"https://api.github.com/users/kostakoida/following{/other_user}","gists_url":"https://api.github.com/users/kostakoida/gists{/gist_id}","starred_url":"https://api.github.com/users/kostakoida/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kostakoida/subscriptions","organizations_url":"https://api.github.com/users/kostakoida/orgs","repos_url":"https://api.github.com/users/kostakoida/repos","events_url":"https://api.github.com/users/kostakoida/events{/privacy}","received_events_url":"https://api.github.com/users/kostakoida/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-10-13T11:10:37Z","updated_at":"2018-10-13T11:10:37Z","closed_at":null,"author_association":"MEMBER","body":"```\r\n\r\n```ERROR: LoadError: MethodError: no method matching is_intersection_empty(::LazySets.Intersection{Float64,LazySets.HalfSpace{Float64},LazySets.CartesianProductArray{Float64,LazySets.LazySet{Float64}}}, ::LazySets.HPolyhedron{Float64})\r\nClosest candidates are:\r\n  is_intersection_empty(::LazySets.AbstractSingleton{N<:Real}, ::LazySets.LazySet{N<:Real}) where N<:Real at /Users/kpotomkin/.julia/v0.6/LazySets/src/is_intersection_empty.jl:110\r\n  is_intersection_empty(::LazySets.AbstractSingleton{N<:Real}, ::LazySets.LazySet{N<:Real}, ::Bool) where N<:Real at /Users/kpotomkin/.julia/v0.6/LazySets/src/is_intersection_empty.jl:110\r\n  is_intersection_empty(::LazySets.LazySet{N<:Real}, ::LazySets.AbstractSingleton{N<:Real}) where N<:Real at /Users/kpotomkin/.julia/v0.6/LazySets/src/is_intersection_empty.jl:150\r\n  ...\r\nStacktrace:\r\n [1] isempty(::LazySets.Intersection{Float64,LazySets.Intersection{Float64,LazySets.HalfSpace{Float64},LazySets.CartesianProductArray{Float64,LazySets.LazySet{Float64}}},LazySets.HPolyhedron{Float64}}) at /Users/kpotomkin/.julia/v0.6/LazySets/src/Intersection.jl:183\r\n [2] post(::Reachability.ReachSets.LazyTextbookDiscretePost, ::HybridSystems.HybridSystem{HybridSystems.LightAutomaton{LightGraphs.SimpleGraphs.SimpleDiGraph{Int64},LightGraphs.SimpleGraphs.SimpleEdge{Int64}},MathematicalSystems.ConstrainedLinearControlContinuousSystem{Float64,Array{Float64,2},LazySets.HalfSpace{Float64},LazySets.LinearMap{Float64,LazySets.Singleton{Float64},Float64,Array{Float64,2}}},MathematicalSystems.ConstrainedLinearDiscreteSystem{Float64,Array{Float64,2},LazySets.HPolyhedron{Float64}},HybridSystems.AutonomousSwitching}, ::Array{Tuple{Int64,Reachability.ReachSets.ReachSet{LazySets.LazySet{Float64},Float64},Int64},1}, ::Array{Array{Reachability.ReachSets.ReachSet{LazySets.LazySet{Float64},Float64},1},1}, ::Int64, ::Array{Reachability.ReachSets.ReachSet{LazySets.LazySet{Float64},Float64},1}, ::Int64, ::Reachability.Options) at /Users/kpotomkin/.julia/v0.6/Reachability/src/ReachSets/DiscretePost/LazyTextbookDiscretePost.jl:74\r\n [3] solve!(::MathematicalSystems.InitialValueProblem{HybridSystems.HybridSystem{HybridSystems.LightAutomaton{LightGraphs.SimpleGraphs.SimpleDiGraph{Int64},LightGraphs.SimpleGraphs.SimpleEdge{Int64}},MathematicalSystems.ConstrainedLinearControlContinuousSystem{Float64,Array{Float64,2},LazySets.HalfSpace{Float64},LazySets.LinearMap{Float64,LazySets.Singleton{Float64},Float64,Array{Float64,2}}},MathematicalSystems.ConstrainedLinearDiscreteSystem{Float64,Array{Float64,2},LazySets.HPolyhedron{Float64}},HybridSystems.AutonomousSwitching},Array{Tuple{Int64,LazySets.Hyperrectangle{Float64}},1}}, ::Reachability.Options, ::Reachability.ReachSets.BFFPSV18, ::Reachability.ReachSets.LazyTextbookDiscretePost) at /Users/kpotomkin/.julia/v0.6/Reachability/src/solve.jl:218\r\n [4] solve(::MathematicalSystems.InitialValueProblem{HybridSystems.HybridSystem{HybridSystems.LightAutomaton{LightGraphs.SimpleGraphs.SimpleDiGraph{Int64},LightGraphs.SimpleGraphs.SimpleEdge{Int64}},MathematicalSystems.ConstrainedLinearControlContinuousSystem{Float64,Array{Float64,2},LazySets.HalfSpace{Float64},LazySets.LinearMap{Float64,LazySets.Singleton{Float64},Float64,Array{Float64,2}}},MathematicalSystems.ConstrainedLinearDiscreteSystem{Float64,Array{Float64,2},LazySets.HPolyhedron{Float64}},HybridSystems.AutonomousSwitching},Array{Tuple{Int64,LazySets.Hyperrectangle{Float64}},1}}, ::Reachability.Options, ::Reachability.ReachSets.BFFPSV18, ::Reachability.ReachSets.LazyTextbookDiscretePost) at /Users/kpotomkin/.julia/v0.6/Reachability/src/solve.jl:120"}}
{"actor":{"display_login":"kostakoida"}}