WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Generalized hypergeometric function

Revision #2037 → #2487 · back to history

addedPower seriesdadf769c761b
addedAnalytic continuation0ccf1b299885
modifiedExponential function seriesad3b3770efdb
FieldFrom #2037To #2487
note`exp_eq_tsum` gives the standard `∑ xⁿ/n!` expansion.`NormedSpace.exp_eq_tsum` gives the standard `∑ xⁿ/n!` expansion.
addedAnalytic function7d183302b64e
addedRadius of convergence11935a0f127d
addedRatio test for radius of convergencec6d6a3b00104