Updates:
        Cc: [email protected]
        Labels: Simplify

Comment #1 on issue 2908 by [email protected]: simplification of polygamma needed
http://code.google.com/p/sympy/issues/detail?id=2908

When you get hypergeometric functions, one way to canonicalize them is to use hyperexpand (or expand(func=True), which does the same thing):

In [17]: hyperexpand(a - b)
Out[17]: -(x + 1)⋅Γ(x + 1)⋅polygamma(0, x + 1) - x! + Γ(x + 2)⋅polygamma(0, x + 2)

In [18]: (a - b).expand(func=True)
Out[18]:
 2
x ⋅Γ(x)   x⋅Γ(x)
─────── + ────── - x!
 x + 1    x + 1

In [19]: simplify((a - b).expand(func=True))
Out[19]: 0

This perhaps should be integrated into combsimp(), or at least simplify(), somehow (?)

--
You received this message because you are subscribed to the Google Groups 
"sympy-issues" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sympy-issues?hl=en.

Reply via email to