{"action":"created","issue":{"url":"https://api.github.com/repos/diofant/diofant/issues/453","repository_url":"https://api.github.com/repos/diofant/diofant","labels_url":"https://api.github.com/repos/diofant/diofant/issues/453/labels{/name}","comments_url":"https://api.github.com/repos/diofant/diofant/issues/453/comments","events_url":"https://api.github.com/repos/diofant/diofant/issues/453/events","html_url":"https://github.com/diofant/diofant/issues/453","id":211317252,"number":453,"title":"Solve the rational inequality abs((x-1)/(x-5)) <= 1/3","user":{"login":"jondo","id":21648,"avatar_url":"https://avatars0.githubusercontent.com/u/21648?v=3","gravatar_id":"","url":"https://api.github.com/users/jondo","html_url":"https://github.com/jondo","followers_url":"https://api.github.com/users/jondo/followers","following_url":"https://api.github.com/users/jondo/following{/other_user}","gists_url":"https://api.github.com/users/jondo/gists{/gist_id}","starred_url":"https://api.github.com/users/jondo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jondo/subscriptions","organizations_url":"https://api.github.com/users/jondo/orgs","repos_url":"https://api.github.com/users/jondo/repos","events_url":"https://api.github.com/users/jondo/events{/privacy}","received_events_url":"https://api.github.com/users/jondo/received_events","type":"User","site_admin":false},"labels":[{"id":179718442,"url":"https://api.github.com/repos/diofant/diofant/labels/bug","name":"bug","color":"fc2929","default":true},{"id":180064182,"url":"https://api.github.com/repos/diofant/diofant/labels/documentation","name":"documentation","color":"eb6420","default":false},{"id":183641398,"url":"https://api.github.com/repos/diofant/diofant/labels/solvers","name":"solvers","color":"207de5","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":{"url":"https://api.github.com/repos/diofant/diofant/milestones/2","html_url":"https://github.com/diofant/diofant/milestone/2","labels_url":"https://api.github.com/repos/diofant/diofant/milestones/2/labels","id":2111957,"number":2,"title":"0.9.0","description":"","creator":{"login":"skirpichev","id":2155800,"avatar_url":"https://avatars3.githubusercontent.com/u/2155800?v=3","gravatar_id":"","url":"https://api.github.com/users/skirpichev","html_url":"https://github.com/skirpichev","followers_url":"https://api.github.com/users/skirpichev/followers","following_url":"https://api.github.com/users/skirpichev/following{/other_user}","gists_url":"https://api.github.com/users/skirpichev/gists{/gist_id}","starred_url":"https://api.github.com/users/skirpichev/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/skirpichev/subscriptions","organizations_url":"https://api.github.com/users/skirpichev/orgs","repos_url":"https://api.github.com/users/skirpichev/repos","events_url":"https://api.github.com/users/skirpichev/events{/privacy}","received_events_url":"https://api.github.com/users/skirpichev/received_events","type":"User","site_admin":false},"open_issues":26,"closed_issues":72,"state":"open","created_at":"2016-11-03T12:03:01Z","updated_at":"2017-03-02T17:16:53Z","due_on":null,"closed_at":null},"comments":9,"created_at":"2017-03-02T08:06:01Z","updated_at":"2017-03-03T08:59:54Z","closed_at":null,"body":"Testing the current Git master, I see:\r\n\r\n```python\r\nIn [1]: import diofant as df\r\n\r\nIn [2]: x = df.symbols('x', real=True)\r\n\r\nIn [3]: df.solve_univariate_inequality(abs((x-1)/(x-5)) <= 1/3, x)\r\n---------------------------------------------------------------------------\r\nNotImplementedError                       Traceback (most recent call last)\r\n<ipython-input-12-a861138780c5> in <module>()\r\n----> 1 df.solve_univariate_inequality(abs((x-1)/(x-5)) <= 1/3, x)\r\n\r\n/home/robert/bin/diofant/diofant/solvers/inequalities.py in solve_univariate_inequality(expr, gen, relational)\r\n    378         singularities = solve(d, gen, check=False)\r\n    379     else:\r\n--> 380         solns = solve(e, gen, check=False)\r\n    381         singularities = []\r\n    382         for d in denoms(e):\r\n\r\n/home/robert/bin/diofant/diofant/solvers/solvers.py in solve(f, *symbols, **flags)\r\n    767     ###########################################################################\r\n    768     if bare_f:\r\n--> 769         solution = _solve(f[0], *symbols, **flags)\r\n    770     else:\r\n    771         solution = _solve_system(f, symbols, **flags)\r\n\r\n/home/robert/bin/diofant/diofant/solvers/solvers.py in _solve(f, *symbols, **flags)\r\n   1017         result = set()\r\n   1018         for n, (expr, cond) in enumerate(f.args):\r\n-> 1019             candidates = _solve(expr, *symbols, **flags)\r\n   1020             for candidate in candidates:\r\n   1021                 if candidate in result:\r\n\r\n/home/robert/bin/diofant/diofant/solvers/solvers.py in _solve(f, *symbols, **flags)\r\n   1285 \r\n   1286     if result is False:\r\n-> 1287         raise NotImplementedError('\\n'.join([msg, not_impl_msg % f]))\r\n   1288 \r\n   1289     if flags.get('simplify', True):\r\n\r\nNotImplementedError: \r\nNo algorithms are implemented to solve equation Piecewise(((x - 1)/(x - 5), x - 1 >= 0), ((-x + 1)/(x - 5), true)) - 1/3\r\n```\r\n\r\n(This corresponds to https://github.com/sympy/sympy/issues/9565, which [recently regressed](https://github.com/sympy/sympy/issues/12095).)"},"comment":{"url":"https://api.github.com/repos/diofant/diofant/issues/comments/283901356","html_url":"https://github.com/diofant/diofant/issues/453#issuecomment-283901356","issue_url":"https://api.github.com/repos/diofant/diofant/issues/453","id":283901356,"user":{"login":"skirpichev","id":2155800,"avatar_url":"https://avatars3.githubusercontent.com/u/2155800?v=3","gravatar_id":"","url":"https://api.github.com/users/skirpichev","html_url":"https://github.com/skirpichev","followers_url":"https://api.github.com/users/skirpichev/followers","following_url":"https://api.github.com/users/skirpichev/following{/other_user}","gists_url":"https://api.github.com/users/skirpichev/gists{/gist_id}","starred_url":"https://api.github.com/users/skirpichev/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/skirpichev/subscriptions","organizations_url":"https://api.github.com/users/skirpichev/orgs","repos_url":"https://api.github.com/users/skirpichev/repos","events_url":"https://api.github.com/users/skirpichev/events{/privacy}","received_events_url":"https://api.github.com/users/skirpichev/received_events","type":"User","site_admin":false},"created_at":"2017-03-03T08:59:54Z","updated_at":"2017-03-03T08:59:54Z","body":"> if it's OK for you to keep the have separate 'rel' argument of reduce_piecewise_inequality\r\n\r\nIt's a private function now (as all others, except reduce_inequalites), see #458.  Yes, there is apparently some inconsistency in args of private functions of that module, but I don't have a good idea on how to fix this (or function naming, whatever).\r\n\r\nPlease open an issue, if you know how.\r\n"}}
{"actor":{"display_login":"skirpichev"}}