19.12: Difference between revisions

From testwiki
Jump to navigation Jump to search
VisualWikitext
 
 
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/19.12.E1 19.12.E1] || [[Item:Q6298|<math>\compellintKk@{k} = \sum_{m=0}^{\infty}\frac{\Pochhammersym{\tfrac{1}{2}}{m}\Pochhammersym{\tfrac{1}{2}}{m}}{m!\;m!}{k^{\prime}}^{2m}\left(\ln@@{\left(\frac{1}{k^{\prime}}\right)}+d(m)\right)</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\compellintKk@{k} = \sum_{m=0}^{\infty}\frac{\Pochhammersym{\tfrac{1}{2}}{m}\Pochhammersym{\tfrac{1}{2}}{m}}{m!\;m!}{k^{\prime}}^{2m}\left(\ln@@{\left(\frac{1}{k^{\prime}}\right)}+d(m)\right)</syntaxhighlight> || <math>0 < |k^{\prime}|, |k^{\prime}| < 1</math> || <syntaxhighlight lang=mathematica>EllipticK(k) = sum((pochhammer((1)/(2), m)*pochhammer((1)/(2), m))/(factorial(m)*factorial(m))*(sqrt(1 - (k)^(2)))^(2*m)*(ln((1)/(sqrt(1 - (k)^(2))))+ d(m)), m = 0..infinity)</syntaxhighlight> || <syntaxhighlight lang=mathematica>EllipticK[(k)^2] == Sum[Divide[Pochhammer[Divide[1,2], m]*Pochhammer[Divide[1,2], m],(m)!*(m)!]*(Sqrt[1 - (k)^(2)])^(2*m)*(Log[Divide[1,Sqrt[1 - (k)^(2)]]]+ d[m]), {m, 0, Infinity}, GenerateConditions->None]</syntaxhighlight> || Failure || Failure || Error || Skip - No test values generated
| [https://dlmf.nist.gov/19.12.E1 19.12.E1] || <math qid="Q6298">\compellintKk@{k} = \sum_{m=0}^{\infty}\frac{\Pochhammersym{\tfrac{1}{2}}{m}\Pochhammersym{\tfrac{1}{2}}{m}}{m!\;m!}{k^{\prime}}^{2m}\left(\ln@@{\left(\frac{1}{k^{\prime}}\right)}+d(m)\right)</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\compellintKk@{k} = \sum_{m=0}^{\infty}\frac{\Pochhammersym{\tfrac{1}{2}}{m}\Pochhammersym{\tfrac{1}{2}}{m}}{m!\;m!}{k^{\prime}}^{2m}\left(\ln@@{\left(\frac{1}{k^{\prime}}\right)}+d(m)\right)</syntaxhighlight> || <math>0 < |k^{\prime}|, |k^{\prime}| < 1</math> || <syntaxhighlight lang=mathematica>EllipticK(k) = sum((pochhammer((1)/(2), m)*pochhammer((1)/(2), m))/(factorial(m)*factorial(m))*(sqrt(1 - (k)^(2)))^(2*m)*(ln((1)/(sqrt(1 - (k)^(2))))+ d(m)), m = 0..infinity)</syntaxhighlight> || <syntaxhighlight lang=mathematica>EllipticK[(k)^2] == Sum[Divide[Pochhammer[Divide[1,2], m]*Pochhammer[Divide[1,2], m],(m)!*(m)!]*(Sqrt[1 - (k)^(2)])^(2*m)*(Log[Divide[1,Sqrt[1 - (k)^(2)]]]+ d[m]), {m, 0, Infinity}, GenerateConditions->None]</syntaxhighlight> || Failure || Failure || Error || Skip - No test values generated
|-  
|-  
| [https://dlmf.nist.gov/19.12.E2 19.12.E2] || [[Item:Q6299|<math>\compellintEk@{k} = 1+\frac{1}{2}\sum_{m=0}^{\infty}\frac{\Pochhammersym{\tfrac{1}{2}}{m}\Pochhammersym{\tfrac{3}{2}}{m}}{\Pochhammersym{2}{m}m!}{k^{\prime}}^{2m+2}\*\left(\ln@@{\left(\frac{1}{k^{\prime}}\right)}+d(m)-\frac{1}{(2m+1)(2m+2)}\right)</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\compellintEk@{k} = 1+\frac{1}{2}\sum_{m=0}^{\infty}\frac{\Pochhammersym{\tfrac{1}{2}}{m}\Pochhammersym{\tfrac{3}{2}}{m}}{\Pochhammersym{2}{m}m!}{k^{\prime}}^{2m+2}\*\left(\ln@@{\left(\frac{1}{k^{\prime}}\right)}+d(m)-\frac{1}{(2m+1)(2m+2)}\right)</syntaxhighlight> || <math>|k^{\prime}| < 1</math> || <syntaxhighlight lang=mathematica>EllipticE(k) = 1 +(1)/(2)*sum((pochhammer((1)/(2), m)*pochhammer((3)/(2), m))/(pochhammer(2, m)*factorial(m))*(sqrt(1 - (k)^(2)))^(2*m + 2)*(ln((1)/(sqrt(1 - (k)^(2))))+ d(m)-(1)/((2*m + 1)*(2*m + 2))), m = 0..infinity)</syntaxhighlight> || <syntaxhighlight lang=mathematica>EllipticE[(k)^2] == 1 +Divide[1,2]*Sum[Divide[Pochhammer[Divide[1,2], m]*Pochhammer[Divide[3,2], m],Pochhammer[2, m]*(m)!]*(Sqrt[1 - (k)^(2)])^(2*m + 2)*(Log[Divide[1,Sqrt[1 - (k)^(2)]]]+ d[m]-Divide[1,(2*m + 1)*(2*m + 2)]), {m, 0, Infinity}, GenerateConditions->None]</syntaxhighlight> || Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [10 / 10]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Indeterminate
| [https://dlmf.nist.gov/19.12.E2 19.12.E2] || <math qid="Q6299">\compellintEk@{k} = 1+\frac{1}{2}\sum_{m=0}^{\infty}\frac{\Pochhammersym{\tfrac{1}{2}}{m}\Pochhammersym{\tfrac{3}{2}}{m}}{\Pochhammersym{2}{m}m!}{k^{\prime}}^{2m+2}\*\left(\ln@@{\left(\frac{1}{k^{\prime}}\right)}+d(m)-\frac{1}{(2m+1)(2m+2)}\right)</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\compellintEk@{k} = 1+\frac{1}{2}\sum_{m=0}^{\infty}\frac{\Pochhammersym{\tfrac{1}{2}}{m}\Pochhammersym{\tfrac{3}{2}}{m}}{\Pochhammersym{2}{m}m!}{k^{\prime}}^{2m+2}\*\left(\ln@@{\left(\frac{1}{k^{\prime}}\right)}+d(m)-\frac{1}{(2m+1)(2m+2)}\right)</syntaxhighlight> || <math>|k^{\prime}| < 1</math> || <syntaxhighlight lang=mathematica>EllipticE(k) = 1 +(1)/(2)*sum((pochhammer((1)/(2), m)*pochhammer((3)/(2), m))/(pochhammer(2, m)*factorial(m))*(sqrt(1 - (k)^(2)))^(2*m + 2)*(ln((1)/(sqrt(1 - (k)^(2))))+ d(m)-(1)/((2*m + 1)*(2*m + 2))), m = 0..infinity)</syntaxhighlight> || <syntaxhighlight lang=mathematica>EllipticE[(k)^2] == 1 +Divide[1,2]*Sum[Divide[Pochhammer[Divide[1,2], m]*Pochhammer[Divide[3,2], m],Pochhammer[2, m]*(m)!]*(Sqrt[1 - (k)^(2)])^(2*m + 2)*(Log[Divide[1,Sqrt[1 - (k)^(2)]]]+ d[m]-Divide[1,(2*m + 1)*(2*m + 2)]), {m, 0, Infinity}, GenerateConditions->None]</syntaxhighlight> || Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [10 / 10]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Indeterminate
Test Values: {Rule[d, Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]], Rule[k, 1]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Indeterminate
Test Values: {Rule[d, Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]], Rule[k, 1]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Indeterminate
Test Values: {Rule[d, Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]], Rule[k, 1]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[d, Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]], Rule[k, 1]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|-  
|-  
| [https://dlmf.nist.gov/19.12#Ex1 19.12#Ex1] || [[Item:Q6300|<math>d(m) = \digamma@{1+m}-\digamma@{\tfrac{1}{2}+m}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>d(m) = \digamma@{1+m}-\digamma@{\tfrac{1}{2}+m}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>d(m) = Psi(1 + m)- Psi((1)/(2)+ m)</syntaxhighlight> || <syntaxhighlight lang=mathematica>d[m] == PolyGamma[1 + m]- PolyGamma[Divide[1,2]+ m]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [30 / 30]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .4797310429+.5000000000*I
| [https://dlmf.nist.gov/19.12#Ex1 19.12#Ex1] || <math qid="Q6300">d(m) = \digamma@{1+m}-\digamma@{\tfrac{1}{2}+m}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>d(m) = \digamma@{1+m}-\digamma@{\tfrac{1}{2}+m}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>d(m) = Psi(1 + m)- Psi((1)/(2)+ m)</syntaxhighlight> || <syntaxhighlight lang=mathematica>d[m] == PolyGamma[1 + m]- PolyGamma[Divide[1,2]+ m]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [30 / 30]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .4797310429+.5000000000*I
Test Values: {d = 1/2*3^(1/2)+1/2*I, m = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.512423114+1.*I
Test Values: {d = 1/2*3^(1/2)+1/2*I, m = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.512423114+1.*I
Test Values: {d = 1/2*3^(1/2)+1/2*I, m = 2}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [30 / 30]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.04671834077232884, 0.24999999999999997]
Test Values: {d = 1/2*3^(1/2)+1/2*I, m = 2}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [30 / 30]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.04671834077232884, 0.24999999999999997]
Line 26: Line 26:
Test Values: {Rule[d, Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]], Rule[m, 2]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[d, Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]], Rule[m, 2]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/19.12#Ex2 19.12#Ex2] || [[Item:Q6301|<math>d(m+1) = d(m)-\frac{2}{(2m+1)(2m+2)}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>d(m+1) = d(m)-\frac{2}{(2m+1)(2m+2)}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">d(m + 1) = d(m)-(2)/((2*m + 1)*(2*m + 2))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">d[m + 1] == d[m]-Divide[2,(2*m + 1)*(2*m + 2)]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/19.12#Ex2 19.12#Ex2] || <math qid="Q6301">d(m+1) = d(m)-\frac{2}{(2m+1)(2m+2)}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>d(m+1) = d(m)-\frac{2}{(2m+1)(2m+2)}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">d(m + 1) = d(m)-(2)/((2*m + 1)*(2*m + 2))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">d[m + 1] == d[m]-Divide[2,(2*m + 1)*(2*m + 2)]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|}
|}
</div>
</div>

Latest revision as of 11:51, 28 June 2021


DLMF Formula Constraints Maple Mathematica Symbolic
Maple 		Symbolic
Mathematica 		Numeric
Maple 		Numeric
Mathematica
19.12.E1 K ⁡ ( k ) = ∑ m = 0 ∞ ( 1 2 ) m ⁢ ( 1 2 ) m m ! ⁢ m ! ⁢ k ′ 2 ⁢ m ⁢ ( ln ⁡ ( 1 k ′ ) + d ⁢ ( m ) ) complete-elliptic-integral-first-kind-K 𝑘 superscript subscript 𝑚 0 Pochhammer 1 2 𝑚 Pochhammer 1 2 𝑚 𝑚 𝑚 superscript superscript 𝑘 ′ 2 𝑚 1 superscript 𝑘 ′ 𝑑 𝑚 {\displaystyle{\displaystyle K\left(k\right)=\sum_{m=0}^{\infty}\frac{{\left(% \tfrac{1}{2}\right)_{m}}{\left(\tfrac{1}{2}\right)_{m}}}{m!\;m!}{k^{\prime}}^{% 2m}\left(\ln\left(\frac{1}{k^{\prime}}\right)+d(m)\right)}}
\compellintKk@{k} = \sum_{m=0}^{\infty}\frac{\Pochhammersym{\tfrac{1}{2}}{m}\Pochhammersym{\tfrac{1}{2}}{m}}{m!\;m!}{k^{\prime}}^{2m}\left(\ln@@{\left(\frac{1}{k^{\prime}}\right)}+d(m)\right)		 0 < | k ′ | , | k ′ | < 1 formulae-sequence 0 superscript 𝑘 ′ superscript 𝑘 ′ 1 {\displaystyle{\displaystyle 0<|k^{\prime}|,|k^{\prime}|<1}} 
EllipticK(k) = sum((pochhammer((1)/(2), m)*pochhammer((1)/(2), m))/(factorial(m)*factorial(m))*(sqrt(1 - (k)^(2)))^(2*m)*(ln((1)/(sqrt(1 - (k)^(2))))+ d(m)), m = 0..infinity)

EllipticK[(k)^2] == Sum[Divide[Pochhammer[Divide[1,2], m]*Pochhammer[Divide[1,2], m],(m)!*(m)!]*(Sqrt[1 - (k)^(2)])^(2*m)*(Log[Divide[1,Sqrt[1 - (k)^(2)]]]+ d[m]), {m, 0, Infinity}, GenerateConditions->None]
Failure Failure Error Skip - No test values generated
19.12.E2 E ⁡ ( k ) = 1 + 1 2 ⁢ ∑ m = 0 ∞ ( 1 2 ) m ⁢ ( 3 2 ) m ( 2 ) m ⁢ m ! ⁢ k ′ 2 ⁢ m + 2 ⁢ ( ln ⁡ ( 1 k ′ ) + d ⁢ ( m ) - 1 ( 2 ⁢ m + 1 ) ⁢ ( 2 ⁢ m + 2 ) ) complete-elliptic-integral-second-kind-E 𝑘 1 1 2 superscript subscript 𝑚 0 Pochhammer 1 2 𝑚 Pochhammer 3 2 𝑚 Pochhammer 2 𝑚 𝑚 superscript superscript 𝑘 ′ 2 𝑚 2 1 superscript 𝑘 ′ 𝑑 𝑚 1 2 𝑚 1 2 𝑚 2 {\displaystyle{\displaystyle E\left(k\right)=1+\frac{1}{2}\sum_{m=0}^{\infty}% \frac{{\left(\tfrac{1}{2}\right)_{m}}{\left(\tfrac{3}{2}\right)_{m}}}{{\left(2% \right)_{m}}m!}{k^{\prime}}^{2m+2}\*\left(\ln\left(\frac{1}{k^{\prime}}\right)% +d(m)-\frac{1}{(2m+1)(2m+2)}\right)}}
\compellintEk@{k} = 1+\frac{1}{2}\sum_{m=0}^{\infty}\frac{\Pochhammersym{\tfrac{1}{2}}{m}\Pochhammersym{\tfrac{3}{2}}{m}}{\Pochhammersym{2}{m}m!}{k^{\prime}}^{2m+2}\*\left(\ln@@{\left(\frac{1}{k^{\prime}}\right)}+d(m)-\frac{1}{(2m+1)(2m+2)}\right)		 | k ′ | < 1 superscript 𝑘 ′ 1 {\displaystyle{\displaystyle|k^{\prime}|<1}} 
EllipticE(k) = 1 +(1)/(2)*sum((pochhammer((1)/(2), m)*pochhammer((3)/(2), m))/(pochhammer(2, m)*factorial(m))*(sqrt(1 - (k)^(2)))^(2*m + 2)*(ln((1)/(sqrt(1 - (k)^(2))))+ d(m)-(1)/((2*m + 1)*(2*m + 2))), m = 0..infinity)

EllipticE[(k)^2] == 1 +Divide[1,2]*Sum[Divide[Pochhammer[Divide[1,2], m]*Pochhammer[Divide[3,2], m],Pochhammer[2, m]*(m)!]*(Sqrt[1 - (k)^(2)])^(2*m + 2)*(Log[Divide[1,Sqrt[1 - (k)^(2)]]]+ d[m]-Divide[1,(2*m + 1)*(2*m + 2)]), {m, 0, Infinity}, GenerateConditions->None]
Error Failure -
Failed [10 / 10]
Result: Indeterminate
Test Values: {Rule[d, Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]], Rule[k, 1]}


Result: Indeterminate
Test Values: {Rule[d, Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]], Rule[k, 1]}

... skip entries to safe data
19.12#Ex1 d ⁢ ( m ) = ψ ⁡ ( 1 + m ) - ψ ⁡ ( 1 2 + m ) 𝑑 𝑚 digamma 1 𝑚 digamma 1 2 𝑚 {\displaystyle{\displaystyle d(m)=\psi\left(1+m\right)-\psi\left(\tfrac{1}{2}+% m\right)}}
d(m) = \digamma@{1+m}-\digamma@{\tfrac{1}{2}+m}		 

d(m) = Psi(1 + m)- Psi((1)/(2)+ m)

d[m] == PolyGamma[1 + m]- PolyGamma[Divide[1,2]+ m]
Failure Failure
Failed [30 / 30]
Result: .4797310429+.5000000000*I
Test Values: {d = 1/2*3^(1/2)+1/2*I, m = 1}


Result: 1.512423114+1.*I
Test Values: {d = 1/2*3^(1/2)+1/2*I, m = 2}

... skip entries to safe data
Failed [30 / 30]
Result: Complex[0.04671834077232884, 0.24999999999999997]
Test Values: {Rule[d, Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]], Rule[m, 1]}


Result: Complex[0.6463977093312149, 0.49999999999999994]
Test Values: {Rule[d, Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]], Rule[m, 2]}

... skip entries to safe data
19.12#Ex2 d ⁢ ( m + 1 ) = d ⁢ ( m ) - 2 ( 2 ⁢ m + 1 ) ⁢ ( 2 ⁢ m + 2 ) 𝑑 𝑚 1 𝑑 𝑚 2 2 𝑚 1 2 𝑚 2 {\displaystyle{\displaystyle d(m+1)=d(m)-\frac{2}{(2m+1)(2m+2)}}}
d(m+1) = d(m)-\frac{2}{(2m+1)(2m+2)}		 

d(m + 1) = d(m)-(2)/((2*m + 1)*(2*m + 2))
 
d[m + 1] == d[m]-Divide[2,(2*m + 1)*(2*m + 2)]
 Skipped - no semantic math Skipped - no semantic math - -
Retrieved from "https://lct.wmflabs.org/w/index.php?title=19.12&oldid=58370"