Given a sequence (c_n), guessing if it is D-finite is a known problem and is in fact implemented in the package ore_algebra. This issue looks for this problem when we try to guess different types of functions:
This addition indicates that the guessing problem could be an interesting part of the package. Adding a module to gather all the guessing routines would be interesting.
Given a sequence (c_n), guessing if it is D-finite is a known problem and is in fact implemented in the package
ore_algebra. This issue looks for this problem when we try to guess different types of functions:Asuch that there isg(x)withA . g(x) = 0and our sequence is given by1/g(x).AandBsuch that there are functionsg(x)andh(x)withA g(x) = B h(x) = 0and our sequence is given byg(x)/h(x).This addition indicates that the guessing problem could be an interesting part of the package. Adding a module to gather all the guessing routines would be interesting.
guessinsidedd_functions.