28.6: 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/28.6.E20 28.6.E20] | | | [https://dlmf.nist.gov/28.6.E20 28.6.E20] || <math qid="Q8254">\liminf_{n\to\infty}\frac{\rho_{n}^{(j)}}{n^{2}} \geq kk^{\prime}(\compellintKk@{k})^{2}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\liminf_{n\to\infty}\frac{\rho_{n}^{(j)}}{n^{2}} \geq kk^{\prime}(\compellintKk@{k})^{2}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>[n = infinity]*((rho[n])^(j))/((n)^(2)) >= k*sqrt(1 - (k)^(2))*(EllipticK(k))^(2)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Subscript[, n -> Infinity]*Divide[(Subscript[\[Rho], n])^(j),(n)^(2)] >= k*Sqrt[1 - (k)^(2)]*(EllipticK[(k)^2])^(2)</syntaxhighlight> || Failure || Failure || Error || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: GreaterEqual[Complex[0.5000000000000001, 0.8660254037844386], Indeterminate] | ||
Test Values: {Rule[j, 1], Rule[k, 1], Rule[n, 1], Rule[ρ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[ρ, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: GreaterEqual[Complex[0.12500000000000003, 0.21650635094610965], Indeterminate] | Test Values: {Rule[j, 1], Rule[k, 1], Rule[n, 1], Rule[ρ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[ρ, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: GreaterEqual[Complex[0.12500000000000003, 0.21650635094610965], Indeterminate] | ||
Test Values: {Rule[j, 1], Rule[k, 1], Rule[n, 2], Rule[ρ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[ρ, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[j, 1], Rule[k, 1], Rule[n, 2], Rule[ρ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[ρ, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/28.6.E20 28.6.E20] | | | [https://dlmf.nist.gov/28.6.E20 28.6.E20] || <math qid="Q8254">kk^{\prime}(\compellintKk@{k})^{2} = 2.04183\;4\dots</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>kk^{\prime}(\compellintKk@{k})^{2} = 2.04183\;4\dots</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>k*sqrt(1 - (k)^(2))*(EllipticK(k))^(2) = 2.041834</syntaxhighlight> || <syntaxhighlight lang=mathematica>k*Sqrt[1 - (k)^(2)]*(EllipticK[(k)^2])^(2) == 2.041834</syntaxhighlight> || Failure || Failure || Error || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 3]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Indeterminate | ||
Test Values: {Rule[k, 1]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[4.25477173820126, -1.5664714954570549] | Test Values: {Rule[k, 1]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[4.25477173820126, -1.5664714954570549] | ||
Test Values: {Rule[k, 2]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[k, 2]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|} | |} | ||
</div> | </div> | ||
Latest revision as of 13:07, 28 June 2021
| DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
|---|---|---|---|---|---|---|---|---|
| 28.6.E20 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \liminf_{n\to\infty}\frac{\rho_{n}^{(j)}}{n^{2}} \geq kk^{\prime}(\compellintKk@{k})^{2}}
\liminf_{n\to\infty}\frac{\rho_{n}^{(j)}}{n^{2}} \geq kk^{\prime}(\compellintKk@{k})^{2} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | [n = infinity]*((rho[n])^(j))/((n)^(2)) >= k*sqrt(1 - (k)^(2))*(EllipticK(k))^(2)
|
Subscript[, n -> Infinity]*Divide[(Subscript[\[Rho], n])^(j),(n)^(2)] >= k*Sqrt[1 - (k)^(2)]*(EllipticK[(k)^2])^(2)
|
Failure | Failure | Error | Failed [300 / 300]
Result: GreaterEqual[Complex[0.5000000000000001, 0.8660254037844386], Indeterminate]
Test Values: {Rule[j, 1], Rule[k, 1], Rule[n, 1], Rule[ρ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[ρ, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: GreaterEqual[Complex[0.12500000000000003, 0.21650635094610965], Indeterminate]
Test Values: {Rule[j, 1], Rule[k, 1], Rule[n, 2], Rule[ρ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[ρ, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
... skip entries to safe data |
| 28.6.E20 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle kk^{\prime}(\compellintKk@{k})^{2} = 2.04183\;4\dots}
kk^{\prime}(\compellintKk@{k})^{2} = 2.04183\;4\dots |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | k*sqrt(1 - (k)^(2))*(EllipticK(k))^(2) = 2.041834
|
k*Sqrt[1 - (k)^(2)]*(EllipticK[(k)^2])^(2) == 2.041834
|
Failure | Failure | Error | Failed [3 / 3]
Result: Indeterminate
Test Values: {Rule[k, 1]}
Result: Complex[4.25477173820126, -1.5664714954570549]
Test Values: {Rule[k, 2]}
... skip entries to safe data |