{"action":"opened","issue":{"url":"https://api.github.com/repos/adipopescu/To-Do-List/issues/41","labels_url":"https://api.github.com/repos/adipopescu/To-Do-List/issues/41/labels{/name}","comments_url":"https://api.github.com/repos/adipopescu/To-Do-List/issues/41/comments","events_url":"https://api.github.com/repos/adipopescu/To-Do-List/issues/41/events","html_url":"https://github.com/adipopescu/To-Do-List/issues/41","id":56827566,"number":41,"title":"tail not reduced example","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":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-02-06T15:43:15Z","updated_at":"2015-02-06T15:43:15Z","closed_at":null,"body":"```\r\nLIB \"primdec.lib\";\r\nLIB \"wrappers.lib\";\r\nring rng = (integer),(x,y,z),(lp(1),lp(2),C);\r\nintvec op = 100663296,16787537;\r\n option() ;\r\n option(set, op) ;\r\n ASSUME(0, optionIsSet(\"redTail\"));\r\nint trial = 5;\r\nsystem(\"random\", 226841520);\r\nideal I = -4*x*y*z+9*x*z^2+9*y,-4*x*y*z-3*y;\r\nideal J = 5*x*y*z+6,8*x*z^2-10*y;\r\n       ideal gI =  std(I);\r\n       ideal ggI =  std(gI);\r\n       ideal gJ =  std(J);\r\n       ideal ggJ =  std(gJ);\r\nASSUME(0, 0== size( std(reduce (I,gI ) ))  );\r\nASSUME(0, 0== size( std(reduce (J,gJ ) ))  );\r\nASSUME(0, size(gJ)== size(ggJ) );\r\nASSUME(0, size(gI)== size(ggI) );\r\nASSUME(0, idealsEqual(gI,ggI ));\r\nASSUME(0, idealsEqual(gJ,ggJ ));\r\nASSUME(0, idealsAreEqual(gI,ggI ));\r\nASSUME(0, idealsAreEqual(gJ,ggJ ));\r\nASSUME(0, idealRepresentationReducedTail(gI ));// fails\r\n// idealRepresentationReducedTail :  I[3]4xyz-9xz2-9y\r\n//  idealRepresentationReducedTail: lead(I[2])9xz2\r\nASSUME(0, idealRepresentationReducedTail(gJ ));\r\nASSUME(0, idealRepresentationReducedTail(ggI ));\r\nASSUME(0, idealRepresentationReducedTail(ggJ ));\r\n\r\n\r\n```"}}