{"action":"opened","issue":{"url":"https://api.github.com/repos/ibex-team/ibex-lib/issues/139","labels_url":"https://api.github.com/repos/ibex-team/ibex-lib/issues/139/labels{/name}","comments_url":"https://api.github.com/repos/ibex-team/ibex-lib/issues/139/comments","events_url":"https://api.github.com/repos/ibex-team/ibex-lib/issues/139/events","html_url":"https://github.com/ibex-team/ibex-lib/issues/139","id":79528921,"number":139,"title":"CtcMohc fail when","user":{"login":"lcgutierrez","id":1007493,"avatar_url":"https://avatars.githubusercontent.com/u/1007493?v=3","gravatar_id":"","url":"https://api.github.com/users/lcgutierrez","html_url":"https://github.com/lcgutierrez","followers_url":"https://api.github.com/users/lcgutierrez/followers","following_url":"https://api.github.com/users/lcgutierrez/following{/other_user}","gists_url":"https://api.github.com/users/lcgutierrez/gists{/gist_id}","starred_url":"https://api.github.com/users/lcgutierrez/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lcgutierrez/subscriptions","organizations_url":"https://api.github.com/users/lcgutierrez/orgs","repos_url":"https://api.github.com/users/lcgutierrez/repos","events_url":"https://api.github.com/users/lcgutierrez/events{/privacy}","received_events_url":"https://api.github.com/users/lcgutierrez/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-05-22T16:59:35Z","updated_at":"2015-05-22T16:59:35Z","closed_at":null,"body":"Hello, \r\n\r\nI am getting a segmentation fault error when I try to contract this constraint. Here is the code:\r\n\r\n      NumConstraint g(\"x\",\"y\",\"x^8 - 24*x^7 + 252*x^6 - 1512*x^5 + 5670*x^4 - 13608*x^3 + 20412*x^2 - 17496*x + 6561 - y =0\");\r\n        \r\n        cout << g << endl;\r\n        double init_box2[2][2] = {{3.9999,4.0001},{-10000000,10000000}};\r\n        IntervalVector box2(2,init_box2);\r\n        \r\n        CtcMohc oc(g);\r\n        oc.contract(box2);\r\n        cout << box2 << endl;\r\n\r\nHere is the output:\r\n\r\n(((((((((x^8-(24*x^7))+(252*x^6))-(1512*x^5))+(5670*x^4))-(13608*x^3))+(20412*x^2))-(17496*x))+6561)-y)=0\r\nSegmentation fault (core dumped)\r\n"}}