{"action":"created","issue":{"url":"https://api.github.com/repos/convexopt/gpkit/issues/217","labels_url":"https://api.github.com/repos/convexopt/gpkit/issues/217/labels{/name}","comments_url":"https://api.github.com/repos/convexopt/gpkit/issues/217/comments","events_url":"https://api.github.com/repos/convexopt/gpkit/issues/217/events","html_url":"https://github.com/convexopt/gpkit/issues/217","id":69949774,"number":217,"title":"mosek solution status looked up incorrectly?","user":{"login":"whoburg","id":6042395,"avatar_url":"https://avatars.githubusercontent.com/u/6042395?v=3","gravatar_id":"","url":"https://api.github.com/users/whoburg","html_url":"https://github.com/whoburg","followers_url":"https://api.github.com/users/whoburg/followers","following_url":"https://api.github.com/users/whoburg/following{/other_user}","gists_url":"https://api.github.com/users/whoburg/gists{/gist_id}","starred_url":"https://api.github.com/users/whoburg/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/whoburg/subscriptions","organizations_url":"https://api.github.com/users/whoburg/orgs","repos_url":"https://api.github.com/users/whoburg/repos","events_url":"https://api.github.com/users/whoburg/events{/privacy}","received_events_url":"https://api.github.com/users/whoburg/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":{"url":"https://api.github.com/repos/convexopt/gpkit/milestones/3","html_url":"https://github.com/convexopt/gpkit/milestones/0.3%20-%20Model,%20GP%20refactor,%20SP%20basics","labels_url":"https://api.github.com/repos/convexopt/gpkit/milestones/3/labels","id":1213245,"number":3,"title":"0.3 - Model, GP refactor, SP basics","description":"Model refactor\r\n  - composing Models, creating Model objects (no inheritance!)\r\n       - forms spec for NomialData refactor to follow\r\n\r\nGP refactor\r\n  - emphasize readability of code, especially for mathematicians and solver-writers\r\n\r\nSP basic functionality\r\n  - All SPs should work, but may need initial conditions","creator":{"login":"bqpd","id":1482776,"avatar_url":"https://avatars.githubusercontent.com/u/1482776?v=3","gravatar_id":"","url":"https://api.github.com/users/bqpd","html_url":"https://github.com/bqpd","followers_url":"https://api.github.com/users/bqpd/followers","following_url":"https://api.github.com/users/bqpd/following{/other_user}","gists_url":"https://api.github.com/users/bqpd/gists{/gist_id}","starred_url":"https://api.github.com/users/bqpd/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bqpd/subscriptions","organizations_url":"https://api.github.com/users/bqpd/orgs","repos_url":"https://api.github.com/users/bqpd/repos","events_url":"https://api.github.com/users/bqpd/events{/privacy}","received_events_url":"https://api.github.com/users/bqpd/received_events","type":"User","site_admin":false},"open_issues":17,"closed_issues":10,"state":"open","created_at":"2015-07-17T17:00:25Z","updated_at":"2015-08-11T04:53:50Z","due_on":"2015-08-13T04:00:00Z","closed_at":null},"comments":12,"created_at":"2015-04-21T20:54:10Z","updated_at":"2015-08-11T04:57:33Z","closed_at":null,"body":"The following program is poorly-formulated, in that `x` gets pushed toward `0.0`, and `y` toward infinity.\r\n\r\n```python\r\nfrom gpkit import Variable, GP\r\n\r\n# free variables\r\nx = Variable('x')\r\ny = Variable('y')\r\n\r\ngp = GP(y*x,\r\n        [y*x >= 2 + 10*x])\r\nsol = gp.solve(solver='mosek')\r\ncs, exps, A, p_idxs, k, removed_idxs = gp.genA()\r\ngp.solverfn(c=cs, A=A, p_idxs=p_idxs, k=k)\r\n```\r\nThe mosek `solverfn` output, however, shows an objective value of 0.0 and a status of `OPTIMAL`:\r\n```python\r\n{'nu': [0.0, 0.0, 0.0],\r\n 'objective': 0.0,\r\n 'primal': [0.0, 0.6931471805599453],\r\n 'status': 'OPTIMAL'}\r\n```\r\nThis is clearly wrong -- the optimal value certainly cannot be less than `2.0`, according to the constraint.\r\n\r\nI'm wondering if this is really the correct solution status (as looked up in `MSK._SOL_STA_LOOKUPTABLE`). Cvxopt fails on rank errors, and I suspect the problem is dual infeasible."},"comment":{"url":"https://api.github.com/repos/convexopt/gpkit/issues/comments/129705804","html_url":"https://github.com/convexopt/gpkit/issues/217#issuecomment-129705804","issue_url":"https://api.github.com/repos/convexopt/gpkit/issues/217","id":129705804,"user":{"login":"bqpd","id":1482776,"avatar_url":"https://avatars.githubusercontent.com/u/1482776?v=3","gravatar_id":"","url":"https://api.github.com/users/bqpd","html_url":"https://github.com/bqpd","followers_url":"https://api.github.com/users/bqpd/followers","following_url":"https://api.github.com/users/bqpd/following{/other_user}","gists_url":"https://api.github.com/users/bqpd/gists{/gist_id}","starred_url":"https://api.github.com/users/bqpd/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bqpd/subscriptions","organizations_url":"https://api.github.com/users/bqpd/orgs","repos_url":"https://api.github.com/users/bqpd/repos","events_url":"https://api.github.com/users/bqpd/events{/privacy}","received_events_url":"https://api.github.com/users/bqpd/received_events","type":"User","site_admin":false},"created_at":"2015-08-11T04:57:33Z","updated_at":"2015-08-11T04:57:33Z","body":"This will get caught by #23"}}