{"action":"created","issue":{"url":"https://api.github.com/repos/math-comp/multinomials/issues/20","repository_url":"https://api.github.com/repos/math-comp/multinomials","labels_url":"https://api.github.com/repos/math-comp/multinomials/issues/20/labels{/name}","comments_url":"https://api.github.com/repos/math-comp/multinomials/issues/20/comments","events_url":"https://api.github.com/repos/math-comp/multinomials/issues/20/events","html_url":"https://github.com/math-comp/multinomials/pull/20","id":354929688,"node_id":"MDExOlB1bGxSZXF1ZXN0MjExNTc4NTky","number":20,"title":"monalg for finmap v1.1","user":{"login":"hivert","id":7465401,"node_id":"MDQ6VXNlcjc0NjU0MDE=","avatar_url":"https://avatars3.githubusercontent.com/u/7465401?v=4","gravatar_id":"","url":"https://api.github.com/users/hivert","html_url":"https://github.com/hivert","followers_url":"https://api.github.com/users/hivert/followers","following_url":"https://api.github.com/users/hivert/following{/other_user}","gists_url":"https://api.github.com/users/hivert/gists{/gist_id}","starred_url":"https://api.github.com/users/hivert/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hivert/subscriptions","organizations_url":"https://api.github.com/users/hivert/orgs","repos_url":"https://api.github.com/users/hivert/repos","events_url":"https://api.github.com/users/hivert/events{/privacy}","received_events_url":"https://api.github.com/users/hivert/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":20,"created_at":"2018-08-28T22:37:21Z","updated_at":"2018-08-31T13:58:25Z","closed_at":"2018-08-31T11:42:37Z","author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/math-comp/multinomials/pulls/20","html_url":"https://github.com/math-comp/multinomials/pull/20","diff_url":"https://github.com/math-comp/multinomials/pull/20.diff","patch_url":"https://github.com/math-comp/multinomials/pull/20.patch"},"body":"Tentative fix for point 1 in issue #19. This is probably not ready for merge but I'm asking for comments."},"comment":{"url":"https://api.github.com/repos/math-comp/multinomials/issues/comments/417672675","html_url":"https://github.com/math-comp/multinomials/pull/20#issuecomment-417672675","issue_url":"https://api.github.com/repos/math-comp/multinomials/issues/20","id":417672675,"node_id":"MDEyOklzc3VlQ29tbWVudDQxNzY3MjY3NQ==","user":{"login":"hivert","id":7465401,"node_id":"MDQ6VXNlcjc0NjU0MDE=","avatar_url":"https://avatars3.githubusercontent.com/u/7465401?v=4","gravatar_id":"","url":"https://api.github.com/users/hivert","html_url":"https://github.com/hivert","followers_url":"https://api.github.com/users/hivert/followers","following_url":"https://api.github.com/users/hivert/following{/other_user}","gists_url":"https://api.github.com/users/hivert/gists{/gist_id}","starred_url":"https://api.github.com/users/hivert/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hivert/subscriptions","organizations_url":"https://api.github.com/users/hivert/orgs","repos_url":"https://api.github.com/users/hivert/repos","events_url":"https://api.github.com/users/hivert/events{/privacy}","received_events_url":"https://api.github.com/users/hivert/received_events","type":"User","site_admin":false},"created_at":"2018-08-31T13:58:25Z","updated_at":"2018-08-31T13:58:25Z","author_association":"CONTRIBUTOR","body":"@CohenCyril: good point (starting from a monoid morphism). I was more talking about your PS2 whose correct version seems to me the following universal property: \r\n\r\nGiven any ring R (which might be Z), for any plain map f:M -> B (where M is a choiceType and B is an R-module) there is a unique R-linear map linf:{malg R[M]} -> B such that linf <m> = f m (where <m> is the injection of m in {malg R[M]}). That is to say {malg R[M]} is the free R module generated by M. \r\n\r\nI should have written that from the beginning in my code and this discussion.\r\n\r\nBy the way mathcomp hierarchy might force us to do the job twice: once for Z giving additive map and once for the other ring (linear maps). "}}
{"actor":{"display_login":"hivert"}}