Hiromasa Nakayama
hypergeo0.hypergeometric_pFq(
list1.list(a, b, arith1.unary_minus(n)),
list1.list(1 + a - b, 1 + 2 * b - n),
1)
=
((hypergeo0.pochhammer(a - 2 * b, n)
* hypergeo0.pochhammer(1 + (a / 2) - b, n)
* hypergeo0.pochhammer(arith1.unary_minus(b), n))
/
(hypergeo0.pochhammer(1 + a - b, n)
* hypergeo0.pochhammer(a / 2, n)
* hypergeo0.pochhammer(arith1.unary_minus(2) * b, n)));
Summation theorems for ordinary hypergeometric series
@@ /. {a->1/3,b->3/5,n->10}