{"action":"created","issue":{"url":"https://api.github.com/repos/sympy/sympy/issues/9711","labels_url":"https://api.github.com/repos/sympy/sympy/issues/9711/labels{/name}","comments_url":"https://api.github.com/repos/sympy/sympy/issues/9711/comments","events_url":"https://api.github.com/repos/sympy/sympy/issues/9711/events","html_url":"https://github.com/sympy/sympy/pull/9711","id":96316822,"number":9711,"title":"combsimp for work on factorials","user":{"login":"gxyd","id":7712241,"avatar_url":"https://avatars.githubusercontent.com/u/7712241?v=3","gravatar_id":"","url":"https://api.github.com/users/gxyd","html_url":"https://github.com/gxyd","followers_url":"https://api.github.com/users/gxyd/followers","following_url":"https://api.github.com/users/gxyd/following{/other_user}","gists_url":"https://api.github.com/users/gxyd/gists{/gist_id}","starred_url":"https://api.github.com/users/gxyd/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gxyd/subscriptions","organizations_url":"https://api.github.com/users/gxyd/orgs","repos_url":"https://api.github.com/users/gxyd/repos","events_url":"https://api.github.com/users/gxyd/events{/privacy}","received_events_url":"https://api.github.com/users/gxyd/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":10,"created_at":"2015-07-21T13:39:25Z","updated_at":"2015-07-23T09:22:07Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/sympy/sympy/pulls/9711","html_url":"https://github.com/sympy/sympy/pull/9711","diff_url":"https://github.com/sympy/sympy/pull/9711.diff","patch_url":"https://github.com/sympy/sympy/pull/9711.patch"},"body":"Now\r\n```\r\n>>> combsimp(factorial(n)*(n + 1))\r\nfactorial(n + 1)\r\n```\r\nFixes issue #9699 "},"comment":{"url":"https://api.github.com/repos/sympy/sympy/issues/comments/124031255","html_url":"https://github.com/sympy/sympy/pull/9711#issuecomment-124031255","issue_url":"https://api.github.com/repos/sympy/sympy/issues/9711","id":124031255,"user":{"login":"jksuom","id":6929119,"avatar_url":"https://avatars.githubusercontent.com/u/6929119?v=3","gravatar_id":"","url":"https://api.github.com/users/jksuom","html_url":"https://github.com/jksuom","followers_url":"https://api.github.com/users/jksuom/followers","following_url":"https://api.github.com/users/jksuom/following{/other_user}","gists_url":"https://api.github.com/users/jksuom/gists{/gist_id}","starred_url":"https://api.github.com/users/jksuom/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jksuom/subscriptions","organizations_url":"https://api.github.com/users/jksuom/orgs","repos_url":"https://api.github.com/users/jksuom/repos","events_url":"https://api.github.com/users/jksuom/events{/privacy}","received_events_url":"https://api.github.com/users/jksuom/received_events","type":"User","site_admin":false},"created_at":"2015-07-23T09:22:07Z","updated_at":"2015-07-23T09:22:07Z","body":"> Do you think this line should be removed ? \r\n\r\nI think yes. Binomials may have originally been planned to have a more central role, but now it seems that they are not very useful in the simplification.\r\n\r\nIn fact, it looks like the whole process should be reorganized. Probably everything should be first rewritten in terms of the gamma-function. Perhaps it could even be left in that form, at least for now. All this could be the subject of another PR.\r\n\r\n> Would it be good: If i put the code introduced in the PR into a function and use it, where the conversion to factorial is there ?\r\n\r\nI'm afraid that I cannot quite get your idea here. Perhaps you could elaborate?"}}