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