16.3: 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/16.3.E5 16.3.E5] | | | [https://dlmf.nist.gov/16.3.E5 16.3.E5] || <math qid="Q5192">\left(z\deriv{}{z}z\right)^{n} = z^{n}\deriv[n]{}{z}z^{n}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\left(z\deriv{}{z}z\right)^{n} = z^{n}\deriv[n]{}{z}z^{n}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(z*diff(z, z))^(n) = (z)^(n)* diff((z)^(n), [z$(n)])</syntaxhighlight> || <syntaxhighlight lang=mathematica>(z*D[z, z])^(n) == (z)^(n)* D[(z)^(n), {z, n}]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -.1616869430e-8-5.000000005*I | ||
Test Values: {z = 1/2*3^(1/2)+1/2*I, n = 3}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -5.000000005+.1616869430e-8*I | Test Values: {z = 1/2*3^(1/2)+1/2*I, n = 3}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -5.000000005+.1616869430e-8*I | ||
Test Values: {z = -1/2+1/2*I*3^(1/2), n = 3}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [14 / 21]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[-0.5000000000000001, -0.8660254037844386] | Test Values: {z = -1/2+1/2*I*3^(1/2), n = 3}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [14 / 21]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[-0.5000000000000001, -0.8660254037844386] | ||
Line 20: | Line 20: | ||
Test Values: {Rule[n, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[n, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/16.3.E6 16.3.E6] | | | [https://dlmf.nist.gov/16.3.E6 16.3.E6] || <math qid="Q5193">z\genhyperF{0}{1}@{-}{b+1}{z}+b(b-1)\genhyperF{0}{1}@{-}{b}{z}-b(b-1)\genhyperF{0}{1}@{-}{b-1}{z} = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>z\genhyperF{0}{1}@{-}{b+1}{z}+b(b-1)\genhyperF{0}{1}@{-}{b}{z}-b(b-1)\genhyperF{0}{1}@{-}{b-1}{z} = 0</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>z*hypergeom([-], [b + 1], z)+ b*(b - 1)*hypergeom([-], [b], z)- b*(b - 1)*hypergeom([-], [b - 1], z) = 0</syntaxhighlight> || <syntaxhighlight lang=mathematica>z*HypergeometricPFQ[{-}, {b + 1}, z]+ b*(b - 1)*HypergeometricPFQ[{-}, {b}, z]- b*(b - 1)*HypergeometricPFQ[{-}, {b - 1}, z] == 0</syntaxhighlight> || Error || Failure || - || Error | ||
|- | |- | ||
| [https://dlmf.nist.gov/16.3.E7 16.3.E7] | | | [https://dlmf.nist.gov/16.3.E7 16.3.E7] || <math qid="Q5194">\genhyperF{3}{2}@@{a_{1}+2,a_{2},a_{3}}{b_{1},b_{2}}{z}a_{1}(a_{1}+1)(1-z)+\genhyperF{3}{2}@@{a_{1}+1,a_{2},a_{3}}{b_{1},b_{2}}{z}a_{1}\left(b_{1}+b_{2}-3a_{1}-2+z(2a_{1}-a_{2}-a_{3}+1)\right)+\genhyperF{3}{2}@@{a_{1},a_{2},a_{3}}{b_{1},b_{2}}{z}\left((2a_{1}-b_{1})(2a_{1}-b_{2})+a_{1}-a_{1}^{2}-z(a_{1}-a_{2})(a_{1}-a_{3})\right)-\genhyperF{3}{2}@@{a_{1}-1,a_{2},a_{3}}{b_{1},b_{2}}{z}(a_{1}-b_{1})(a_{1}-b_{2}) = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\genhyperF{3}{2}@@{a_{1}+2,a_{2},a_{3}}{b_{1},b_{2}}{z}a_{1}(a_{1}+1)(1-z)+\genhyperF{3}{2}@@{a_{1}+1,a_{2},a_{3}}{b_{1},b_{2}}{z}a_{1}\left(b_{1}+b_{2}-3a_{1}-2+z(2a_{1}-a_{2}-a_{3}+1)\right)+\genhyperF{3}{2}@@{a_{1},a_{2},a_{3}}{b_{1},b_{2}}{z}\left((2a_{1}-b_{1})(2a_{1}-b_{2})+a_{1}-a_{1}^{2}-z(a_{1}-a_{2})(a_{1}-a_{3})\right)-\genhyperF{3}{2}@@{a_{1}-1,a_{2},a_{3}}{b_{1},b_{2}}{z}(a_{1}-b_{1})(a_{1}-b_{2}) = 0</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>hypergeom([a[1]+ 2 , a[2], a[3]], [b[1], b[2]], z)*a[1]*(a[1]+ 1)*(1 - z)+ hypergeom([a[1]+ 1 , a[2], a[3]], [b[1], b[2]], z)*a[1]*(b[1]+ b[2]- 3*a[1]- 2 + z*(2*a[1]- a[2]- a[3]+ 1))+ hypergeom([a[1], a[2], a[3]], [b[1], b[2]], z)*((2*a[1]- b[1])*(2*a[1]- b[2])+ a[1]- (a[1])^(2)- z*(a[1]- a[2])*(a[1]- a[3]))- hypergeom([a[1]- 1 , a[2], a[3]], [b[1], b[2]], z)*(a[1]- b[1])*(a[1]- b[2]) = 0</syntaxhighlight> || <syntaxhighlight lang=mathematica>HypergeometricPFQ[{Subscript[a, 1]+ 2 , Subscript[a, 2], Subscript[a, 3]}, {Subscript[b, 1], Subscript[b, 2]}, z]*Subscript[a, 1]*(Subscript[a, 1]+ 1)*(1 - z)+ HypergeometricPFQ[{Subscript[a, 1]+ 1 , Subscript[a, 2], Subscript[a, 3]}, {Subscript[b, 1], Subscript[b, 2]}, z]*Subscript[a, 1]*(Subscript[b, 1]+ Subscript[b, 2]- 3*Subscript[a, 1]- 2 + z*(2*Subscript[a, 1]- Subscript[a, 2]- Subscript[a, 3]+ 1))+ HypergeometricPFQ[{Subscript[a, 1], Subscript[a, 2], Subscript[a, 3]}, {Subscript[b, 1], Subscript[b, 2]}, z]*((2*Subscript[a, 1]- Subscript[b, 1])*(2*Subscript[a, 1]- Subscript[b, 2])+ Subscript[a, 1]- (Subscript[a, 1])^(2)- z*(Subscript[a, 1]- Subscript[a, 2])*(Subscript[a, 1]- Subscript[a, 3]))- HypergeometricPFQ[{Subscript[a, 1]- 1 , Subscript[a, 2], Subscript[a, 3]}, {Subscript[b, 1], Subscript[b, 2]}, z]*(Subscript[a, 1]- Subscript[b, 1])*(Subscript[a, 1]- Subscript[b, 2]) == 0</syntaxhighlight> || Failure || Failure || Skipped - Because timed out || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Plus[Complex[1.7372028395654344, 0.5250871122698257], Times[Complex[-0.5000000000000001, -0.8660254037844386], a]] | ||
Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, 3], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[b, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[b, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Plus[Complex[4.427028162877593, -11.419461015230842], Times[Complex[-0.5000000000000001, -0.8660254037844386], a]] | Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, 3], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[b, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[b, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Plus[Complex[4.427028162877593, -11.419461015230842], Times[Complex[-0.5000000000000001, -0.8660254037844386], a]] | ||
Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, 3], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[b, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[b, 2], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, 3], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[b, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[b, 2], 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:41, 28 June 2021
DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
---|---|---|---|---|---|---|---|---|
16.3.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \left(z\deriv{}{z}z\right)^{n} = z^{n}\deriv[n]{}{z}z^{n}}
\left(z\deriv{}{z}z\right)^{n} = z^{n}\deriv[n]{}{z}z^{n} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (z*diff(z, z))^(n) = (z)^(n)* diff((z)^(n), [z$(n)])
|
(z*D[z, z])^(n) == (z)^(n)* D[(z)^(n), {z, n}]
|
Failure | Failure | Failed [7 / 7] Result: -.1616869430e-8-5.000000005*I
Test Values: {z = 1/2*3^(1/2)+1/2*I, n = 3}
Result: -5.000000005+.1616869430e-8*I
Test Values: {z = -1/2+1/2*I*3^(1/2), n = 3}
... skip entries to safe data |
Failed [14 / 21]
Result: Complex[-0.5000000000000001, -0.8660254037844386]
Test Values: {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[0.0, -5.0]
Test Values: {Rule[n, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
... skip entries to safe data |
16.3.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle z\genhyperF{0}{1}@{-}{b+1}{z}+b(b-1)\genhyperF{0}{1}@{-}{b}{z}-b(b-1)\genhyperF{0}{1}@{-}{b-1}{z} = 0}
z\genhyperF{0}{1}@{-}{b+1}{z}+b(b-1)\genhyperF{0}{1}@{-}{b}{z}-b(b-1)\genhyperF{0}{1}@{-}{b-1}{z} = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | z*hypergeom([-], [b + 1], z)+ b*(b - 1)*hypergeom([-], [b], z)- b*(b - 1)*hypergeom([-], [b - 1], z) = 0
|
z*HypergeometricPFQ[{-}, {b + 1}, z]+ b*(b - 1)*HypergeometricPFQ[{-}, {b}, z]- b*(b - 1)*HypergeometricPFQ[{-}, {b - 1}, z] == 0
|
Error | Failure | - | Error |
16.3.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \genhyperF{3}{2}@@{a_{1}+2,a_{2},a_{3}}{b_{1},b_{2}}{z}a_{1}(a_{1}+1)(1-z)+\genhyperF{3}{2}@@{a_{1}+1,a_{2},a_{3}}{b_{1},b_{2}}{z}a_{1}\left(b_{1}+b_{2}-3a_{1}-2+z(2a_{1}-a_{2}-a_{3}+1)\right)+\genhyperF{3}{2}@@{a_{1},a_{2},a_{3}}{b_{1},b_{2}}{z}\left((2a_{1}-b_{1})(2a_{1}-b_{2})+a_{1}-a_{1}^{2}-z(a_{1}-a_{2})(a_{1}-a_{3})\right)-\genhyperF{3}{2}@@{a_{1}-1,a_{2},a_{3}}{b_{1},b_{2}}{z}(a_{1}-b_{1})(a_{1}-b_{2}) = 0}
\genhyperF{3}{2}@@{a_{1}+2,a_{2},a_{3}}{b_{1},b_{2}}{z}a_{1}(a_{1}+1)(1-z)+\genhyperF{3}{2}@@{a_{1}+1,a_{2},a_{3}}{b_{1},b_{2}}{z}a_{1}\left(b_{1}+b_{2}-3a_{1}-2+z(2a_{1}-a_{2}-a_{3}+1)\right)+\genhyperF{3}{2}@@{a_{1},a_{2},a_{3}}{b_{1},b_{2}}{z}\left((2a_{1}-b_{1})(2a_{1}-b_{2})+a_{1}-a_{1}^{2}-z(a_{1}-a_{2})(a_{1}-a_{3})\right)-\genhyperF{3}{2}@@{a_{1}-1,a_{2},a_{3}}{b_{1},b_{2}}{z}(a_{1}-b_{1})(a_{1}-b_{2}) = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | hypergeom([a[1]+ 2 , a[2], a[3]], [b[1], b[2]], z)*a[1]*(a[1]+ 1)*(1 - z)+ hypergeom([a[1]+ 1 , a[2], a[3]], [b[1], b[2]], z)*a[1]*(b[1]+ b[2]- 3*a[1]- 2 + z*(2*a[1]- a[2]- a[3]+ 1))+ hypergeom([a[1], a[2], a[3]], [b[1], b[2]], z)*((2*a[1]- b[1])*(2*a[1]- b[2])+ a[1]- (a[1])^(2)- z*(a[1]- a[2])*(a[1]- a[3]))- hypergeom([a[1]- 1 , a[2], a[3]], [b[1], b[2]], z)*(a[1]- b[1])*(a[1]- b[2]) = 0
|
HypergeometricPFQ[{Subscript[a, 1]+ 2 , Subscript[a, 2], Subscript[a, 3]}, {Subscript[b, 1], Subscript[b, 2]}, z]*Subscript[a, 1]*(Subscript[a, 1]+ 1)*(1 - z)+ HypergeometricPFQ[{Subscript[a, 1]+ 1 , Subscript[a, 2], Subscript[a, 3]}, {Subscript[b, 1], Subscript[b, 2]}, z]*Subscript[a, 1]*(Subscript[b, 1]+ Subscript[b, 2]- 3*Subscript[a, 1]- 2 + z*(2*Subscript[a, 1]- Subscript[a, 2]- Subscript[a, 3]+ 1))+ HypergeometricPFQ[{Subscript[a, 1], Subscript[a, 2], Subscript[a, 3]}, {Subscript[b, 1], Subscript[b, 2]}, z]*((2*Subscript[a, 1]- Subscript[b, 1])*(2*Subscript[a, 1]- Subscript[b, 2])+ Subscript[a, 1]- (Subscript[a, 1])^(2)- z*(Subscript[a, 1]- Subscript[a, 2])*(Subscript[a, 1]- Subscript[a, 3]))- HypergeometricPFQ[{Subscript[a, 1]- 1 , Subscript[a, 2], Subscript[a, 3]}, {Subscript[b, 1], Subscript[b, 2]}, z]*(Subscript[a, 1]- Subscript[b, 1])*(Subscript[a, 1]- Subscript[b, 2]) == 0
|
Failure | Failure | Skipped - Because timed out | Failed [300 / 300]
Result: Plus[Complex[1.7372028395654344, 0.5250871122698257], Times[Complex[-0.5000000000000001, -0.8660254037844386], a]]
Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, 3], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[b, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[b, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Plus[Complex[4.427028162877593, -11.419461015230842], Times[Complex[-0.5000000000000001, -0.8660254037844386], a]]
Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, 3], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[b, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[b, 2], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}
... skip entries to safe data |