18.20: Difference between revisions
Jump to navigation
Jump to search
Admin moved page Main Page to Verifying DLMF with Maple and Mathematica |
Admin moved page Main Page to Verifying DLMF with Maple and Mathematica |
||
| Line 14: | Line 14: | ||
! scope="col" style="position: sticky; top: 0;" | Numeric<br>Mathematica | ! scope="col" style="position: sticky; top: 0;" | Numeric<br>Mathematica | ||
|- | |- | ||
| [https://dlmf.nist.gov/18.20.E8 18.20.E8] | | | [https://dlmf.nist.gov/18.20.E8 18.20.E8] || <math qid="Q5850">\CharlierpolyC{n}@{x}{a} = \genhyperF{2}{0}@@{-n,-x}{-}{-a^{-1}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\CharlierpolyC{n}@{x}{a} = \genhyperF{2}{0}@@{-n,-x}{-}{-a^{-1}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>HypergeometricPFQ[{-(n), -(x)}, {}, -Divide[1,a]] == HypergeometricPFQ[{- n , - x}, {-}, - (a)^(- 1)]</syntaxhighlight> || Missing Macro Error || Missing Macro Error || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/18.20.E9 18.20.E9] | | | [https://dlmf.nist.gov/18.20.E9 18.20.E9] || <math qid="Q5851">\contHahnpolyp{n}@{x}{a}{b}{\conj{a}}{\conj{b}} = \frac{\iunit^{n}\Pochhammersym{a+\conj{a}}{n}\Pochhammersym{a+\conj{b}}{n}}{n!}\*\genhyperF{3}{2}@@{-n,n+2\realpart@{a+b}-1,a+\iunit x}{a+\conj{a},a+\conj{b}}{1}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\contHahnpolyp{n}@{x}{a}{b}{\conj{a}}{\conj{b}} = \frac{\iunit^{n}\Pochhammersym{a+\conj{a}}{n}\Pochhammersym{a+\conj{b}}{n}}{n!}\*\genhyperF{3}{2}@@{-n,n+2\realpart@{a+b}-1,a+\iunit x}{a+\conj{a},a+\conj{b}}{1}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>I^(n)*Divide[Pochhammer[a + Conjugate[a], n]*Pochhammer[a + Conjugate[b], n], (n)!] * HypergeometricPFQ[{-(n), n + 2*Re[a + b] - 1, a + I*(x)}, {a + Conjugate[a], a + Conjugate[b]}, 1] == Divide[(I)^(n)* Pochhammer[a + Conjugate[a], n]*Pochhammer[a + Conjugate[b], n],(n)!]* HypergeometricPFQ[{- n , n + 2*Re[a + b]- 1 , a + I*x}, {a + Conjugate[a], a + Conjugate[b]}, 1]</syntaxhighlight> || Missing Macro Error || Missing Macro Error || - || - | ||
|} | |} | ||
</div> | </div> | ||
Latest revision as of 12:47, 28 June 2021
| DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
|---|---|---|---|---|---|---|---|---|
| 18.20.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \CharlierpolyC{n}@{x}{a} = \genhyperF{2}{0}@@{-n,-x}{-}{-a^{-1}}}
\CharlierpolyC{n}@{x}{a} = \genhyperF{2}{0}@@{-n,-x}{-}{-a^{-1}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
HypergeometricPFQ[{-(n), -(x)}, {}, -Divide[1,a]] == HypergeometricPFQ[{- n , - x}, {-}, - (a)^(- 1)]
|
Missing Macro Error | Missing Macro Error | - | - |
| 18.20.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \contHahnpolyp{n}@{x}{a}{b}{\conj{a}}{\conj{b}} = \frac{\iunit^{n}\Pochhammersym{a+\conj{a}}{n}\Pochhammersym{a+\conj{b}}{n}}{n!}\*\genhyperF{3}{2}@@{-n,n+2\realpart@{a+b}-1,a+\iunit x}{a+\conj{a},a+\conj{b}}{1}}
\contHahnpolyp{n}@{x}{a}{b}{\conj{a}}{\conj{b}} = \frac{\iunit^{n}\Pochhammersym{a+\conj{a}}{n}\Pochhammersym{a+\conj{b}}{n}}{n!}\*\genhyperF{3}{2}@@{-n,n+2\realpart@{a+b}-1,a+\iunit x}{a+\conj{a},a+\conj{b}}{1} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
I^(n)*Divide[Pochhammer[a + Conjugate[a], n]*Pochhammer[a + Conjugate[b], n], (n)!] * HypergeometricPFQ[{-(n), n + 2*Re[a + b] - 1, a + I*(x)}, {a + Conjugate[a], a + Conjugate[b]}, 1] == Divide[(I)^(n)* Pochhammer[a + Conjugate[a], n]*Pochhammer[a + Conjugate[b], n],(n)!]* HypergeometricPFQ[{- n , n + 2*Re[a + b]- 1 , a + I*x}, {a + Conjugate[a], a + Conjugate[b]}, 1]
|
Missing Macro Error | Missing Macro Error | - | - |