{"action":"closed","number":207,"pull_request":{"url":"https://api.github.com/repos/gap-packages/Semigroups/pulls/207","id":82355927,"html_url":"https://github.com/gap-packages/Semigroups/pull/207","diff_url":"https://github.com/gap-packages/Semigroups/pull/207.diff","patch_url":"https://github.com/gap-packages/Semigroups/pull/207.patch","issue_url":"https://api.github.com/repos/gap-packages/Semigroups/issues/207","number":207,"state":"closed","locked":false,"title":"IsFinite methods for min-plus and max-plus matrix semigroups","user":{"login":"stuartburrell","id":12648023,"avatar_url":"https://avatars.githubusercontent.com/u/12648023?v=3","gravatar_id":"","url":"https://api.github.com/users/stuartburrell","html_url":"https://github.com/stuartburrell","followers_url":"https://api.github.com/users/stuartburrell/followers","following_url":"https://api.github.com/users/stuartburrell/following{/other_user}","gists_url":"https://api.github.com/users/stuartburrell/gists{/gist_id}","starred_url":"https://api.github.com/users/stuartburrell/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/stuartburrell/subscriptions","organizations_url":"https://api.github.com/users/stuartburrell/orgs","repos_url":"https://api.github.com/users/stuartburrell/repos","events_url":"https://api.github.com/users/stuartburrell/events{/privacy}","received_events_url":"https://api.github.com/users/stuartburrell/received_events","type":"User","site_admin":false},"body":"The following has tests, documentation and implementations for:\r\n\r\n* `IsFinite` for max-plus and min-plus matrix semigroups\r\n* `IsTorsion` for max-plus matrix semigroups\r\n* `NormalizeSemigroup` for max-plus matrix semigroup\r\n\r\nand\r\n\r\n* `SpectralRadius` for max-plus matrices\r\n* `InverseOp` for max-plus matrices\r\n* `UnweightedPrecedenceDigraph` for max-plus matrices\r\n* `RadialEigenvector` for max-plus matrices","created_at":"2016-08-23T12:34:00Z","updated_at":"2016-09-14T10:04:14Z","closed_at":"2016-09-14T10:04:14Z","merged_at":"2016-09-14T10:04:14Z","merge_commit_sha":"4e58571af6e5968daccddc6c858616e7b3085481","assignee":null,"assignees":[],"milestone":null,"commits_url":"https://api.github.com/repos/gap-packages/Semigroups/pulls/207/commits","review_comments_url":"https://api.github.com/repos/gap-packages/Semigroups/pulls/207/comments","review_comment_url":"https://api.github.com/repos/gap-packages/Semigroups/pulls/comments{/number}","comments_url":"https://api.github.com/repos/gap-packages/Semigroups/issues/207/comments","statuses_url":"https://api.github.com/repos/gap-packages/Semigroups/statuses/c980beefdff12f735f3653afd665d39314fe68af","head":{"label":"stuartburrell:is-finite-max-plus","ref":"is-finite-max-plus","sha":"c980beefdff12f735f3653afd665d39314fe68af","user":{"login":"stuartburrell","id":12648023,"avatar_url":"https://avatars.githubusercontent.com/u/12648023?v=3","gravatar_id":"","url":"https://api.github.com/users/stuartburrell","html_url":"https://github.com/stuartburrell","followers_url":"https://api.github.com/users/stuartburrell/followers","following_url":"https://api.github.com/users/stuartburrell/following{/other_user}","gists_url":"https://api.github.com/users/stuartburrell/gists{/gist_id}","starred_url":"https://api.github.com/users/stuartburrell/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/stuartburrell/subscriptions","organizations_url":"https://api.github.com/users/stuartburrell/orgs","repos_url":"https://api.github.com/users/stuartburrell/repos","events_url":"https://api.github.com/users/stuartburrell/events{/privacy}","received_events_url":"https://api.github.com/users/stuartburrell/received_events","type":"User","site_admin":false},"repo":{"id":66290332,"name":"Semigroups","full_name":"stuartburrell/Semigroups","owner":{"login":"stuartburrell","id":12648023,"avatar_url":"https://avatars.githubusercontent.com/u/12648023?v=3","gravatar_id":"","url":"https://api.github.com/users/stuartburrell","html_url":"https://github.com/stuartburrell","followers_url":"https://api.github.com/users/stuartburrell/followers","following_url":"https://api.github.com/users/stuartburrell/following{/other_user}","gists_url":"https://api.github.com/users/stuartburrell/gists{/gist_id}","starred_url":"https://api.github.com/users/stuartburrell/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/stuartburrell/subscriptions","organizations_url":"https://api.github.com/users/stuartburrell/orgs","repos_url":"https://api.github.com/users/stuartburrell/repos","events_url":"https://api.github.com/users/stuartburrell/events{/privacy}","received_events_url":"https://api.github.com/users/stuartburrell/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/stuartburrell/Semigroups","description":"The GAP package Semigroups","fork":true,"url":"https://api.github.com/repos/stuartburrell/Semigroups","forks_url":"https://api.github.com/repos/stuartburrell/Semigroups/forks","keys_url":"https://api.github.com/repos/stuartburrell/Semigroups/keys{/key_id}","collaborators_url":"https://api.github.com/repos/stuartburrell/Semigroups/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/stuartburrell/Semigroups/teams","hooks_url":"https://api.github.com/repos/stuartburrell/Semigroups/hooks","issue_events_url":"https://api.github.com/repos/stuartburrell/Semigroups/issues/events{/number}","events_url":"https://api.github.com/repos/stuartburrell/Semigroups/events","assignees_url":"https://api.github.com/repos/stuartburrell/Semigroups/assignees{/user}","branches_url":"https://api.github.com/repos/stuartburrell/Semigroups/branches{/branch}","tags_url":"https://api.github.com/repos/stuartburrell/Semigroups/tags","blobs_url":"https://api.github.com/repos/stuartburrell/Semigroups/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/stuartburrell/Semigroups/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/stuartburrell/Semigroups/git/refs{/sha}","trees_url":"https://api.github.com/repos/stuartburrell/Semigroups/git/trees{/sha}","statuses_url":"https://api.github.com/repos/stuartburrell/Semigroups/statuses/{sha}","languages_url":"https://api.github.com/repos/stuartburrell/Semigroups/languages","stargazers_url":"https://api.github.com/repos/stuartburrell/Semigroups/stargazers","contributors_url":"https://api.github.com/repos/stuartburrell/Semigroups/contributors","subscribers_url":"https://api.github.com/repos/stuartburrell/Semigroups/subscribers","subscription_url":"https://api.github.com/repos/stuartburrell/Semigroups/subscription","commits_url":"https://api.github.com/repos/stuartburrell/Semigroups/commits{/sha}","git_commits_url":"https://api.github.com/repos/stuartburrell/Semigroups/git/commits{/sha}","comments_url":"https://api.github.com/repos/stuartburrell/Semigroups/comments{/number}","issue_comment_url":"https://api.github.com/repos/stuartburrell/Semigroups/issues/comments{/number}","contents_url":"https://api.github.com/repos/stuartburrell/Semigroups/contents/{+path}","compare_url":"https://api.github.com/repos/stuartburrell/Semigroups/compare/{base}...{head}","merges_url":"https://api.github.com/repos/stuartburrell/Semigroups/merges","archive_url":"https://api.github.com/repos/stuartburrell/Semigroups/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/stuartburrell/Semigroups/downloads","issues_url":"https://api.github.com/repos/stuartburrell/Semigroups/issues{/number}","pulls_url":"https://api.github.com/repos/stuartburrell/Semigroups/pulls{/number}","milestones_url":"https://api.github.com/repos/stuartburrell/Semigroups/milestones{/number}","notifications_url":"https://api.github.com/repos/stuartburrell/Semigroups/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/stuartburrell/Semigroups/labels{/name}","releases_url":"https://api.github.com/repos/stuartburrell/Semigroups/releases{/id}","deployments_url":"https://api.github.com/repos/stuartburrell/Semigroups/deployments","created_at":"2016-08-22T16:44:24Z","updated_at":"2016-08-22T16:44:26Z","pushed_at":"2016-09-01T10:36:15Z","git_url":"git://github.com/stuartburrell/Semigroups.git","ssh_url":"git@github.com:stuartburrell/Semigroups.git","clone_url":"https://github.com/stuartburrell/Semigroups.git","svn_url":"https://github.com/stuartburrell/Semigroups","homepage":"http://gap-packages.github.io/Semigroups/","size":59332,"stargazers_count":0,"watchers_count":0,"language":"GAP","has_issues":false,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":0,"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"gap-packages:unstable-3.0","ref":"unstable-3.0","sha":"44250087c83a76c398c634fda213b286a182fb75","user":{"login":"gap-packages","id":14360610,"avatar_url":"https://avatars.githubusercontent.com/u/14360610?v=3","gravatar_id":"","url":"https://api.github.com/users/gap-packages","html_url":"https://github.com/gap-packages","followers_url":"https://api.github.com/users/gap-packages/followers","following_url":"https://api.github.com/users/gap-packages/following{/other_user}","gists_url":"https://api.github.com/users/gap-packages/gists{/gist_id}","starred_url":"https://api.github.com/users/gap-packages/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gap-packages/subscriptions","organizations_url":"https://api.github.com/users/gap-packages/orgs","repos_url":"https://api.github.com/users/gap-packages/repos","events_url":"https://api.github.com/users/gap-packages/events{/privacy}","received_events_url":"https://api.github.com/users/gap-packages/received_events","type":"Organization","site_admin":false},"repo":{"id":56253495,"name":"Semigroups","full_name":"gap-packages/Semigroups","owner":{"login":"gap-packages","id":14360610,"avatar_url":"https://avatars.githubusercontent.com/u/14360610?v=3","gravatar_id":"","url":"https://api.github.com/users/gap-packages","html_url":"https://github.com/gap-packages","followers_url":"https://api.github.com/users/gap-packages/followers","following_url":"https://api.github.com/users/gap-packages/following{/other_user}","gists_url":"https://api.github.com/users/gap-packages/gists{/gist_id}","starred_url":"https://api.github.com/users/gap-packages/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gap-packages/subscriptions","organizations_url":"https://api.github.com/users/gap-packages/orgs","repos_url":"https://api.github.com/users/gap-packages/repos","events_url":"https://api.github.com/users/gap-packages/events{/privacy}","received_events_url":"https://api.github.com/users/gap-packages/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/gap-packages/Semigroups","description":"The GAP package Semigroups","fork":false,"url":"https://api.github.com/repos/gap-packages/Semigroups","forks_url":"https://api.github.com/repos/gap-packages/Semigroups/forks","keys_url":"https://api.github.com/repos/gap-packages/Semigroups/keys{/key_id}","collaborators_url":"https://api.github.com/repos/gap-packages/Semigroups/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/gap-packages/Semigroups/teams","hooks_url":"https://api.github.com/repos/gap-packages/Semigroups/hooks","issue_events_url":"https://api.github.com/repos/gap-packages/Semigroups/issues/events{/number}","events_url":"https://api.github.com/repos/gap-packages/Semigroups/events","assignees_url":"https://api.github.com/repos/gap-packages/Semigroups/assignees{/user}","branches_url":"https://api.github.com/repos/gap-packages/Semigroups/branches{/branch}","tags_url":"https://api.github.com/repos/gap-packages/Semigroups/tags","blobs_url":"https://api.github.com/repos/gap-packages/Semigroups/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/gap-packages/Semigroups/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/gap-packages/Semigroups/git/refs{/sha}","trees_url":"https://api.github.com/repos/gap-packages/Semigroups/git/trees{/sha}","statuses_url":"https://api.github.com/repos/gap-packages/Semigroups/statuses/{sha}","languages_url":"https://api.github.com/repos/gap-packages/Semigroups/languages","stargazers_url":"https://api.github.com/repos/gap-packages/Semigroups/stargazers","contributors_url":"https://api.github.com/repos/gap-packages/Semigroups/contributors","subscribers_url":"https://api.github.com/repos/gap-packages/Semigroups/subscribers","subscription_url":"https://api.github.com/repos/gap-packages/Semigroups/subscription","commits_url":"https://api.github.com/repos/gap-packages/Semigroups/commits{/sha}","git_commits_url":"https://api.github.com/repos/gap-packages/Semigroups/git/commits{/sha}","comments_url":"https://api.github.com/repos/gap-packages/Semigroups/comments{/number}","issue_comment_url":"https://api.github.com/repos/gap-packages/Semigroups/issues/comments{/number}","contents_url":"https://api.github.com/repos/gap-packages/Semigroups/contents/{+path}","compare_url":"https://api.github.com/repos/gap-packages/Semigroups/compare/{base}...{head}","merges_url":"https://api.github.com/repos/gap-packages/Semigroups/merges","archive_url":"https://api.github.com/repos/gap-packages/Semigroups/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/gap-packages/Semigroups/downloads","issues_url":"https://api.github.com/repos/gap-packages/Semigroups/issues{/number}","pulls_url":"https://api.github.com/repos/gap-packages/Semigroups/pulls{/number}","milestones_url":"https://api.github.com/repos/gap-packages/Semigroups/milestones{/number}","notifications_url":"https://api.github.com/repos/gap-packages/Semigroups/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/gap-packages/Semigroups/labels{/name}","releases_url":"https://api.github.com/repos/gap-packages/Semigroups/releases{/id}","deployments_url":"https://api.github.com/repos/gap-packages/Semigroups/deployments","created_at":"2016-04-14T16:36:03Z","updated_at":"2016-05-26T17:42:11Z","pushed_at":"2016-09-14T10:04:14Z","git_url":"git://github.com/gap-packages/Semigroups.git","ssh_url":"git@github.com:gap-packages/Semigroups.git","clone_url":"https://github.com/gap-packages/Semigroups.git","svn_url":"https://github.com/gap-packages/Semigroups","homepage":"http://gap-packages.github.io/Semigroups/","size":59444,"stargazers_count":5,"watchers_count":5,"language":"GAP","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":true,"forks_count":7,"mirror_url":null,"open_issues_count":18,"forks":7,"open_issues":18,"watchers":5,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/gap-packages/Semigroups/pulls/207"},"html":{"href":"https://github.com/gap-packages/Semigroups/pull/207"},"issue":{"href":"https://api.github.com/repos/gap-packages/Semigroups/issues/207"},"comments":{"href":"https://api.github.com/repos/gap-packages/Semigroups/issues/207/comments"},"review_comments":{"href":"https://api.github.com/repos/gap-packages/Semigroups/pulls/207/comments"},"review_comment":{"href":"https://api.github.com/repos/gap-packages/Semigroups/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/gap-packages/Semigroups/pulls/207/commits"},"statuses":{"href":"https://api.github.com/repos/gap-packages/Semigroups/statuses/c980beefdff12f735f3653afd665d39314fe68af"}},"merged":true,"mergeable":null,"mergeable_state":"unknown","merged_by":{"login":"james-d-mitchell","id":6686071,"avatar_url":"https://avatars.githubusercontent.com/u/6686071?v=3","gravatar_id":"","url":"https://api.github.com/users/james-d-mitchell","html_url":"https://github.com/james-d-mitchell","followers_url":"https://api.github.com/users/james-d-mitchell/followers","following_url":"https://api.github.com/users/james-d-mitchell/following{/other_user}","gists_url":"https://api.github.com/users/james-d-mitchell/gists{/gist_id}","starred_url":"https://api.github.com/users/james-d-mitchell/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/james-d-mitchell/subscriptions","organizations_url":"https://api.github.com/users/james-d-mitchell/orgs","repos_url":"https://api.github.com/users/james-d-mitchell/repos","events_url":"https://api.github.com/users/james-d-mitchell/events{/privacy}","received_events_url":"https://api.github.com/users/james-d-mitchell/received_events","type":"User","site_admin":false},"comments":5,"review_comments":6,"commits":15,"additions":811,"deletions":43,"changed_files":11}}
{"actor":{"display_login":"james-d-mitchell"}}