{"action":"closed","issue":{"url":"https://api.github.com/repos/JuliaReach/LazySets.jl/issues/720","repository_url":"https://api.github.com/repos/JuliaReach/LazySets.jl","labels_url":"https://api.github.com/repos/JuliaReach/LazySets.jl/issues/720/labels{/name}","comments_url":"https://api.github.com/repos/JuliaReach/LazySets.jl/issues/720/comments","events_url":"https://api.github.com/repos/JuliaReach/LazySets.jl/issues/720/events","html_url":"https://github.com/JuliaReach/LazySets.jl/issues/720","id":367449142,"node_id":"MDU6SXNzdWUzNjc0NDkxNDI=","number":720,"title":"Add ρ upper bound for an intersection","user":{"login":"mforets","id":12424594,"node_id":"MDQ6VXNlcjEyNDI0NTk0","avatar_url":"https://avatars3.githubusercontent.com/u/12424594?v=4","gravatar_id":"","url":"https://api.github.com/users/mforets","html_url":"https://github.com/mforets","followers_url":"https://api.github.com/users/mforets/followers","following_url":"https://api.github.com/users/mforets/following{/other_user}","gists_url":"https://api.github.com/users/mforets/gists{/gist_id}","starred_url":"https://api.github.com/users/mforets/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mforets/subscriptions","organizations_url":"https://api.github.com/users/mforets/orgs","repos_url":"https://api.github.com/users/mforets/repos","events_url":"https://api.github.com/users/mforets/events{/privacy}","received_events_url":"https://api.github.com/users/mforets/received_events","type":"User","site_admin":false},"labels":[{"id":717485375,"node_id":"MDU6TGFiZWw3MTc0ODUzNzU=","url":"https://api.github.com/repos/JuliaReach/LazySets.jl/labels/feature","name":"feature","color":"f0ad4e","default":false}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-10-06T11:34:59Z","updated_at":"2018-10-06T15:04:53Z","closed_at":"2018-10-06T15:04:53Z","author_association":"MEMBER","body":"Proposal: add \r\n\r\n```julia\r\nρ_upper_bound(d, cap::Intersection) = min(ρ_upper_bound(d, cap.X), ρ_upper_bound(d, cap.Y))\r\n```\r\nfor intersections.\r\n\r\nWe can also add a default `ρ_upper_bound` which returns the exact `ρ`.\r\n\r\nSee #706, #707 for another approach that uses type dispatch."}}
{"actor":{"display_login":"mforets"}}