{"action":"created","issue":{"url":"https://api.github.com/repos/dealii/dealii/issues/3665","repository_url":"https://api.github.com/repos/dealii/dealii","labels_url":"https://api.github.com/repos/dealii/dealii/issues/3665/labels{/name}","comments_url":"https://api.github.com/repos/dealii/dealii/issues/3665/comments","events_url":"https://api.github.com/repos/dealii/dealii/issues/3665/events","html_url":"https://github.com/dealii/dealii/pull/3665","id":194221479,"number":3665,"title":"Add convenience functions to IndexSet","user":{"login":"gassmoeller","id":7582930,"avatar_url":"https://avatars.githubusercontent.com/u/7582930?v=3","gravatar_id":"","url":"https://api.github.com/users/gassmoeller","html_url":"https://github.com/gassmoeller","followers_url":"https://api.github.com/users/gassmoeller/followers","following_url":"https://api.github.com/users/gassmoeller/following{/other_user}","gists_url":"https://api.github.com/users/gassmoeller/gists{/gist_id}","starred_url":"https://api.github.com/users/gassmoeller/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gassmoeller/subscriptions","organizations_url":"https://api.github.com/users/gassmoeller/orgs","repos_url":"https://api.github.com/users/gassmoeller/repos","events_url":"https://api.github.com/users/gassmoeller/events{/privacy}","received_events_url":"https://api.github.com/users/gassmoeller/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-12-08T01:13:51Z","updated_at":"2016-12-08T02:25:16Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/dealii/dealii/pulls/3665","html_url":"https://github.com/dealii/dealii/pull/3665","diff_url":"https://github.com/dealii/dealii/pull/3665.diff","patch_url":"https://github.com/dealii/dealii/pull/3665.patch"},"body":"This PR adds a number of convenience functions to the `IndexSet` class, when one is simply interested in getting the first or the last index in the IndexSet and remove it at the same time from the list of indices.\r\n\r\nIt also allows to quickly check if the IndexSet is empty (much faster than `n_elements() == 0` because it does not need to compress the IndexSet first)."},"comment":{"url":"https://api.github.com/repos/dealii/dealii/issues/comments/265635377","html_url":"https://github.com/dealii/dealii/pull/3665#issuecomment-265635377","issue_url":"https://api.github.com/repos/dealii/dealii/issues/3665","id":265635377,"user":{"login":"gassmoeller","id":7582930,"avatar_url":"https://avatars.githubusercontent.com/u/7582930?v=3","gravatar_id":"","url":"https://api.github.com/users/gassmoeller","html_url":"https://github.com/gassmoeller","followers_url":"https://api.github.com/users/gassmoeller/followers","following_url":"https://api.github.com/users/gassmoeller/following{/other_user}","gists_url":"https://api.github.com/users/gassmoeller/gists{/gist_id}","starred_url":"https://api.github.com/users/gassmoeller/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gassmoeller/subscriptions","organizations_url":"https://api.github.com/users/gassmoeller/orgs","repos_url":"https://api.github.com/users/gassmoeller/repos","events_url":"https://api.github.com/users/gassmoeller/events{/privacy}","received_events_url":"https://api.github.com/users/gassmoeller/received_events","type":"User","site_admin":false},"created_at":"2016-12-08T02:25:16Z","updated_at":"2016-12-08T02:25:16Z","body":"I addressed the comments. I wrote `is_empty` after the other functions (when I noticed `n_elements()` can be slow, if it needs to compress ranges). It indeed makes more sense to use it now."}}
{"actor":{"display_login":"gassmoeller"}}