On Wednesday, February 24, 2016 at 3:59:08 PM UTC+1, shubham tibra wrote: > > And regarding the conversion of Holonomic to Hypergeometric function, we > need to expand the holonomic function to a power series. How we can do that > without having the actual symbolic representation of the function? >
Series coefficients of holonomic functions satisfy linear recurrences (with constant and polynomial coefficients). It follows that the series coeffs can be represented as formal sums, and equalities of different formal sums can be decided by comparing the underlying holonomic function (so you can prove hypergeometric sum equalities). See e.g. papers by Zeilberger for applications of this fascinating subject. > How we will handle the special cases when the Holonomic function > represents an elementary function or a polynomial? > They have hypergeometric representations as well as far as I recall. Best, -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/6e6c3054-1fad-4c83-826a-714bf381d36f%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
