{"action":"closed","issue":{"url":"https://api.github.com/repos/sympy/sympy/issues/10056","labels_url":"https://api.github.com/repos/sympy/sympy/issues/10056/labels{/name}","comments_url":"https://api.github.com/repos/sympy/sympy/issues/10056/comments","events_url":"https://api.github.com/repos/sympy/sympy/issues/10056/events","html_url":"https://github.com/sympy/sympy/issues/10056","id":113708134,"number":10056,"title":"linsolve does not find solutions that solve_linear_system does","user":{"login":"MooVI","id":1942866,"avatar_url":"https://avatars.githubusercontent.com/u/1942866?v=3","gravatar_id":"","url":"https://api.github.com/users/MooVI","html_url":"https://github.com/MooVI","followers_url":"https://api.github.com/users/MooVI/followers","following_url":"https://api.github.com/users/MooVI/following{/other_user}","gists_url":"https://api.github.com/users/MooVI/gists{/gist_id}","starred_url":"https://api.github.com/users/MooVI/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/MooVI/subscriptions","organizations_url":"https://api.github.com/users/MooVI/orgs","repos_url":"https://api.github.com/users/MooVI/repos","events_url":"https://api.github.com/users/MooVI/events{/privacy}","received_events_url":"https://api.github.com/users/MooVI/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/sympy/sympy/labels/solvers","name":"solvers","color":"0000FF"},{"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"},{"url":"https://api.github.com/repos/sympy/sympy/labels/Wrong%20Result","name":"Wrong Result","color":"e11d21"}],"state":"closed","locked":false,"assignee":{"login":"aktech","id":5647941,"avatar_url":"https://avatars.githubusercontent.com/u/5647941?v=3","gravatar_id":"","url":"https://api.github.com/users/aktech","html_url":"https://github.com/aktech","followers_url":"https://api.github.com/users/aktech/followers","following_url":"https://api.github.com/users/aktech/following{/other_user}","gists_url":"https://api.github.com/users/aktech/gists{/gist_id}","starred_url":"https://api.github.com/users/aktech/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/aktech/subscriptions","organizations_url":"https://api.github.com/users/aktech/orgs","repos_url":"https://api.github.com/users/aktech/repos","events_url":"https://api.github.com/users/aktech/events{/privacy}","received_events_url":"https://api.github.com/users/aktech/received_events","type":"User","site_admin":false},"milestone":{"url":"https://api.github.com/repos/sympy/sympy/milestones/42","html_url":"https://github.com/sympy/sympy/milestones/1.0","labels_url":"https://api.github.com/repos/sympy/sympy/milestones/42/labels","id":749891,"number":42,"title":"1.0","description":"The next version of SymPy after 0.7.6 will be 1.0 (barring any bugfix releases). This will have major changes including separation of mpmath as an external dependency, and a cleanup of the assumptions system. ","creator":{"login":"jcrist","id":2783717,"avatar_url":"https://avatars.githubusercontent.com/u/2783717?v=3","gravatar_id":"","url":"https://api.github.com/users/jcrist","html_url":"https://github.com/jcrist","followers_url":"https://api.github.com/users/jcrist/followers","following_url":"https://api.github.com/users/jcrist/following{/other_user}","gists_url":"https://api.github.com/users/jcrist/gists{/gist_id}","starred_url":"https://api.github.com/users/jcrist/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jcrist/subscriptions","organizations_url":"https://api.github.com/users/jcrist/orgs","repos_url":"https://api.github.com/users/jcrist/repos","events_url":"https://api.github.com/users/jcrist/events{/privacy}","received_events_url":"https://api.github.com/users/jcrist/received_events","type":"User","site_admin":false},"open_issues":14,"closed_issues":10,"state":"open","created_at":"2014-08-11T16:10:26Z","updated_at":"2015-12-20T18:52:24Z","due_on":null,"closed_at":null},"comments":6,"created_at":"2015-10-27T23:04:14Z","updated_at":"2015-12-20T18:52:24Z","closed_at":"2015-12-20T18:52:24Z","body":"For some overdetermined systems, `linsolve` does not find solutions which `solve_linear_system` does. For example:\r\n\r\n```python\r\nIn [12]: from sympy.solvers.solveset import linsolve\r\nfrom sympy import *\r\n\r\nA, B, J1, J2 = symbols('A B J1 J2')\r\n\r\naugmatrix = Matrix([\r\n    [ 2*I*J1,  2*I*J2,-2/J1],\r\n    [-2*I*J2, -2*I*J1, 2/J2],\r\n    [ 0,  2, 2*I/(J1*J2)],\r\n    [2, 0,  0],\r\n])\r\n\r\nlinsolve(augmatrix, A, B)\r\nsolve_linear_system(augmatrix, A, B)\r\n\r\nOut[16]: EmptySet()\r\n\r\nOut[17]: {A: 0, B: I/(J1*J2)}\r\n```\r\nOn the other hand:\r\n\r\n```python\r\nIn [23]: augmatrix = Matrix([\r\n    [2*I*J2,-2/J1],\r\n    [-2*I*J1, 2/J2],\r\n    [ 2, 2*I/(J1*J2)],\r\n])\r\n\r\nlinsolve(augmatrix, A)\r\nsolve_linear_system(augmatrix, A)\r\n\r\nOut[24]: {(I/(J1*J2),)}\r\n\r\nOut[25]: {A: I/(J1*J2)}\r\n```\r\n\r\nworks fine.\r\n\r\nI understand that this issue is problematic because `solve_linear_system` is being deprecated in favour of  `linsolve`: #10000.\r\n"}}