1. Sage can guess rational generating functions and provide formulae for experimental math:
sage: C.<x> = CFiniteSequences(QQ) sage: C.guess([1,3,5,7,9,11,13]) C-finite sequence, generated by (x + 1)/(x^2 - 2*x + 1) sage: _.closed_form() 2*n + 1 sage: C.guess([0,1,1,2,3,5,8,13,21]).closed_form() 1/5*sqrt(5)*(1/2*sqrt(5) + 1/2)^n - 1/5*sqrt(5)*(-1/2*sqrt(5) + 1/2)^n 2.As to guessing holonomic recurrences there is the Ore algebra package. It would be nice to have a tutorial. 3. Subham Tibra has added a holonomic function package to SymPy: http://docs.sympy.org/dev/modules/holonomic/index.html which is however in a newer version than the SymPy in Sage Regards, -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
