[math-fun] holonomicfunctions.m ?