{"action":"closed","issue":{"url":"https://api.github.com/repos/Macaulay2/M2/issues/242","labels_url":"https://api.github.com/repos/Macaulay2/M2/issues/242/labels{/name}","comments_url":"https://api.github.com/repos/Macaulay2/M2/issues/242/comments","events_url":"https://api.github.com/repos/Macaulay2/M2/issues/242/events","html_url":"https://github.com/Macaulay2/M2/issues/242","id":76839705,"number":242,"title":"premature termination of gb() over ZZ?","user":{"login":"jakobkroeker","id":2487128,"avatar_url":"https://avatars.githubusercontent.com/u/2487128?v=3","gravatar_id":"","url":"https://api.github.com/users/jakobkroeker","html_url":"https://github.com/jakobkroeker","followers_url":"https://api.github.com/users/jakobkroeker/followers","following_url":"https://api.github.com/users/jakobkroeker/following{/other_user}","gists_url":"https://api.github.com/users/jakobkroeker/gists{/gist_id}","starred_url":"https://api.github.com/users/jakobkroeker/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jakobkroeker/subscriptions","organizations_url":"https://api.github.com/users/jakobkroeker/orgs","repos_url":"https://api.github.com/users/jakobkroeker/repos","events_url":"https://api.github.com/users/jakobkroeker/events{/privacy}","received_events_url":"https://api.github.com/users/jakobkroeker/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":{"login":"mikestillman","id":102215,"avatar_url":"https://avatars.githubusercontent.com/u/102215?v=3","gravatar_id":"","url":"https://api.github.com/users/mikestillman","html_url":"https://github.com/mikestillman","followers_url":"https://api.github.com/users/mikestillman/followers","following_url":"https://api.github.com/users/mikestillman/following{/other_user}","gists_url":"https://api.github.com/users/mikestillman/gists{/gist_id}","starred_url":"https://api.github.com/users/mikestillman/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mikestillman/subscriptions","organizations_url":"https://api.github.com/users/mikestillman/orgs","repos_url":"https://api.github.com/users/mikestillman/repos","events_url":"https://api.github.com/users/mikestillman/events{/privacy}","received_events_url":"https://api.github.com/users/mikestillman/received_events","type":"User","site_admin":false},"milestone":{"url":"https://api.github.com/repos/Macaulay2/M2/milestones/2","html_url":"https://github.com/Macaulay2/M2/milestones/version%201.8","labels_url":"https://api.github.com/repos/Macaulay2/M2/milestones/2/labels","id":763945,"number":2,"title":"version 1.8","description":"","creator":{"login":"DanGrayson","id":700228,"avatar_url":"https://avatars.githubusercontent.com/u/700228?v=3","gravatar_id":"","url":"https://api.github.com/users/DanGrayson","html_url":"https://github.com/DanGrayson","followers_url":"https://api.github.com/users/DanGrayson/followers","following_url":"https://api.github.com/users/DanGrayson/following{/other_user}","gists_url":"https://api.github.com/users/DanGrayson/gists{/gist_id}","starred_url":"https://api.github.com/users/DanGrayson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DanGrayson/subscriptions","organizations_url":"https://api.github.com/users/DanGrayson/orgs","repos_url":"https://api.github.com/users/DanGrayson/repos","events_url":"https://api.github.com/users/DanGrayson/events{/privacy}","received_events_url":"https://api.github.com/users/DanGrayson/received_events","type":"User","site_admin":false},"open_issues":7,"closed_issues":23,"state":"open","created_at":"2014-08-24T20:43:57Z","updated_at":"2015-06-03T13:49:33Z","due_on":"2015-04-15T05:00:00Z","closed_at":null},"comments":1,"created_at":"2015-05-15T20:02:37Z","updated_at":"2015-06-03T13:49:33Z","closed_at":"2015-06-03T13:49:33Z","body":"```\r\nrng = ZZ[x,y,z]\r\nI = ideal(-5*z+4, 6*y-1, 9*z+8)\r\ngI = ideal gens gb I\r\nggI = ideal gens gb gI\r\nleadTerm ggI_2 % leadTerm gI_2\r\nleadTerm gI_2 % leadTerm ggI_2\r\n```\r\noutput\r\n```\r\ni33 : rng = ZZ[x,y,z]\r\n\r\no33 = rng\r\n\r\no33 : PolynomialRing\r\n\r\ni34 : I = ideal(-5*z+4, 6*y-1, 9*z+8)\r\n\r\no34 = ideal (- 5z + 4, 6y - 1, 9z + 8)\r\n\r\no34 : Ideal of rng\r\n\r\ni35 : gI = ideal gens gb I\r\n\r\no35 = ideal (19, z + 3, 2y + 6)\r\n\r\no35 : Ideal of rng\r\n\r\ni36 : ggI = ideal gens gb gI\r\n\r\no36 = ideal (19, z + 3, y + 3)\r\n\r\no36 : Ideal of rng\r\n\r\ni37 : leadTerm ggI_2 % leadTerm gI_2\r\n\r\no37 = y\r\n\r\no37 : rng\r\n\r\ni38 : leadTerm gI_2 % leadTerm ggI_2\r\n\r\no38 = 0\r\n\r\no38 : rng\r\n\r\n```"}}