{"action":"created","issue":{"url":"https://api.github.com/repos/adipopescu/To-Do-List/issues/62","labels_url":"https://api.github.com/repos/adipopescu/To-Do-List/issues/62/labels{/name}","comments_url":"https://api.github.com/repos/adipopescu/To-Do-List/issues/62/comments","events_url":"https://api.github.com/repos/adipopescu/To-Do-List/issues/62/events","html_url":"https://github.com/adipopescu/To-Do-List/issues/62","id":92913870,"number":62,"title":"syz out of mem example 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":null,"milestone":null,"comments":3,"created_at":"2015-07-03T17:37:53Z","updated_at":"2015-10-14T18:25:26Z","closed_at":"2015-10-14T10:36:33Z","body":"```\r\nring rng = (integer),(x,y,z),(rp(3),C);\r\nintvec op = 100663296,10321;\r\n option(set, op) ;\r\n option() ;\r\n // option() ;//options: redTail intStrategy redefine loadLib usage prompt\r\nideal I = -12*z^4-11*x^3-10*x,3*y*z^2-15*x*y^2*z-13;\r\ndef syzI = syz (I);\r\n\r\nquit;\r\n\r\n```\r\nor \r\n```\r\nideal I = -z^4-x^3-5*x,3*y*z^2-10*x*y^2*z-13;\r\n```"},"comment":{"url":"https://api.github.com/repos/adipopescu/To-Do-List/issues/comments/148144949","html_url":"https://github.com/adipopescu/To-Do-List/issues/62#issuecomment-148144949","issue_url":"https://api.github.com/repos/adipopescu/To-Do-List/issues/62","id":148144949,"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},"created_at":"2015-10-14T18:25:26Z","updated_at":"2015-10-14T18:25:26Z","body":"> you just need enough memory\r\n\r\nok.\r\nJust notice that the same example in Macaulay2 takes less than 100 MB and finishes in about 3 seconds. \r\n\r\nTherefore I suspect (but have no proof) that in Singular the example finishes only by luck\r\nand there might be a bug in Singular's implementation...\r\n\r\n```\r\nR = ZZ[z,y,x, MonomialOrder=>Lex]  -- lex is same as rp with reversed variable list\r\n\r\n  I = ideal{-12*z^4-11*x^3-10*x,3*y*z^2-15*x*y^2*z-13};\r\n\r\nS = syz gens I;\r\n(gens I)*S==0\r\nquit;\r\n```"}}