Maxima Function
Gosper (F_k, k)
Returns the rational certificate R(k) for F_k, that is, a rational function such that
F_k = R(k+1) F_(k+1) - R(k) F_k
if it exists. Otherwise, Gosper returns no_hyp_sol.
Gosper
no_hyp_sol