5.8: 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/5.8.E2 5.8.E2] | | | [https://dlmf.nist.gov/5.8.E2 5.8.E2] || <math qid="Q2086">\frac{1}{\EulerGamma@{z}} = ze^{\EulerConstant z}\prod_{k=1}^{\infty}\left(1+\frac{z}{k}\right)e^{-z/k}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\frac{1}{\EulerGamma@{z}} = ze^{\EulerConstant z}\prod_{k=1}^{\infty}\left(1+\frac{z}{k}\right)e^{-z/k}</syntaxhighlight> || <math>\realpart@@{z} > 0</math> || <syntaxhighlight lang=mathematica>(1)/(GAMMA(z)) = z*exp(gamma*z)*product((1 +(z)/(k))*exp(- z/k), k = 1..infinity)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Divide[1,Gamma[z]] == z*Exp[EulerGamma*z]*Product[(1 +Divide[z,k])*Exp[- z/k], {k, 1, Infinity}, GenerateConditions->None]</syntaxhighlight> || Successful || Successful || - || Successful [Tested: 5] | ||
|- | |- | ||
| [https://dlmf.nist.gov/5.8.E3 5.8.E3] | | | [https://dlmf.nist.gov/5.8.E3 5.8.E3] || <math qid="Q2087">\left|\frac{\EulerGamma@{x}}{\EulerGamma@{x+\iunit y}}\right|^{2} = \prod_{k=0}^{\infty}\left(1+\frac{y^{2}}{(x+k)^{2}}\right)</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\left|\frac{\EulerGamma@{x}}{\EulerGamma@{x+\iunit y}}\right|^{2} = \prod_{k=0}^{\infty}\left(1+\frac{y^{2}}{(x+k)^{2}}\right)</syntaxhighlight> || <math>\realpart@@{x} > 0, \realpart@@{(x+\iunit y)} > 0</math> || <syntaxhighlight lang=mathematica>(abs((GAMMA(x))/(GAMMA(x + I*y))))^(2) = product(1 +((y)^(2))/((x + k)^(2)), k = 0..infinity)</syntaxhighlight> || <syntaxhighlight lang=mathematica>(Abs[Divide[Gamma[x],Gamma[x + I*y]]])^(2) == Product[1 +Divide[(y)^(2),(x + k)^(2)], {k, 0, Infinity}, GenerateConditions->None]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [18 / 18]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -6.243891895+0.*I | ||
Test Values: {x = 1.5, y = -1.5, x = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -6.243891895+0.*I | Test Values: {x = 1.5, y = -1.5, x = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -6.243891895+0.*I | ||
Test Values: {x = 1.5, y = 1.5, x = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.210463144+0.*I | Test Values: {x = 1.5, y = 1.5, x = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.210463144+0.*I |
Latest revision as of 11:12, 28 June 2021
DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
---|---|---|---|---|---|---|---|---|
5.8.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{1}{\EulerGamma@{z}} = ze^{\EulerConstant z}\prod_{k=1}^{\infty}\left(1+\frac{z}{k}\right)e^{-z/k}}
\frac{1}{\EulerGamma@{z}} = ze^{\EulerConstant z}\prod_{k=1}^{\infty}\left(1+\frac{z}{k}\right)e^{-z/k} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{z} > 0} | (1)/(GAMMA(z)) = z*exp(gamma*z)*product((1 +(z)/(k))*exp(- z/k), k = 1..infinity)
|
Divide[1,Gamma[z]] == z*Exp[EulerGamma*z]*Product[(1 +Divide[z,k])*Exp[- z/k], {k, 1, Infinity}, GenerateConditions->None]
|
Successful | Successful | - | Successful [Tested: 5] |
5.8.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \left|\frac{\EulerGamma@{x}}{\EulerGamma@{x+\iunit y}}\right|^{2} = \prod_{k=0}^{\infty}\left(1+\frac{y^{2}}{(x+k)^{2}}\right)}
\left|\frac{\EulerGamma@{x}}{\EulerGamma@{x+\iunit y}}\right|^{2} = \prod_{k=0}^{\infty}\left(1+\frac{y^{2}}{(x+k)^{2}}\right) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{x} > 0, \realpart@@{(x+\iunit y)} > 0} | (abs((GAMMA(x))/(GAMMA(x + I*y))))^(2) = product(1 +((y)^(2))/((x + k)^(2)), k = 0..infinity)
|
(Abs[Divide[Gamma[x],Gamma[x + I*y]]])^(2) == Product[1 +Divide[(y)^(2),(x + k)^(2)], {k, 0, Infinity}, GenerateConditions->None]
|
Failure | Failure | Failed [18 / 18] Result: -6.243891895+0.*I
Test Values: {x = 1.5, y = -1.5, x = 1}
Result: -6.243891895+0.*I
Test Values: {x = 1.5, y = 1.5, x = 1}
Result: -.210463144+0.*I
Test Values: {x = 1.5, y = -.5, x = 1}
Result: -.210463144+0.*I
Test Values: {x = 1.5, y = .5, x = 1}
... skip entries to safe data |
Successful [Tested: 18] |