How might one implement similar functionality from scratch in Mathematica? I am looking for a description of a reasonable algorithm, not necessarily code. I am more interested in any computer algebra methods to solve this problem than in the specifics of the particular implementation Mathematica uses.
Mathematica,some function is classified as kernel function,such as
Abs and so on.We can use
System`Private`HasAnyCodesQ to judge it is kernel function or not,I have metioned it in this post this answer recently.If the function is not a kernel function.Since they all are not,we can use
GeneralUtilities`PrintDefinitions to get some some information of what you want.
We can see the work fuction is call a name of
findGeneratingFunctionParser,click on it.You will get its page of definition,then you will see
iFunctionSpace.We can know it find generation function in 5 case:
You can use same method to find some information for
FindSequenceFunction.Those information is more useful to you maybe.It's very clear.