Talk:P-recursive equation