contiguity relation
(weylalgebra1.partialdiff(hypergeo1.hypergeometric2F1(a, b ~arith1.minus~ 1, c, z), list1.list(list1.list(z, 1)))) ~relation1.eq~ (((arith1.divide((((arith1.unary_minus(b) ~arith1.plus~ 1) ~arith1.times~ z) ~arith1.plus~ b ~arith1.minus~ 1) , (b ~arith1.minus~ c) ) ) ~arith1.times~ weylalgebra1.partialdiff(hypergeo1.hypergeometric2F1(a, b, c, z), list1.list(list1.list(z, 1)))) ~arith1.plus~ ((arith1.divide((((arith1.unary_minus(b) ~arith1.plus~ 1) ~arith1.times~ a)) , (b ~arith1.minus~ c) ) ) ~arith1.times~ hypergeo1.hypergeometric2F1(a, b, c, z)));
Contiguity relation of the Gauss Hypergeometric series
with respect to the variable b.
A=base_replace(@@, [[a,1/2],[b,3/5],[c,-2/11]]);
A2=print_terminal_form(A);
A3=eval_str(A2);
print_em(base_replace(A3,[[z,0.2]]));