Contiguity relation
Nobuki Takayama
(
((a*(1-z))*hypergeo1.hypergeometric2F1(a+1,b,c,z))
+
((c-(2*a)+((a-b)*z))*hypergeo1.hypergeometric2F1(a,b,c,z))
+
((a-c)*hypergeo1.hypergeometric2F1(a-1,b,c,z))
) = 0 ;
Contiguity relation of the Gauss Hypergeometric series
with respect to the variable a.
A paper on an algorithmic method to derive contiguity relations
can be found
here
.
@@ /. {a->1/2,b->3/5,c->-2/11,z->0.2}
def fbcheck() {
A=base_replace(@@ , [[a,1/2],[b,3/5],[c,-2/11]]);
A2=print_terminal_form(A);
A3=eval_str(A2);
return(base_replace(A3,[[z,0.2]]));
}
print_em(fbcheck());