{"action":"closed","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":6,"created_at":"2015-07-03T17:37:53Z","updated_at":"2015-10-29T13:22:31Z","closed_at":"2015-10-29T13:22:31Z","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```"}}