id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
18956,incomplete gamma identities,buck,,"This work depends on #16697, but I'd like to start it now.
There is a quite simple identity for the incomplete gamma functions:
gamma(x) == gamma_inc_lower(x, y) + gamma_inc(x, y)
In the mathematica three-argument-gamma notation, this is a bit more clearly true:
gamma(x, 0, oo) == gamma(x, 0, y) + gamma(x, y, oo)
What bits of sage do I need to patch to teach the simplifier about this identity? Is this something I can do as a plain-old user? Also, what bits of the documentation cover this aspect of symbolic symplification, from both user and contributor perspectives?",enhancement,new,major,sage-feature,symbolics,,,paulmasson,,,,N/A,,,,#16697,