This function finds the homogeneous linear recurrence with constant coefficients of order K that is satisfied by seq.

If seq satisfies a recurrence of order less than K, that recurrence is found.

The command with(genfunc,rgf_findrecur) allows the use of the abbreviated form of this command.