{"action":"opened","issue":{"url":"https://api.github.com/repos/sympy/sympy/issues/11015","repository_url":"https://api.github.com/repos/sympy/sympy","labels_url":"https://api.github.com/repos/sympy/sympy/issues/11015/labels{/name}","comments_url":"https://api.github.com/repos/sympy/sympy/issues/11015/comments","events_url":"https://api.github.com/repos/sympy/sympy/issues/11015/events","html_url":"https://github.com/sympy/sympy/issues/11015","id":148672576,"number":11015,"title":"solveset(oo*x - 1) -> {0}; should be {}","user":{"login":"smichr","id":90703,"avatar_url":"https://avatars.githubusercontent.com/u/90703?v=3","gravatar_id":"","url":"https://api.github.com/users/smichr","html_url":"https://github.com/smichr","followers_url":"https://api.github.com/users/smichr/followers","following_url":"https://api.github.com/users/smichr/following{/other_user}","gists_url":"https://api.github.com/users/smichr/gists{/gist_id}","starred_url":"https://api.github.com/users/smichr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/smichr/subscriptions","organizations_url":"https://api.github.com/users/smichr/orgs","repos_url":"https://api.github.com/users/smichr/repos","events_url":"https://api.github.com/users/smichr/events{/privacy}","received_events_url":"https://api.github.com/users/smichr/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/sympy/sympy/labels/solvers.solve","name":"solvers.solve","color":"0000FF"},{"url":"https://api.github.com/repos/sympy/sympy/labels/solvers.solveset","name":"solvers.solveset","color":"0000FF"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2016-04-15T14:16:23Z","updated_at":"2016-04-15T14:16:23Z","closed_at":null,"body":"Substitution of 0 into the expression `oo*x - 1` gives `nan - 1` -> `nan`, so 0 should not be reported as a solution from `solveset` (and `nan` should not be reported as the solution from solve).\r\n\r\n```python\r\n>>> solve(1-oo*x)\r\n[nan]\r\n>>> solveset(1-oo*x)\r\n{0}\r\n```"}}