Eviatar Bach  About

Status of special functions in Sage

Hello,

Sorry for not posting status updates in a while, but much of what I've been working on would not be interesting to a general audience of Sage users.

The Digital Library of Mathematical Functions has a Software Index, which lists the software that implement certain mathematical function. For Sage, that list is extremely out of date. Despite having sent an email to the DLMF with updates (the editor has confirmed that the table will be updated in the next release of the DLMF), I still think it's valuable to give a more detailed outline of the status of special functions in Sage so that gaps can be filled (especially the blue and violet entries, which have patches available!). Sorry about the excessive colour; I wanted to make it easy to discern the categories.

Legend
Green: Available in Sage
Blue: Patch implementing it is available
Yellow: Partially available
Violet: Available, and patch with improvements exists
Orange: Implemented in mpmath but not in Sage
Pink: Not available in mpmath nor Sage
4 Elementary Functions
5 Gamma Function
§5.24(ii) \(\mathop{\Gamma}\nolimits\!\left(x\right), x\in\mathbb{R}\)
§5.24(iii) \(\mathop{\psi}\nolimits\!\left(x\right), \mathop{\psi^{(n)}}\nolimits\!\left(x\right), x\in\mathbb{R}\)
§5.24(iv) \(\mathop{\Gamma}\nolimits\!\left(z\right), \mathop{\psi}\nolimits\!\left(z\right), \mathop{\psi^{(n)}}\nolimits\!\left(z\right), z\in\mathbb{C}\)
§5.24(v) \(\mathop{\mathrm{B}}\nolimits\!\left(a,b\right), a,b\in\mathbb{R}\)
§5.24(vi) \(\mathop{\mathrm{B}}\nolimits\!\left(a,b\right), a,b\in\mathbb{C}\) 12521 would fix this, but a better solution (both for speed and precision) would be to use mpmath.
6 Exponential, Logarithmic, Sine, and Cosine Integrals
7 Error Functions, Dawson’s and Fresnel Integrals
§7.25(ii) \(\mathop{\mathrm{erf}}\nolimits x, \mathop{\mathrm{erfc}}\nolimits x, \mathop{\mathrm{i}^{n}\mathrm{erfc}}\nolimits\!\left(x\right), x\in\mathbb{R}\)
§7.25(iii) \(\mathop{\mathrm{erf}}\nolimits z, \mathop{\mathrm{erfc}}\nolimits z, z\in\mathbb{C}\) \(\mathrm{erfc}\) is not yet implemented for complex numbers.
§7.25(iv) \(\mathop{C}\nolimits\!\left(x\right), \mathop{S}\nolimits\!\left(x\right), \mathop{\mathrm{f}}\nolimits\!\left(x\right), \mathop{\mathrm{g}}\nolimits\!\left(x\right), x\in\mathbb{R}\)
§7.25(v) \(\mathop{C}\nolimits\!\left(z\right), \mathop{S}\nolimits\!\left(z\right), z\in\mathbb{C}\)
§7.25(vi) \(\mathop{\mathcal{F}}\nolimits\!\left(x\right), \mathop{G}\nolimits\!\left(x\right), \mathop{\mathsf{U}}\nolimits\!\left(x,t\right), \mathop{\mathsf{V}}\nolimits\!\left(x,t\right), x\in\mathbb{R}\)
§7.25(vii) \(\mathop{\mathcal{F}}\nolimits\!\left(z\right), \mathop{G}\nolimits\!\left(z\right), z\in\mathbb{C}\)
8 Incomplete Gamma and Related Functions
§8.28(ii) Incomplete Gamma Functions for Real Argument and Parameter
§8.28(iii) Incomplete Gamma Functions for Complex Argument and Parameter
§8.28(v) Incomplete Beta Functions for Complex Argument and Parameters
§8.28(vi) Generalized Exponential Integral for Real Argument and Integer Parameter
§8.28(vii) Generalized Exponential Integral for Complex Argument and Parameter
9 Airy and Related Functions
§9.20(ii) \(\mathop{\mathrm{Ai}}\nolimits\!\left(x\right), {\mathop{\mathrm{Ai}}\nolimits^{\prime}}\!\left(x\right), \mathop{\mathrm{Bi}}\nolimits\!\left(x\right), {\mathop{\mathrm{Bi}}\nolimits^{\prime}}\!\left(x\right),  x\in\mathbb{R}\)
§9.20(iii) \(\mathop{\mathrm{Ai}}\nolimits\!\left(z\right), {\mathop{\mathrm{Ai}}\nolimits^{\prime}}\!\left(z\right), \mathop{\mathrm{Bi}}\nolimits\!\left(z\right), {\mathop{\mathrm{Bi}}\nolimits^{\prime}}\!\left(z\right),  z\in\mathbb{C}\) See 12455
§9.20(iv) Real and Complex Zeros
§9.20(v) Integrals of \(\mathop{\mathrm{Ai}}\nolimits\!\left(x\right), \mathop{\mathrm{Bi}}\nolimits\!\left(x\right), x\in\mathbb{R}\) See 12455
§9.20(vi) Scorer Functions
10 Bessel Functions
§10.77(ii) Bessel Functions–Real Argument and Integer or Half-Integer Order (including Spherical Bessel Functions)
§10.77(iii) Bessel Functions–Real Order and Argument
§10.77(iv) Bessel Functions–Integer or Half-Integer Order and Complex Arguments, including Kelvin Functions Kelvin functions are not implemented. They are in mpmath however.
§10.77(v) Bessel Functions–Real Order and Complex Argument (including Hankel Functions) See 15024
§10.77(viii) Bessel Functions–Complex Order and Argument
§10.77(ix) Integrals of Bessel Functions
§10.77(x) Zeros of Bessel Functions
11 Struve and Related Functions
§11.16(ii) Struve Functions
§11.16(iii) Integrals of Struve Functions
§11.16(iv) Lommel Functions
§11.16(v) Anger and Weber Functions
§11.16(vi) Integrals of Anger and Weber Functions
12 Parabolic Cylinder Functions
13 Confluent Hypergeometric Functions
§13.32(ii) Real Argument and Parameters See 14896
§13.32(iii)Complex Argument and/or Parameters See 14896
14 Legendre and Related Functions
§14.34(ii)Legendre Functions: Real Argument and Parameters
§14.34(iii)Legendre Functions: Complex Argument and/or Parameters
§14.34(iii)Legendre Functions: Complex Argument and/or Parameters
15 Hypergeometric Function
§15.20(ii) Real Parameters and Argument See 2516
§15.20(iii) Complex Parameters and Argument See 2516
16 Generalized Hypergeometric Functions and Meijer G-Function
§16.27(ii) Real Argument and Parameters See 2516
§16.27(iii) Complex Argument and/or Parameters See 2516
18 Orthogonal Polynomials
19 Elliptic Integrals
§19.39(ii) Legendre’s and Bulirsch’s Complete Integrals See 15046
§19.39(iii) Legendre’s and Bulirsch’s Incomplete Integrals See 15046
§19.39(iv) Symmetric Integrals
20 Theta Functions
21 Multidimensional Theta Functions
22 Jacobian Elliptic Functions See 14996
23 Weierstrass Elliptic and Modular Functions
24 Bernoulli and Euler Polynomials Euler polynomials are not implemented.
25 Zeta and Related Functions
§25.21(ii) Zeta Functions for Real Arguments
§25.21(iii) Zeta Functions for Complex Arguments
§25.21(iv) Hurwitz Zeta Function See 15095
§25.21(v) Dilogarithms, Polylogarithms
§25.21(vi) Clausen’s Integral
§25.21(vii) Fermi–Dirac and Bose–Einstein Integrals
§25.21(viii) Lerch’s Transcendent
§25.21(ix) Dirichlet L-series
26 Combinatorial Analysis
27 Functions of Number Theory
28 Mathieu Functions and Hill’s Equation
30 Spheroidal Wave Functions
33 Coulomb Functions
34 3j,6j,9j Symbols
35 Functions of Matrix Argument