10.2: 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/10.2.E1 10.2.E1] | | | [https://dlmf.nist.gov/10.2.E1 10.2.E1] || <math qid="Q3005">z^{2}\deriv[2]{w}{z}+z\deriv{w}{z}+(z^{2}-\nu^{2})w = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>z^{2}\deriv[2]{w}{z}+z\deriv{w}{z}+(z^{2}-\nu^{2})w = 0</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(z)^(2)* diff(w, [z$(2)])+ z*diff(w, z)+((z)^(2)- (nu)^(2))*w = 0</syntaxhighlight> || <syntaxhighlight lang=mathematica>(z)^(2)* D[w, {z, 2}]+ z*D[w, z]+((z)^(2)- \[Nu]^(2))*w == 0</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [217 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -.8660254040e-9-2.000000001*I | ||
Test Values: {nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.8660254040e-9-2.000000001*I | Test Values: {nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.8660254040e-9-2.000000001*I | ||
Test Values: {nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = 1/2-1/2*I*3^(1/2)}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [240 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[1.1102230246251565*^-16, 2.0] | Test Values: {nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = 1/2-1/2*I*3^(1/2)}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [240 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[1.1102230246251565*^-16, 2.0] | ||
Line 20: | Line 20: | ||
Test Values: {Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/10.2.E2 10.2.E2] | | | [https://dlmf.nist.gov/10.2.E2 10.2.E2] || <math qid="Q3006">\BesselJ{\nu}@{z} = (\tfrac{1}{2}z)^{\nu}\sum_{k=0}^{\infty}(-1)^{k}\frac{(\tfrac{1}{4}z^{2})^{k}}{k!\EulerGamma@{\nu+k+1}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\BesselJ{\nu}@{z} = (\tfrac{1}{2}z)^{\nu}\sum_{k=0}^{\infty}(-1)^{k}\frac{(\tfrac{1}{4}z^{2})^{k}}{k!\EulerGamma@{\nu+k+1}}</syntaxhighlight> || <math>\realpart@@{(\nu+k+1)} > 0</math> || <syntaxhighlight lang=mathematica>BesselJ(nu, z) = ((1)/(2)*z)^(nu)* sum((- 1)^(k)*(((1)/(4)*(z)^(2))^(k))/(factorial(k)*GAMMA(nu + k + 1)), k = 0..infinity)</syntaxhighlight> || <syntaxhighlight lang=mathematica>BesselJ[\[Nu], z] == (Divide[1,2]*z)^\[Nu]* Sum[(- 1)^(k)*Divide[(Divide[1,4]*(z)^(2))^(k),(k)!*Gamma[\[Nu]+ k + 1]], {k, 0, Infinity}, GenerateConditions->None]</syntaxhighlight> || Successful || Successful || - || Successful [Tested: 70] | ||
|- | |- | ||
| [https://dlmf.nist.gov/10.2.E3 10.2.E3] | | | [https://dlmf.nist.gov/10.2.E3 10.2.E3] || <math qid="Q3007">\BesselY{\nu}@{z} = \frac{\BesselJ{\nu}@{z}\cos@{\nu\pi}-\BesselJ{-\nu}@{z}}{\sin@{\nu\pi}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\BesselY{\nu}@{z} = \frac{\BesselJ{\nu}@{z}\cos@{\nu\pi}-\BesselJ{-\nu}@{z}}{\sin@{\nu\pi}}</syntaxhighlight> || <math>\realpart@@{(\nu+k+1)} > 0, \realpart@@{((-\nu)+k+1)} > 0</math> || <syntaxhighlight lang=mathematica>BesselY(nu, z) = (BesselJ(nu, z)*cos(nu*Pi)- BesselJ(- nu, z))/(sin(nu*Pi))</syntaxhighlight> || <syntaxhighlight lang=mathematica>BesselY[\[Nu], z] == Divide[BesselJ[\[Nu], z]*Cos[\[Nu]*Pi]- BesselJ[- \[Nu], z],Sin[\[Nu]*Pi]]</syntaxhighlight> || Successful || Successful || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [14 / 70]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Indeterminate | ||
Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, -2]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Indeterminate | Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, -2]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Indeterminate | ||
Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, 2]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, 2]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|} | |} | ||
</div> | </div> |
Latest revision as of 11:22, 28 June 2021
DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
---|---|---|---|---|---|---|---|---|
10.2.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle z^{2}\deriv[2]{w}{z}+z\deriv{w}{z}+(z^{2}-\nu^{2})w = 0}
z^{2}\deriv[2]{w}{z}+z\deriv{w}{z}+(z^{2}-\nu^{2})w = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (z)^(2)* diff(w, [z$(2)])+ z*diff(w, z)+((z)^(2)- (nu)^(2))*w = 0
|
(z)^(2)* D[w, {z, 2}]+ z*D[w, z]+((z)^(2)- \[Nu]^(2))*w == 0
|
Failure | Failure | Failed [217 / 300] Result: -.8660254040e-9-2.000000001*I
Test Values: {nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}
Result: -.8660254040e-9-2.000000001*I
Test Values: {nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = 1/2-1/2*I*3^(1/2)}
... skip entries to safe data |
Failed [240 / 300]
Result: Complex[1.1102230246251565*^-16, 2.0]
Test Values: {Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}
Result: Complex[1.1102230246251565*^-16, 2.0]
Test Values: {Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]]]}
... skip entries to safe data |
10.2.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \BesselJ{\nu}@{z} = (\tfrac{1}{2}z)^{\nu}\sum_{k=0}^{\infty}(-1)^{k}\frac{(\tfrac{1}{4}z^{2})^{k}}{k!\EulerGamma@{\nu+k+1}}}
\BesselJ{\nu}@{z} = (\tfrac{1}{2}z)^{\nu}\sum_{k=0}^{\infty}(-1)^{k}\frac{(\tfrac{1}{4}z^{2})^{k}}{k!\EulerGamma@{\nu+k+1}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(\nu+k+1)} > 0} | BesselJ(nu, z) = ((1)/(2)*z)^(nu)* sum((- 1)^(k)*(((1)/(4)*(z)^(2))^(k))/(factorial(k)*GAMMA(nu + k + 1)), k = 0..infinity)
|
BesselJ[\[Nu], z] == (Divide[1,2]*z)^\[Nu]* Sum[(- 1)^(k)*Divide[(Divide[1,4]*(z)^(2))^(k),(k)!*Gamma[\[Nu]+ k + 1]], {k, 0, Infinity}, GenerateConditions->None]
|
Successful | Successful | - | Successful [Tested: 70] |
10.2.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \BesselY{\nu}@{z} = \frac{\BesselJ{\nu}@{z}\cos@{\nu\pi}-\BesselJ{-\nu}@{z}}{\sin@{\nu\pi}}}
\BesselY{\nu}@{z} = \frac{\BesselJ{\nu}@{z}\cos@{\nu\pi}-\BesselJ{-\nu}@{z}}{\sin@{\nu\pi}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(\nu+k+1)} > 0, \realpart@@{((-\nu)+k+1)} > 0} | BesselY(nu, z) = (BesselJ(nu, z)*cos(nu*Pi)- BesselJ(- nu, z))/(sin(nu*Pi))
|
BesselY[\[Nu], z] == Divide[BesselJ[\[Nu], z]*Cos[\[Nu]*Pi]- BesselJ[- \[Nu], z],Sin[\[Nu]*Pi]]
|
Successful | Successful | - | Failed [14 / 70]
Result: Indeterminate
Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, -2]}
Result: Indeterminate
Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, 2]}
... skip entries to safe data |