{"action":"created","comment":{"url":"https://api.github.com/repos/sympy/sympy/pulls/comments/73805353","id":73805353,"diff_hunk":"@@ -176,6 +176,43 @@ def test_domain_check():\n     assert domain_check(0, x, oo) is False\n \n \n+def test_eliminate():\n+    x, y, z, t = symbols('x y z t', real=True)\n+\n+    assert eliminate([x+y+z], z) == S.EmptySet","path":"sympy/solvers/tests/test_solveset.py","position":16,"original_position":16,"commit_id":"63e21a7531689983587702a4720de4452db0dbb6","original_commit_id":"63e21a7531689983587702a4720de4452db0dbb6","user":{"login":"kshitij10496","id":12427142,"avatar_url":"https://avatars.githubusercontent.com/u/12427142?v=3","gravatar_id":"","url":"https://api.github.com/users/kshitij10496","html_url":"https://github.com/kshitij10496","followers_url":"https://api.github.com/users/kshitij10496/followers","following_url":"https://api.github.com/users/kshitij10496/following{/other_user}","gists_url":"https://api.github.com/users/kshitij10496/gists{/gist_id}","starred_url":"https://api.github.com/users/kshitij10496/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kshitij10496/subscriptions","organizations_url":"https://api.github.com/users/kshitij10496/orgs","repos_url":"https://api.github.com/users/kshitij10496/repos","events_url":"https://api.github.com/users/kshitij10496/events{/privacy}","received_events_url":"https://api.github.com/users/kshitij10496/received_events","type":"User","site_admin":false},"body":"`x + y + z` is an expression and not an equation.\r\nDo you mean `x + y + z = 0` ?\r\n\r\nAs a general notation, have you assumed the rhs(probably) of all the test expressions to be `0` ?","created_at":"2016-08-07T16:53:56Z","updated_at":"2016-08-07T16:53:56Z","html_url":"https://github.com/sympy/sympy/pull/11485#discussion_r73805353","pull_request_url":"https://api.github.com/repos/sympy/sympy/pulls/11485","_links":{"self":{"href":"https://api.github.com/repos/sympy/sympy/pulls/comments/73805353"},"html":{"href":"https://github.com/sympy/sympy/pull/11485#discussion_r73805353"},"pull_request":{"href":"https://api.github.com/repos/sympy/sympy/pulls/11485"}}},"pull_request":{"url":"https://api.github.com/repos/sympy/sympy/pulls/11485","id":80371721,"html_url":"https://github.com/sympy/sympy/pull/11485","diff_url":"https://github.com/sympy/sympy/pull/11485.diff","patch_url":"https://github.com/sympy/sympy/pull/11485.patch","issue_url":"https://api.github.com/repos/sympy/sympy/issues/11485","number":11485,"state":"open","locked":false,"title":"eliminate(), to eliminate symbols from the equations","user":{"login":"Shekharrajak","id":5774448,"avatar_url":"https://avatars.githubusercontent.com/u/5774448?v=3","gravatar_id":"","url":"https://api.github.com/users/Shekharrajak","html_url":"https://github.com/Shekharrajak","followers_url":"https://api.github.com/users/Shekharrajak/followers","following_url":"https://api.github.com/users/Shekharrajak/following{/other_user}","gists_url":"https://api.github.com/users/Shekharrajak/gists{/gist_id}","starred_url":"https://api.github.com/users/Shekharrajak/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Shekharrajak/subscriptions","organizations_url":"https://api.github.com/users/Shekharrajak/orgs","repos_url":"https://api.github.com/users/Shekharrajak/repos","events_url":"https://api.github.com/users/Shekharrajak/events{/privacy}","received_events_url":"https://api.github.com/users/Shekharrajak/received_events","type":"User","site_admin":false},"body":"Fixes https://github.com/sympy/sympy/issues/2720\r\n\r\nExamples: \r\n\r\n```\r\nIn [1]: from sympy.solvers.solveset import eliminate\r\n\r\nIn [2]: x, y, z, t = symbols('x y z t', real=True)\r\n\r\nIn [3]: eqs = [2*x + 3*y + 4*z - 1, 9*x +8*y +7*z - 2]\r\n\r\nIn [4]: eliminate(eqs, z)\r\nOut[4]: \r\n⎧11⋅x   11⋅y   1⎫\r\n⎨──── + ──── - ─⎬\r\n⎩ 2      4     4⎭\r\n\r\nIn [5]: eqs = [x - 2 - y, y - z]\r\n\r\nIn [6]: eliminate(eqs, y)\r\nOut[6]: {x - z - 2}\r\n\r\nIn [ ]: eliminate([x + y + z , y - z, x - y], y, z)\r\nOut[ ]: {3⋅x}\r\n\r\nIn [7]: eqs = [x**2 + y**2 +z**2 - 1, x - y + z - 2, x**3 - y**2 - z - 1]\r\n\r\nIn [8]: eliminate(eqs, z)\r\nOut[8]: \r\n⎧ 2    2               2       3        2        ⎫\r\n⎨x  + y  + (-x + y + 2)  - 1, x  + x - y  - y - 3⎬\r\n⎩                                                ⎭\r\n\r\n\r\nIn [9]: eqs = [sqrt(x) + sqrt(y - 1) - 1, 2*x**(S(1)/3) + 3*y**2 -2]\r\n\r\nIn [10]: eliminate(eqs, y)\r\nOut[10]: \r\n⎧                            2    ⎫\r\n⎨  3 ___     ⎛         2    ⎞     ⎬\r\n⎩2⋅╲╱ x  + 3⋅⎝(-√x + 1)  + 1⎠  - 2⎭\r\n\r\n```","created_at":"2016-08-07T16:41:18Z","updated_at":"2016-08-07T16:53:56Z","closed_at":null,"merged_at":null,"merge_commit_sha":"4cea335c950871ecf9ede639dda0798934d15e5c","assignee":null,"assignees":[],"milestone":null,"commits_url":"https://api.github.com/repos/sympy/sympy/pulls/11485/commits","review_comments_url":"https://api.github.com/repos/sympy/sympy/pulls/11485/comments","review_comment_url":"https://api.github.com/repos/sympy/sympy/pulls/comments{/number}","comments_url":"https://api.github.com/repos/sympy/sympy/issues/11485/comments","statuses_url":"https://api.github.com/repos/sympy/sympy/statuses/63e21a7531689983587702a4720de4452db0dbb6","head":{"label":"Shekharrajak:eliminate","ref":"eliminate","sha":"63e21a7531689983587702a4720de4452db0dbb6","user":{"login":"Shekharrajak","id":5774448,"avatar_url":"https://avatars.githubusercontent.com/u/5774448?v=3","gravatar_id":"","url":"https://api.github.com/users/Shekharrajak","html_url":"https://github.com/Shekharrajak","followers_url":"https://api.github.com/users/Shekharrajak/followers","following_url":"https://api.github.com/users/Shekharrajak/following{/other_user}","gists_url":"https://api.github.com/users/Shekharrajak/gists{/gist_id}","starred_url":"https://api.github.com/users/Shekharrajak/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Shekharrajak/subscriptions","organizations_url":"https://api.github.com/users/Shekharrajak/orgs","repos_url":"https://api.github.com/users/Shekharrajak/repos","events_url":"https://api.github.com/users/Shekharrajak/events{/privacy}","received_events_url":"https://api.github.com/users/Shekharrajak/received_events","type":"User","site_admin":false},"repo":{"id":42365606,"name":"sympy","full_name":"Shekharrajak/sympy","owner":{"login":"Shekharrajak","id":5774448,"avatar_url":"https://avatars.githubusercontent.com/u/5774448?v=3","gravatar_id":"","url":"https://api.github.com/users/Shekharrajak","html_url":"https://github.com/Shekharrajak","followers_url":"https://api.github.com/users/Shekharrajak/followers","following_url":"https://api.github.com/users/Shekharrajak/following{/other_user}","gists_url":"https://api.github.com/users/Shekharrajak/gists{/gist_id}","starred_url":"https://api.github.com/users/Shekharrajak/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Shekharrajak/subscriptions","organizations_url":"https://api.github.com/users/Shekharrajak/orgs","repos_url":"https://api.github.com/users/Shekharrajak/repos","events_url":"https://api.github.com/users/Shekharrajak/events{/privacy}","received_events_url":"https://api.github.com/users/Shekharrajak/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/Shekharrajak/sympy","description":"A computer algebra system written in pure Python","fork":true,"url":"https://api.github.com/repos/Shekharrajak/sympy","forks_url":"https://api.github.com/repos/Shekharrajak/sympy/forks","keys_url":"https://api.github.com/repos/Shekharrajak/sympy/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Shekharrajak/sympy/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Shekharrajak/sympy/teams","hooks_url":"https://api.github.com/repos/Shekharrajak/sympy/hooks","issue_events_url":"https://api.github.com/repos/Shekharrajak/sympy/issues/events{/number}","events_url":"https://api.github.com/repos/Shekharrajak/sympy/events","assignees_url":"https://api.github.com/repos/Shekharrajak/sympy/assignees{/user}","branches_url":"https://api.github.com/repos/Shekharrajak/sympy/branches{/branch}","tags_url":"https://api.github.com/repos/Shekharrajak/sympy/tags","blobs_url":"https://api.github.com/repos/Shekharrajak/sympy/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Shekharrajak/sympy/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Shekharrajak/sympy/git/refs{/sha}","trees_url":"https://api.github.com/repos/Shekharrajak/sympy/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Shekharrajak/sympy/statuses/{sha}","languages_url":"https://api.github.com/repos/Shekharrajak/sympy/languages","stargazers_url":"https://api.github.com/repos/Shekharrajak/sympy/stargazers","contributors_url":"https://api.github.com/repos/Shekharrajak/sympy/contributors","subscribers_url":"https://api.github.com/repos/Shekharrajak/sympy/subscribers","subscription_url":"https://api.github.com/repos/Shekharrajak/sympy/subscription","commits_url":"https://api.github.com/repos/Shekharrajak/sympy/commits{/sha}","git_commits_url":"https://api.github.com/repos/Shekharrajak/sympy/git/commits{/sha}","comments_url":"https://api.github.com/repos/Shekharrajak/sympy/comments{/number}","issue_comment_url":"https://api.github.com/repos/Shekharrajak/sympy/issues/comments{/number}","contents_url":"https://api.github.com/repos/Shekharrajak/sympy/contents/{+path}","compare_url":"https://api.github.com/repos/Shekharrajak/sympy/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Shekharrajak/sympy/merges","archive_url":"https://api.github.com/repos/Shekharrajak/sympy/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Shekharrajak/sympy/downloads","issues_url":"https://api.github.com/repos/Shekharrajak/sympy/issues{/number}","pulls_url":"https://api.github.com/repos/Shekharrajak/sympy/pulls{/number}","milestones_url":"https://api.github.com/repos/Shekharrajak/sympy/milestones{/number}","notifications_url":"https://api.github.com/repos/Shekharrajak/sympy/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Shekharrajak/sympy/labels{/name}","releases_url":"https://api.github.com/repos/Shekharrajak/sympy/releases{/id}","deployments_url":"https://api.github.com/repos/Shekharrajak/sympy/deployments","created_at":"2015-09-12T17:09:44Z","updated_at":"2016-02-09T11:08:45Z","pushed_at":"2016-08-07T16:41:47Z","git_url":"git://github.com/Shekharrajak/sympy.git","ssh_url":"git@github.com:Shekharrajak/sympy.git","clone_url":"https://github.com/Shekharrajak/sympy.git","svn_url":"https://github.com/Shekharrajak/sympy","homepage":"http://sympy.org/","size":74393,"stargazers_count":0,"watchers_count":0,"language":"Python","has_issues":false,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":0,"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"sympy:master","ref":"master","sha":"89c52f84be0755ee8345f034ed4b94ca28cb289d","user":{"login":"sympy","id":260832,"avatar_url":"https://avatars.githubusercontent.com/u/260832?v=3","gravatar_id":"","url":"https://api.github.com/users/sympy","html_url":"https://github.com/sympy","followers_url":"https://api.github.com/users/sympy/followers","following_url":"https://api.github.com/users/sympy/following{/other_user}","gists_url":"https://api.github.com/users/sympy/gists{/gist_id}","starred_url":"https://api.github.com/users/sympy/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sympy/subscriptions","organizations_url":"https://api.github.com/users/sympy/orgs","repos_url":"https://api.github.com/users/sympy/repos","events_url":"https://api.github.com/users/sympy/events{/privacy}","received_events_url":"https://api.github.com/users/sympy/received_events","type":"Organization","site_admin":false},"repo":{"id":640534,"name":"sympy","full_name":"sympy/sympy","owner":{"login":"sympy","id":260832,"avatar_url":"https://avatars.githubusercontent.com/u/260832?v=3","gravatar_id":"","url":"https://api.github.com/users/sympy","html_url":"https://github.com/sympy","followers_url":"https://api.github.com/users/sympy/followers","following_url":"https://api.github.com/users/sympy/following{/other_user}","gists_url":"https://api.github.com/users/sympy/gists{/gist_id}","starred_url":"https://api.github.com/users/sympy/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sympy/subscriptions","organizations_url":"https://api.github.com/users/sympy/orgs","repos_url":"https://api.github.com/users/sympy/repos","events_url":"https://api.github.com/users/sympy/events{/privacy}","received_events_url":"https://api.github.com/users/sympy/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/sympy/sympy","description":"A computer algebra system written in pure Python","fork":false,"url":"https://api.github.com/repos/sympy/sympy","forks_url":"https://api.github.com/repos/sympy/sympy/forks","keys_url":"https://api.github.com/repos/sympy/sympy/keys{/key_id}","collaborators_url":"https://api.github.com/repos/sympy/sympy/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/sympy/sympy/teams","hooks_url":"https://api.github.com/repos/sympy/sympy/hooks","issue_events_url":"https://api.github.com/repos/sympy/sympy/issues/events{/number}","events_url":"https://api.github.com/repos/sympy/sympy/events","assignees_url":"https://api.github.com/repos/sympy/sympy/assignees{/user}","branches_url":"https://api.github.com/repos/sympy/sympy/branches{/branch}","tags_url":"https://api.github.com/repos/sympy/sympy/tags","blobs_url":"https://api.github.com/repos/sympy/sympy/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/sympy/sympy/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/sympy/sympy/git/refs{/sha}","trees_url":"https://api.github.com/repos/sympy/sympy/git/trees{/sha}","statuses_url":"https://api.github.com/repos/sympy/sympy/statuses/{sha}","languages_url":"https://api.github.com/repos/sympy/sympy/languages","stargazers_url":"https://api.github.com/repos/sympy/sympy/stargazers","contributors_url":"https://api.github.com/repos/sympy/sympy/contributors","subscribers_url":"https://api.github.com/repos/sympy/sympy/subscribers","subscription_url":"https://api.github.com/repos/sympy/sympy/subscription","commits_url":"https://api.github.com/repos/sympy/sympy/commits{/sha}","git_commits_url":"https://api.github.com/repos/sympy/sympy/git/commits{/sha}","comments_url":"https://api.github.com/repos/sympy/sympy/comments{/number}","issue_comment_url":"https://api.github.com/repos/sympy/sympy/issues/comments{/number}","contents_url":"https://api.github.com/repos/sympy/sympy/contents/{+path}","compare_url":"https://api.github.com/repos/sympy/sympy/compare/{base}...{head}","merges_url":"https://api.github.com/repos/sympy/sympy/merges","archive_url":"https://api.github.com/repos/sympy/sympy/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/sympy/sympy/downloads","issues_url":"https://api.github.com/repos/sympy/sympy/issues{/number}","pulls_url":"https://api.github.com/repos/sympy/sympy/pulls{/number}","milestones_url":"https://api.github.com/repos/sympy/sympy/milestones{/number}","notifications_url":"https://api.github.com/repos/sympy/sympy/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/sympy/sympy/labels{/name}","releases_url":"https://api.github.com/repos/sympy/sympy/releases{/id}","deployments_url":"https://api.github.com/repos/sympy/sympy/deployments","created_at":"2010-04-30T20:37:14Z","updated_at":"2016-08-06T17:52:29Z","pushed_at":"2016-08-07T16:41:48Z","git_url":"git://github.com/sympy/sympy.git","ssh_url":"git@github.com:sympy/sympy.git","clone_url":"https://github.com/sympy/sympy.git","svn_url":"https://github.com/sympy/sympy","homepage":"http://sympy.org/","size":116224,"stargazers_count":3030,"watchers_count":3030,"language":"Python","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":1528,"mirror_url":null,"open_issues_count":2480,"forks":1528,"open_issues":2480,"watchers":3030,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/sympy/sympy/pulls/11485"},"html":{"href":"https://github.com/sympy/sympy/pull/11485"},"issue":{"href":"https://api.github.com/repos/sympy/sympy/issues/11485"},"comments":{"href":"https://api.github.com/repos/sympy/sympy/issues/11485/comments"},"review_comments":{"href":"https://api.github.com/repos/sympy/sympy/pulls/11485/comments"},"review_comment":{"href":"https://api.github.com/repos/sympy/sympy/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/sympy/sympy/pulls/11485/commits"},"statuses":{"href":"https://api.github.com/repos/sympy/sympy/statuses/63e21a7531689983587702a4720de4452db0dbb6"}}}}
{"actor":{"display_login":"kshitij10496"}}