13.12: 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/13.12.E1 13.12.E1] | | | [https://dlmf.nist.gov/13.12.E1 13.12.E1] || <math qid="Q4477">\KummerconfhyperM@{a}{b}{z}\KummerconfhyperM@{-a}{-b}{-z}+\frac{a(a-b)z^{2}}{b^{2}(1-b^{2})}\KummerconfhyperM@{1+a}{2+b}{z}\KummerconfhyperM@{1-a}{2-b}{-z} = 1</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\KummerconfhyperM@{a}{b}{z}\KummerconfhyperM@{-a}{-b}{-z}+\frac{a(a-b)z^{2}}{b^{2}(1-b^{2})}\KummerconfhyperM@{1+a}{2+b}{z}\KummerconfhyperM@{1-a}{2-b}{-z} = 1</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>KummerM(a, b, z)*KummerM(- a, - b, - z)+(a*(a - b)*(z)^(2))/((b)^(2)*(1 - (b)^(2)))*KummerM(1 + a, 2 + b, z)*KummerM(1 - a, 2 - b, - z) = 1</syntaxhighlight> || <syntaxhighlight lang=mathematica>Hypergeometric1F1[a, b, z]*Hypergeometric1F1[- a, - b, - z]+Divide[a*(a - b)*(z)^(2),(b)^(2)*(1 - (b)^(2))]*Hypergeometric1F1[1 + a, 2 + b, z]*Hypergeometric1F1[1 - a, 2 - b, - z] == 1</syntaxhighlight> || Failure || Failure || Error || <div class="toccolours mw-collapsible mw-collapsed">Failed [84 / 252]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Indeterminate | ||
Test Values: {Rule[a, -1.5], Rule[b, -2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Indeterminate | Test Values: {Rule[a, -1.5], Rule[b, -2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Indeterminate | ||
Test Values: {Rule[a, -1.5], Rule[b, -2], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[a, -1.5], Rule[b, -2], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|} | |} | ||
</div> | </div> | ||
Latest revision as of 11:33, 28 June 2021
| DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
|---|---|---|---|---|---|---|---|---|
| 13.12.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \KummerconfhyperM@{a}{b}{z}\KummerconfhyperM@{-a}{-b}{-z}+\frac{a(a-b)z^{2}}{b^{2}(1-b^{2})}\KummerconfhyperM@{1+a}{2+b}{z}\KummerconfhyperM@{1-a}{2-b}{-z} = 1}
\KummerconfhyperM@{a}{b}{z}\KummerconfhyperM@{-a}{-b}{-z}+\frac{a(a-b)z^{2}}{b^{2}(1-b^{2})}\KummerconfhyperM@{1+a}{2+b}{z}\KummerconfhyperM@{1-a}{2-b}{-z} = 1 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | KummerM(a, b, z)*KummerM(- a, - b, - z)+(a*(a - b)*(z)^(2))/((b)^(2)*(1 - (b)^(2)))*KummerM(1 + a, 2 + b, z)*KummerM(1 - a, 2 - b, - z) = 1
|
Hypergeometric1F1[a, b, z]*Hypergeometric1F1[- a, - b, - z]+Divide[a*(a - b)*(z)^(2),(b)^(2)*(1 - (b)^(2))]*Hypergeometric1F1[1 + a, 2 + b, z]*Hypergeometric1F1[1 - a, 2 - b, - z] == 1
|
Failure | Failure | Error | Failed [84 / 252]
Result: Indeterminate
Test Values: {Rule[a, -1.5], Rule[b, -2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Indeterminate
Test Values: {Rule[a, -1.5], Rule[b, -2], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}
... skip entries to safe data |