A relation at x=infinity of Kummer's 24 solutions
arith1.unary_minus(x) ~arith1.power~ (arith1.unary_minus(b)) ~arith1.times~
hypergeo1.hypergeometric2F1(b, b ~arith1.minus~ c ~arith1.plus~ 1,
b ~arith1.plus~ 1 ~arith1.minus~ a, 1 ~arith1.divide~ x) ~relation1.eq~
(arith1.unary_minus(x) ~arith1.power~ (a ~arith1.minus~ c) ~arith1.times~
((1 ~arith1.minus~ x) ~arith1.power~
(c ~arith1.minus~ b ~arith1.minus~ a)) ~arith1.times~
hypergeo1.hypergeometric2F1(1 ~arith1.minus~ a, c ~arith1.minus~ a,
b ~arith1.plus~ 1 ~arith1.minus~ a, 1 ~arith1.divide~ x));
A relation at x=infinity of Kummer's 24 solutions
@@ /. {a->1/2,b->3/5,c->-2/11,x->200}