14.19: Difference between revisions

From testwiki
Jump to navigation Jump to search
 
 
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/14.19#Ex1 14.19#Ex1] || [[Item:Q4911|<math>x = \frac{c\sinh@@{\eta}\cos@@{\phi}}{\cosh@@{\eta}-\cos@@{\theta}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>x = \frac{c\sinh@@{\eta}\cos@@{\phi}}{\cosh@@{\eta}-\cos@@{\theta}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>x = (c*sinh(eta)*cos(phi))/(cosh(eta)- cos(theta))</syntaxhighlight> || <syntaxhighlight lang=mathematica>x == Divide[c*Sinh[\[Eta]]*Cos[\[Phi]],Cosh[\[Eta]]- Cos[\[Theta]]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 2.362573279-1.052377925*I
| [https://dlmf.nist.gov/14.19#Ex1 14.19#Ex1] || <math qid="Q4911">x = \frac{c\sinh@@{\eta}\cos@@{\phi}}{\cosh@@{\eta}-\cos@@{\theta}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>x = \frac{c\sinh@@{\eta}\cos@@{\phi}}{\cosh@@{\eta}-\cos@@{\theta}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>x = (c*sinh(eta)*cos(phi))/(cosh(eta)- cos(theta))</syntaxhighlight> || <syntaxhighlight lang=mathematica>x == Divide[c*Sinh[\[Eta]]*Cos[\[Phi]],Cosh[\[Eta]]- Cos[\[Theta]]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 2.362573279-1.052377925*I
Test Values: {c = -3/2, eta = 1/2*3^(1/2)+1/2*I, phi = 1/2*3^(1/2)+1/2*I, theta = 1/2*3^(1/2)+1/2*I, x = 3/2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.362573279-1.052377925*I
Test Values: {c = -3/2, eta = 1/2*3^(1/2)+1/2*I, phi = 1/2*3^(1/2)+1/2*I, theta = 1/2*3^(1/2)+1/2*I, x = 3/2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.362573279-1.052377925*I
Test Values: {c = -3/2, eta = 1/2*3^(1/2)+1/2*I, phi = 1/2*3^(1/2)+1/2*I, theta = 1/2*3^(1/2)+1/2*I, x = 1/2}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[2.3625732791062704, -1.0523779253990262]
Test Values: {c = -3/2, eta = 1/2*3^(1/2)+1/2*I, phi = 1/2*3^(1/2)+1/2*I, theta = 1/2*3^(1/2)+1/2*I, x = 1/2}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[2.3625732791062704, -1.0523779253990262]
Line 20: Line 20:
Test Values: {Rule[c, -1.5], Rule[x, 1.5], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ϕ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[c, -1.5], Rule[x, 1.5], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ϕ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|-  
|-  
| [https://dlmf.nist.gov/14.19#Ex2 14.19#Ex2] || [[Item:Q4912|<math>y = \frac{c\sinh@@{\eta}\sin@@{\phi}}{\cosh@@{\eta}-\cos@@{\theta}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>y = \frac{c\sinh@@{\eta}\sin@@{\phi}}{\cosh@@{\eta}-\cos@@{\theta}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>y = (c*sinh(eta)*sin(phi))/(cosh(eta)- cos(theta))</syntaxhighlight> || <syntaxhighlight lang=mathematica>y == Divide[c*Sinh[\[Eta]]*Sin[\[Phi]],Cosh[\[Eta]]- Cos[\[Theta]]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .10381346e-1-.1810305231e-1*I
| [https://dlmf.nist.gov/14.19#Ex2 14.19#Ex2] || <math qid="Q4912">y = \frac{c\sinh@@{\eta}\sin@@{\phi}}{\cosh@@{\eta}-\cos@@{\theta}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>y = \frac{c\sinh@@{\eta}\sin@@{\phi}}{\cosh@@{\eta}-\cos@@{\theta}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>y = (c*sinh(eta)*sin(phi))/(cosh(eta)- cos(theta))</syntaxhighlight> || <syntaxhighlight lang=mathematica>y == Divide[c*Sinh[\[Eta]]*Sin[\[Phi]],Cosh[\[Eta]]- Cos[\[Theta]]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .10381346e-1-.1810305231e-1*I
Test Values: {c = -3/2, eta = 1/2*3^(1/2)+1/2*I, phi = 1/2*3^(1/2)+1/2*I, theta = 1/2*3^(1/2)+1/2*I, y = -3/2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 3.010381346-.1810305231e-1*I
Test Values: {c = -3/2, eta = 1/2*3^(1/2)+1/2*I, phi = 1/2*3^(1/2)+1/2*I, theta = 1/2*3^(1/2)+1/2*I, y = -3/2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 3.010381346-.1810305231e-1*I
Test Values: {c = -3/2, eta = 1/2*3^(1/2)+1/2*I, phi = 1/2*3^(1/2)+1/2*I, theta = 1/2*3^(1/2)+1/2*I, y = 3/2}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.010381344893815037, -0.01810305210999985]
Test Values: {c = -3/2, eta = 1/2*3^(1/2)+1/2*I, phi = 1/2*3^(1/2)+1/2*I, theta = 1/2*3^(1/2)+1/2*I, y = 3/2}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.010381344893815037, -0.01810305210999985]
Line 26: Line 26:
Test Values: {Rule[c, -1.5], Rule[y, -1.5], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ϕ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[c, -1.5], Rule[y, -1.5], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ϕ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|-  
|-  
| [https://dlmf.nist.gov/14.19#Ex3 14.19#Ex3] || [[Item:Q4913|<math>z = \frac{c\sin@@{\theta}}{\cosh@@{\eta}-\cos@@{\theta}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>z = \frac{c\sin@@{\theta}}{\cosh@@{\eta}-\cos@@{\theta}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>z = (c*sin(theta))/(cosh(eta)- cos(theta))</syntaxhighlight> || <syntaxhighlight lang=mathematica>z == Divide[c*Sin[\[Theta]],Cosh[\[Eta]]- Cos[\[Theta]]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 1.948230727-.3664573554*I
| [https://dlmf.nist.gov/14.19#Ex3 14.19#Ex3] || <math qid="Q4913">z = \frac{c\sin@@{\theta}}{\cosh@@{\eta}-\cos@@{\theta}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>z = \frac{c\sin@@{\theta}}{\cosh@@{\eta}-\cos@@{\theta}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>z = (c*sin(theta))/(cosh(eta)- cos(theta))</syntaxhighlight> || <syntaxhighlight lang=mathematica>z == Divide[c*Sin[\[Theta]],Cosh[\[Eta]]- Cos[\[Theta]]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 1.948230727-.3664573554*I
Test Values: {c = -3/2, eta = 1/2*3^(1/2)+1/2*I, theta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .5822053230-.4319514e-3*I
Test Values: {c = -3/2, eta = 1/2*3^(1/2)+1/2*I, theta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .5822053230-.4319514e-3*I
Test Values: {c = -3/2, eta = 1/2*3^(1/2)+1/2*I, theta = 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 [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[1.948230726846754, -0.366457355462031]
Test Values: {c = -3/2, eta = 1/2*3^(1/2)+1/2*I, theta = 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 [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[1.948230726846754, -0.366457355462031]
Line 32: Line 32:
Test Values: {Rule[c, -1.5], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[θ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[c, -1.5], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[θ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|-  
|-  
| [https://dlmf.nist.gov/14.19.E2 14.19.E2] || [[Item:Q4914|<math>\assLegendreP[\mu]{\nu-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{\frac{1}{2}-\mu}}{\pi^{1/2}\left(1-e^{-2\xi}\right)^{\mu}e^{(\nu+(1/2))\xi}}\*\hyperOlverF@{\tfrac{1}{2}-\mu}{\tfrac{1}{2}+\nu-\mu}{1-2\mu}{1-e^{-2\xi}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\assLegendreP[\mu]{\nu-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{\frac{1}{2}-\mu}}{\pi^{1/2}\left(1-e^{-2\xi}\right)^{\mu}e^{(\nu+(1/2))\xi}}\*\hyperOlverF@{\tfrac{1}{2}-\mu}{\tfrac{1}{2}+\nu-\mu}{1-2\mu}{1-e^{-2\xi}}</syntaxhighlight> || <math>\mu \neq \frac{1}{2}, \realpart@@{(\frac{1}{2}-\mu)} > 0</math> || <syntaxhighlight lang=mathematica>LegendreP(nu -(1)/(2), mu, cosh(xi)) = (GAMMA((1)/(2)- mu))/((Pi)^(1/2)*(1 - exp(- 2*xi))^(mu)* exp((nu +(1/2))*xi))* hypergeom([(1)/(2)- mu, (1)/(2)+ nu - mu], [1 - 2*mu], 1 - exp(- 2*xi))/GAMMA(1 - 2*mu)</syntaxhighlight> || <syntaxhighlight lang=mathematica>LegendreP[\[Nu]-Divide[1,2], \[Mu], 3, Cosh[\[Xi]]] == Divide[Gamma[Divide[1,2]- \[Mu]],(Pi)^(1/2)*(1 - Exp[- 2*\[Xi]])^\[Mu]* Exp[(\[Nu]+(1/2))*\[Xi]]]* Hypergeometric2F1Regularized[Divide[1,2]- \[Mu], Divide[1,2]+ \[Nu]- \[Mu], 1 - 2*\[Mu], 1 - Exp[- 2*\[Xi]]]</syntaxhighlight> || Aborted || Failure || Successful [Tested: 200] || Successful [Tested: 200]
| [https://dlmf.nist.gov/14.19.E2 14.19.E2] || <math qid="Q4914">\assLegendreP[\mu]{\nu-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{\frac{1}{2}-\mu}}{\pi^{1/2}\left(1-e^{-2\xi}\right)^{\mu}e^{(\nu+(1/2))\xi}}\*\hyperOlverF@{\tfrac{1}{2}-\mu}{\tfrac{1}{2}+\nu-\mu}{1-2\mu}{1-e^{-2\xi}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\assLegendreP[\mu]{\nu-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{\frac{1}{2}-\mu}}{\pi^{1/2}\left(1-e^{-2\xi}\right)^{\mu}e^{(\nu+(1/2))\xi}}\*\hyperOlverF@{\tfrac{1}{2}-\mu}{\tfrac{1}{2}+\nu-\mu}{1-2\mu}{1-e^{-2\xi}}</syntaxhighlight> || <math>\mu \neq \frac{1}{2}, \realpart@@{(\frac{1}{2}-\mu)} > 0</math> || <syntaxhighlight lang=mathematica>LegendreP(nu -(1)/(2), mu, cosh(xi)) = (GAMMA((1)/(2)- mu))/((Pi)^(1/2)*(1 - exp(- 2*xi))^(mu)* exp((nu +(1/2))*xi))* hypergeom([(1)/(2)- mu, (1)/(2)+ nu - mu], [1 - 2*mu], 1 - exp(- 2*xi))/GAMMA(1 - 2*mu)</syntaxhighlight> || <syntaxhighlight lang=mathematica>LegendreP[\[Nu]-Divide[1,2], \[Mu], 3, Cosh[\[Xi]]] == Divide[Gamma[Divide[1,2]- \[Mu]],(Pi)^(1/2)*(1 - Exp[- 2*\[Xi]])^\[Mu]* Exp[(\[Nu]+(1/2))*\[Xi]]]* Hypergeometric2F1Regularized[Divide[1,2]- \[Mu], Divide[1,2]+ \[Nu]- \[Mu], 1 - 2*\[Mu], 1 - Exp[- 2*\[Xi]]]</syntaxhighlight> || Aborted || Failure || Successful [Tested: 200] || Successful [Tested: 200]
|-  
|-  
| [https://dlmf.nist.gov/14.19#Ex4 14.19#Ex4] || [[Item:Q4915|<math>\assLegendreP[\mu]{\nu-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{1-2\mu}2^{2\mu}}{\EulerGamma@{1-\mu}\left(1-e^{-2\xi}\right)^{\mu}e^{(\nu+(1/2))\xi}}\*\hyperOlverF@{\tfrac{1}{2}-\mu}{\tfrac{1}{2}+\nu-\mu}{1-2\mu}{e^{-2\xi}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\assLegendreP[\mu]{\nu-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{1-2\mu}2^{2\mu}}{\EulerGamma@{1-\mu}\left(1-e^{-2\xi}\right)^{\mu}e^{(\nu+(1/2))\xi}}\*\hyperOlverF@{\tfrac{1}{2}-\mu}{\tfrac{1}{2}+\nu-\mu}{1-2\mu}{e^{-2\xi}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>LegendreP(nu -(1)/(2), mu, cosh(xi)) = (GAMMA(1 - 2*mu)*(2)^(2*mu))/(GAMMA(1 - mu)*(1 - exp(- 2*xi))^(mu)* exp((nu +(1/2))*xi))* hypergeom([(1)/(2)- mu, (1)/(2)+ nu - mu], [1 - 2*mu], exp(- 2*xi))/GAMMA(1 - 2*mu)</syntaxhighlight> || <syntaxhighlight lang=mathematica>LegendreP[\[Nu]-Divide[1,2], \[Mu], 3, Cosh[\[Xi]]] == Divide[Gamma[1 - 2*\[Mu]]*(2)^(2*\[Mu]),Gamma[1 - \[Mu]]*(1 - Exp[- 2*\[Xi]])^\[Mu]* Exp[(\[Nu]+(1/2))*\[Xi]]]* Hypergeometric2F1Regularized[Divide[1,2]- \[Mu], Divide[1,2]+ \[Nu]- \[Mu], 1 - 2*\[Mu], Exp[- 2*\[Xi]]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .2738102545-.736850267e-1*I
| [https://dlmf.nist.gov/14.19#Ex4 14.19#Ex4] || <math qid="Q4915">\assLegendreP[\mu]{\nu-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{1-2\mu}2^{2\mu}}{\EulerGamma@{1-\mu}\left(1-e^{-2\xi}\right)^{\mu}e^{(\nu+(1/2))\xi}}\*\hyperOlverF@{\tfrac{1}{2}-\mu}{\tfrac{1}{2}+\nu-\mu}{1-2\mu}{e^{-2\xi}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\assLegendreP[\mu]{\nu-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{1-2\mu}2^{2\mu}}{\EulerGamma@{1-\mu}\left(1-e^{-2\xi}\right)^{\mu}e^{(\nu+(1/2))\xi}}\*\hyperOlverF@{\tfrac{1}{2}-\mu}{\tfrac{1}{2}+\nu-\mu}{1-2\mu}{e^{-2\xi}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>LegendreP(nu -(1)/(2), mu, cosh(xi)) = (GAMMA(1 - 2*mu)*(2)^(2*mu))/(GAMMA(1 - mu)*(1 - exp(- 2*xi))^(mu)* exp((nu +(1/2))*xi))* hypergeom([(1)/(2)- mu, (1)/(2)+ nu - mu], [1 - 2*mu], exp(- 2*xi))/GAMMA(1 - 2*mu)</syntaxhighlight> || <syntaxhighlight lang=mathematica>LegendreP[\[Nu]-Divide[1,2], \[Mu], 3, Cosh[\[Xi]]] == Divide[Gamma[1 - 2*\[Mu]]*(2)^(2*\[Mu]),Gamma[1 - \[Mu]]*(1 - Exp[- 2*\[Xi]])^\[Mu]* Exp[(\[Nu]+(1/2))*\[Xi]]]* Hypergeometric2F1Regularized[Divide[1,2]- \[Mu], Divide[1,2]+ \[Nu]- \[Mu], 1 - 2*\[Mu], Exp[- 2*\[Xi]]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .2738102545-.736850267e-1*I
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, xi = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 3.389539010-1.213206227*I
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, xi = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 3.389539010-1.213206227*I
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, xi = -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 [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.2738102549490508, -0.07368502759104012]
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, xi = -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 [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.2738102549490508, -0.07368502759104012]
Line 40: Line 40:
Test Values: {Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ξ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ξ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|-  
|-  
| [https://dlmf.nist.gov/14.19.E3 14.19.E3] || [[Item:Q4916|<math>\assLegendreOlverQ[\mu]{\nu-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\pi^{1/2}\left(1-e^{-2\xi}\right)^{\mu}}{e^{(\nu+(1/2))\xi}}\*\hyperOlverF@{\mu+\tfrac{1}{2}}{\nu+\mu+\tfrac{1}{2}}{\nu+1}{e^{-2\xi}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\assLegendreOlverQ[\mu]{\nu-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\pi^{1/2}\left(1-e^{-2\xi}\right)^{\mu}}{e^{(\nu+(1/2))\xi}}\*\hyperOlverF@{\mu+\tfrac{1}{2}}{\nu+\mu+\tfrac{1}{2}}{\nu+1}{e^{-2\xi}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>exp(-(mu)*Pi*I)*LegendreQ(nu -(1)/(2),mu,cosh(xi))/GAMMA(nu -(1)/(2)+mu+1) = ((Pi)^(1/2)*(1 - exp(- 2*xi))^(mu))/(exp((nu +(1/2))*xi))* hypergeom([mu +(1)/(2), nu + mu +(1)/(2)], [nu + 1], exp(- 2*xi))/GAMMA(nu + 1)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Exp[-(\[Mu]) Pi I] LegendreQ[\[Nu]-Divide[1,2], \[Mu], 3, Cosh[\[Xi]]]/Gamma[\[Nu]-Divide[1,2] + \[Mu] + 1] == Divide[(Pi)^(1/2)*(1 - Exp[- 2*\[Xi]])^\[Mu],Exp[(\[Nu]+(1/2))*\[Xi]]]* Hypergeometric2F1Regularized[\[Mu]+Divide[1,2], \[Nu]+ \[Mu]+Divide[1,2], \[Nu]+ 1, Exp[- 2*\[Xi]]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [20 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Float(undefined)+Float(undefined)*I
| [https://dlmf.nist.gov/14.19.E3 14.19.E3] || <math qid="Q4916">\assLegendreOlverQ[\mu]{\nu-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\pi^{1/2}\left(1-e^{-2\xi}\right)^{\mu}}{e^{(\nu+(1/2))\xi}}\*\hyperOlverF@{\mu+\tfrac{1}{2}}{\nu+\mu+\tfrac{1}{2}}{\nu+1}{e^{-2\xi}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\assLegendreOlverQ[\mu]{\nu-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\pi^{1/2}\left(1-e^{-2\xi}\right)^{\mu}}{e^{(\nu+(1/2))\xi}}\*\hyperOlverF@{\mu+\tfrac{1}{2}}{\nu+\mu+\tfrac{1}{2}}{\nu+1}{e^{-2\xi}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>exp(-(mu)*Pi*I)*LegendreQ(nu -(1)/(2),mu,cosh(xi))/GAMMA(nu -(1)/(2)+mu+1) = ((Pi)^(1/2)*(1 - exp(- 2*xi))^(mu))/(exp((nu +(1/2))*xi))* hypergeom([mu +(1)/(2), nu + mu +(1)/(2)], [nu + 1], exp(- 2*xi))/GAMMA(nu + 1)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Exp[-(\[Mu]) Pi I] LegendreQ[\[Nu]-Divide[1,2], \[Mu], 3, Cosh[\[Xi]]]/Gamma[\[Nu]-Divide[1,2] + \[Mu] + 1] == Divide[(Pi)^(1/2)*(1 - Exp[- 2*\[Xi]])^\[Mu],Exp[(\[Nu]+(1/2))*\[Xi]]]* Hypergeometric2F1Regularized[\[Mu]+Divide[1,2], \[Nu]+ \[Mu]+Divide[1,2], \[Nu]+ 1, Exp[- 2*\[Xi]]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [20 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Float(undefined)+Float(undefined)*I
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = -2, xi = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Float(undefined)+Float(undefined)*I
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = -2, xi = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Float(undefined)+Float(undefined)*I
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = -2, xi = 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 [10 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Indeterminate
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = -2, xi = 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 [10 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Indeterminate
Line 46: Line 46:
Test Values: {Rule[μ, -1.5], Rule[ν, -2], Rule[ξ, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[μ, -1.5], Rule[ν, -2], Rule[ξ, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|-  
|-  
| [https://dlmf.nist.gov/14.19.E4 14.19.E4] || [[Item:Q4917|<math>\assLegendreP[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{n+m+\frac{1}{2}}(\sinh@@{\xi})^{m}}{2^{m}\pi^{1/2}\EulerGamma@{n-m+\frac{1}{2}}\EulerGamma@{m+\frac{1}{2}}}\*\int_{0}^{\pi}\frac{(\sin@@{\phi})^{2m}}{(\cosh@@{\xi}+\cos@@{\phi}\sinh@@{\xi})^{n+m+(1/2)}}\diff{\phi}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\assLegendreP[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{n+m+\frac{1}{2}}(\sinh@@{\xi})^{m}}{2^{m}\pi^{1/2}\EulerGamma@{n-m+\frac{1}{2}}\EulerGamma@{m+\frac{1}{2}}}\*\int_{0}^{\pi}\frac{(\sin@@{\phi})^{2m}}{(\cosh@@{\xi}+\cos@@{\phi}\sinh@@{\xi})^{n+m+(1/2)}}\diff{\phi}</syntaxhighlight> || <math>\realpart@@{(n+m+\frac{1}{2})} > 0, \realpart@@{(n-m+\frac{1}{2})} > 0, \realpart@@{(m+\frac{1}{2})} > 0</math> || <syntaxhighlight lang=mathematica>LegendreP(n -(1)/(2), m, cosh(xi)) = (GAMMA(n + m +(1)/(2))*(sinh(xi))^(m))/((2)^(m)* (Pi)^(1/2)* GAMMA(n - m +(1)/(2))*GAMMA(m +(1)/(2)))* int(((sin(phi))^(2*m))/((cosh(xi)+ cos(phi)*sinh(xi))^(n + m +(1/2))), phi = 0..Pi)</syntaxhighlight> || <syntaxhighlight lang=mathematica>LegendreP[n -Divide[1,2], m, 3, Cosh[\[Xi]]] == Divide[Gamma[n + m +Divide[1,2]]*(Sinh[\[Xi]])^(m),(2)^(m)* (Pi)^(1/2)* Gamma[n - m +Divide[1,2]]*Gamma[m +Divide[1,2]]]* Integrate[Divide[(Sin[\[Phi]])^(2*m),(Cosh[\[Xi]]+ Cos[\[Phi]]*Sinh[\[Xi]])^(n + m +(1/2))], {\[Phi], 0, Pi}, GenerateConditions->None]</syntaxhighlight> || Failure || Aborted || Skipped - Because timed out || Skipped - Because timed out
| [https://dlmf.nist.gov/14.19.E4 14.19.E4] || <math qid="Q4917">\assLegendreP[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{n+m+\frac{1}{2}}(\sinh@@{\xi})^{m}}{2^{m}\pi^{1/2}\EulerGamma@{n-m+\frac{1}{2}}\EulerGamma@{m+\frac{1}{2}}}\*\int_{0}^{\pi}\frac{(\sin@@{\phi})^{2m}}{(\cosh@@{\xi}+\cos@@{\phi}\sinh@@{\xi})^{n+m+(1/2)}}\diff{\phi}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\assLegendreP[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{n+m+\frac{1}{2}}(\sinh@@{\xi})^{m}}{2^{m}\pi^{1/2}\EulerGamma@{n-m+\frac{1}{2}}\EulerGamma@{m+\frac{1}{2}}}\*\int_{0}^{\pi}\frac{(\sin@@{\phi})^{2m}}{(\cosh@@{\xi}+\cos@@{\phi}\sinh@@{\xi})^{n+m+(1/2)}}\diff{\phi}</syntaxhighlight> || <math>\realpart@@{(n+m+\frac{1}{2})} > 0, \realpart@@{(n-m+\frac{1}{2})} > 0, \realpart@@{(m+\frac{1}{2})} > 0</math> || <syntaxhighlight lang=mathematica>LegendreP(n -(1)/(2), m, cosh(xi)) = (GAMMA(n + m +(1)/(2))*(sinh(xi))^(m))/((2)^(m)* (Pi)^(1/2)* GAMMA(n - m +(1)/(2))*GAMMA(m +(1)/(2)))* int(((sin(phi))^(2*m))/((cosh(xi)+ cos(phi)*sinh(xi))^(n + m +(1/2))), phi = 0..Pi)</syntaxhighlight> || <syntaxhighlight lang=mathematica>LegendreP[n -Divide[1,2], m, 3, Cosh[\[Xi]]] == Divide[Gamma[n + m +Divide[1,2]]*(Sinh[\[Xi]])^(m),(2)^(m)* (Pi)^(1/2)* Gamma[n - m +Divide[1,2]]*Gamma[m +Divide[1,2]]]* Integrate[Divide[(Sin[\[Phi]])^(2*m),(Cosh[\[Xi]]+ Cos[\[Phi]]*Sinh[\[Xi]])^(n + m +(1/2))], {\[Phi], 0, Pi}, GenerateConditions->None]</syntaxhighlight> || Failure || Aborted || Skipped - Because timed out || Skipped - Because timed out
|-  
|-  
| [https://dlmf.nist.gov/14.19.E5 14.19.E5] || [[Item:Q4918|<math>\assLegendreOlverQ[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{n+\frac{1}{2}}}{\EulerGamma@{n+m+\tfrac{1}{2}}\EulerGamma@{n-m+\frac{1}{2}}}\*\int_{0}^{\infty}\frac{\cosh@{mt}}{(\cosh@@{\xi}+\cosh@@{t}\sinh@@{\xi})^{n+(1/2)}}\diff{t}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\assLegendreOlverQ[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{n+\frac{1}{2}}}{\EulerGamma@{n+m+\tfrac{1}{2}}\EulerGamma@{n-m+\frac{1}{2}}}\*\int_{0}^{\infty}\frac{\cosh@{mt}}{(\cosh@@{\xi}+\cosh@@{t}\sinh@@{\xi})^{n+(1/2)}}\diff{t}</syntaxhighlight> || <math>m < n+\tfrac{1}{2}, \realpart@@{(n+\frac{1}{2})} > 0, \realpart@@{(n+m+\tfrac{1}{2})} > 0, \realpart@@{(n-m+\frac{1}{2})} > 0</math> || <syntaxhighlight lang=mathematica>exp(-(m)*Pi*I)*LegendreQ(n -(1)/(2),m,cosh(xi))/GAMMA(n -(1)/(2)+m+1) = (GAMMA(n +(1)/(2)))/(GAMMA(n + m +(1)/(2))*GAMMA(n - m +(1)/(2)))* int((cosh(m*t))/((cosh(xi)+ cosh(t)*sinh(xi))^(n +(1/2))), t = 0..infinity)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Exp[-(m) Pi I] LegendreQ[n -Divide[1,2], m, 3, Cosh[\[Xi]]]/Gamma[n -Divide[1,2] + m + 1] == Divide[Gamma[n +Divide[1,2]],Gamma[n + m +Divide[1,2]]*Gamma[n - m +Divide[1,2]]]* Integrate[Divide[Cosh[m*t],(Cosh[\[Xi]]+ Cosh[t]*Sinh[\[Xi]])^(n +(1/2))], {t, 0, Infinity}, GenerateConditions->None]</syntaxhighlight> || Error || Aborted || - || Skipped - Because timed out
| [https://dlmf.nist.gov/14.19.E5 14.19.E5] || <math qid="Q4918">\assLegendreOlverQ[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{n+\frac{1}{2}}}{\EulerGamma@{n+m+\tfrac{1}{2}}\EulerGamma@{n-m+\frac{1}{2}}}\*\int_{0}^{\infty}\frac{\cosh@{mt}}{(\cosh@@{\xi}+\cosh@@{t}\sinh@@{\xi})^{n+(1/2)}}\diff{t}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\assLegendreOlverQ[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{n+\frac{1}{2}}}{\EulerGamma@{n+m+\tfrac{1}{2}}\EulerGamma@{n-m+\frac{1}{2}}}\*\int_{0}^{\infty}\frac{\cosh@{mt}}{(\cosh@@{\xi}+\cosh@@{t}\sinh@@{\xi})^{n+(1/2)}}\diff{t}</syntaxhighlight> || <math>m < n+\tfrac{1}{2}, \realpart@@{(n+\frac{1}{2})} > 0, \realpart@@{(n+m+\tfrac{1}{2})} > 0, \realpart@@{(n-m+\frac{1}{2})} > 0</math> || <syntaxhighlight lang=mathematica>exp(-(m)*Pi*I)*LegendreQ(n -(1)/(2),m,cosh(xi))/GAMMA(n -(1)/(2)+m+1) = (GAMMA(n +(1)/(2)))/(GAMMA(n + m +(1)/(2))*GAMMA(n - m +(1)/(2)))* int((cosh(m*t))/((cosh(xi)+ cosh(t)*sinh(xi))^(n +(1/2))), t = 0..infinity)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Exp[-(m) Pi I] LegendreQ[n -Divide[1,2], m, 3, Cosh[\[Xi]]]/Gamma[n -Divide[1,2] + m + 1] == Divide[Gamma[n +Divide[1,2]],Gamma[n + m +Divide[1,2]]*Gamma[n - m +Divide[1,2]]]* Integrate[Divide[Cosh[m*t],(Cosh[\[Xi]]+ Cosh[t]*Sinh[\[Xi]])^(n +(1/2))], {t, 0, Infinity}, GenerateConditions->None]</syntaxhighlight> || Error || Aborted || - || Skipped - Because timed out
|-  
|-  
| [https://dlmf.nist.gov/14.19.E6 14.19.E6] || [[Item:Q4919|<math>\assLegendreOlverQ[\mu]{-\frac{1}{2}}@{\cosh@@{\xi}}+2\sum_{n=1}^{\infty}\frac{\EulerGamma@{\mu+n+\tfrac{1}{2}}}{\EulerGamma@{\mu+\tfrac{1}{2}}}\assLegendreOlverQ[\mu]{n-\frac{1}{2}}@{\cosh@@{\xi}}\cos@{n\phi} = \dfrac{\left(\frac{1}{2}\pi\right)^{1/2}\left(\sinh@@{\xi}\right)^{\mu}}{\left(\cosh@@{\xi}-\cos@@{\phi}\right)^{\mu+(1/2)}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\assLegendreOlverQ[\mu]{-\frac{1}{2}}@{\cosh@@{\xi}}+2\sum_{n=1}^{\infty}\frac{\EulerGamma@{\mu+n+\tfrac{1}{2}}}{\EulerGamma@{\mu+\tfrac{1}{2}}}\assLegendreOlverQ[\mu]{n-\frac{1}{2}}@{\cosh@@{\xi}}\cos@{n\phi} = \dfrac{\left(\frac{1}{2}\pi\right)^{1/2}\left(\sinh@@{\xi}\right)^{\mu}}{\left(\cosh@@{\xi}-\cos@@{\phi}\right)^{\mu+(1/2)}}</syntaxhighlight> || <math>\realpart@@{\mu} > -\tfrac{1}{2}, \realpart@@{(\mu+n+\tfrac{1}{2})} > 0, \realpart@@{(\mu+\tfrac{1}{2})} > 0</math> || <syntaxhighlight lang=mathematica>exp(-(mu)*Pi*I)*LegendreQ(-(1)/(2),mu,cosh(xi))/GAMMA(-(1)/(2)+mu+1)+ 2*sum((GAMMA(mu + n +(1)/(2)))/(GAMMA(mu +(1)/(2)))*exp(-(mu)*Pi*I)*LegendreQ(n -(1)/(2),mu,cosh(xi))/GAMMA(n -(1)/(2)+mu+1)*cos(n*phi), n = 1..infinity) = (((1)/(2)*Pi)^(1/2)*(sinh(xi))^(mu))/((cosh(xi)- cos(phi))^(mu +(1/2)))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Exp[-(\[Mu]) Pi I] LegendreQ[-Divide[1,2], \[Mu], 3, Cosh[\[Xi]]]/Gamma[-Divide[1,2] + \[Mu] + 1]+ 2*Sum[Divide[Gamma[\[Mu]+ n +Divide[1,2]],Gamma[\[Mu]+Divide[1,2]]]*Exp[-(\[Mu]) Pi I] LegendreQ[n -Divide[1,2], \[Mu], 3, Cosh[\[Xi]]]/Gamma[n -Divide[1,2] + \[Mu] + 1]*Cos[n*\[Phi]], {n, 1, Infinity}, GenerateConditions->None] == Divide[(Divide[1,2]*Pi)^(1/2)*(Sinh[\[Xi]])^\[Mu],(Cosh[\[Xi]]- Cos[\[Phi]])^(\[Mu]+(1/2))]</syntaxhighlight> || Failure || Failure || Skipped - Because timed out || Skipped - Because timed out
| [https://dlmf.nist.gov/14.19.E6 14.19.E6] || <math qid="Q4919">\assLegendreOlverQ[\mu]{-\frac{1}{2}}@{\cosh@@{\xi}}+2\sum_{n=1}^{\infty}\frac{\EulerGamma@{\mu+n+\tfrac{1}{2}}}{\EulerGamma@{\mu+\tfrac{1}{2}}}\assLegendreOlverQ[\mu]{n-\frac{1}{2}}@{\cosh@@{\xi}}\cos@{n\phi} = \dfrac{\left(\frac{1}{2}\pi\right)^{1/2}\left(\sinh@@{\xi}\right)^{\mu}}{\left(\cosh@@{\xi}-\cos@@{\phi}\right)^{\mu+(1/2)}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\assLegendreOlverQ[\mu]{-\frac{1}{2}}@{\cosh@@{\xi}}+2\sum_{n=1}^{\infty}\frac{\EulerGamma@{\mu+n+\tfrac{1}{2}}}{\EulerGamma@{\mu+\tfrac{1}{2}}}\assLegendreOlverQ[\mu]{n-\frac{1}{2}}@{\cosh@@{\xi}}\cos@{n\phi} = \dfrac{\left(\frac{1}{2}\pi\right)^{1/2}\left(\sinh@@{\xi}\right)^{\mu}}{\left(\cosh@@{\xi}-\cos@@{\phi}\right)^{\mu+(1/2)}}</syntaxhighlight> || <math>\realpart@@{\mu} > -\tfrac{1}{2}, \realpart@@{(\mu+n+\tfrac{1}{2})} > 0, \realpart@@{(\mu+\tfrac{1}{2})} > 0</math> || <syntaxhighlight lang=mathematica>exp(-(mu)*Pi*I)*LegendreQ(-(1)/(2),mu,cosh(xi))/GAMMA(-(1)/(2)+mu+1)+ 2*sum((GAMMA(mu + n +(1)/(2)))/(GAMMA(mu +(1)/(2)))*exp(-(mu)*Pi*I)*LegendreQ(n -(1)/(2),mu,cosh(xi))/GAMMA(n -(1)/(2)+mu+1)*cos(n*phi), n = 1..infinity) = (((1)/(2)*Pi)^(1/2)*(sinh(xi))^(mu))/((cosh(xi)- cos(phi))^(mu +(1/2)))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Exp[-(\[Mu]) Pi I] LegendreQ[-Divide[1,2], \[Mu], 3, Cosh[\[Xi]]]/Gamma[-Divide[1,2] + \[Mu] + 1]+ 2*Sum[Divide[Gamma[\[Mu]+ n +Divide[1,2]],Gamma[\[Mu]+Divide[1,2]]]*Exp[-(\[Mu]) Pi I] LegendreQ[n -Divide[1,2], \[Mu], 3, Cosh[\[Xi]]]/Gamma[n -Divide[1,2] + \[Mu] + 1]*Cos[n*\[Phi]], {n, 1, Infinity}, GenerateConditions->None] == Divide[(Divide[1,2]*Pi)^(1/2)*(Sinh[\[Xi]])^\[Mu],(Cosh[\[Xi]]- Cos[\[Phi]])^(\[Mu]+(1/2))]</syntaxhighlight> || Failure || Failure || Skipped - Because timed out || Skipped - Because timed out
|-  
|-  
| [https://dlmf.nist.gov/14.19.E7 14.19.E7] || [[Item:Q4920|<math>\assLegendreP[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{n+m+\tfrac{1}{2}}}{\EulerGamma@{n-m+\tfrac{1}{2}}}\*\left(\frac{2}{\pi\sinh@@{\xi}}\right)^{1/2}\assLegendreOlverQ[n]{m-\frac{1}{2}}@{\coth@@{\xi}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\assLegendreP[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{n+m+\tfrac{1}{2}}}{\EulerGamma@{n-m+\tfrac{1}{2}}}\*\left(\frac{2}{\pi\sinh@@{\xi}}\right)^{1/2}\assLegendreOlverQ[n]{m-\frac{1}{2}}@{\coth@@{\xi}}</syntaxhighlight> || <math>\realpart@@{(n+m+\tfrac{1}{2})} > 0, \realpart@@{(n-m+\tfrac{1}{2})} > 0</math> || <syntaxhighlight lang=mathematica>LegendreP(n -(1)/(2), m, cosh(xi)) = (GAMMA(n + m +(1)/(2)))/(GAMMA(n - m +(1)/(2)))*((2)/(Pi*sinh(xi)))^(1/2)* exp(-(n)*Pi*I)*LegendreQ(m -(1)/(2),n,coth(xi))/GAMMA(m -(1)/(2)+n+1)</syntaxhighlight> || <syntaxhighlight lang=mathematica>LegendreP[n -Divide[1,2], m, 3, Cosh[\[Xi]]] == Divide[Gamma[n + m +Divide[1,2]],Gamma[n - m +Divide[1,2]]]*(Divide[2,Pi*Sinh[\[Xi]]])^(1/2)* Exp[-(n) Pi I] LegendreQ[m -Divide[1,2], n, 3, Coth[\[Xi]]]/Gamma[m -Divide[1,2] + n + 1]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [20 / 60]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .3683324082-.6470690126*I
| [https://dlmf.nist.gov/14.19.E7 14.19.E7] || <math qid="Q4920">\assLegendreP[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{n+m+\tfrac{1}{2}}}{\EulerGamma@{n-m+\tfrac{1}{2}}}\*\left(\frac{2}{\pi\sinh@@{\xi}}\right)^{1/2}\assLegendreOlverQ[n]{m-\frac{1}{2}}@{\coth@@{\xi}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\assLegendreP[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{n+m+\tfrac{1}{2}}}{\EulerGamma@{n-m+\tfrac{1}{2}}}\*\left(\frac{2}{\pi\sinh@@{\xi}}\right)^{1/2}\assLegendreOlverQ[n]{m-\frac{1}{2}}@{\coth@@{\xi}}</syntaxhighlight> || <math>\realpart@@{(n+m+\tfrac{1}{2})} > 0, \realpart@@{(n-m+\tfrac{1}{2})} > 0</math> || <syntaxhighlight lang=mathematica>LegendreP(n -(1)/(2), m, cosh(xi)) = (GAMMA(n + m +(1)/(2)))/(GAMMA(n - m +(1)/(2)))*((2)/(Pi*sinh(xi)))^(1/2)* exp(-(n)*Pi*I)*LegendreQ(m -(1)/(2),n,coth(xi))/GAMMA(m -(1)/(2)+n+1)</syntaxhighlight> || <syntaxhighlight lang=mathematica>LegendreP[n -Divide[1,2], m, 3, Cosh[\[Xi]]] == Divide[Gamma[n + m +Divide[1,2]],Gamma[n - m +Divide[1,2]]]*(Divide[2,Pi*Sinh[\[Xi]]])^(1/2)* Exp[-(n) Pi I] LegendreQ[m -Divide[1,2], n, 3, Coth[\[Xi]]]/Gamma[m -Divide[1,2] + n + 1]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [20 / 60]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .3683324082-.6470690126*I
Test Values: {xi = -1/2+1/2*I*3^(1/2), m = 1, n = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .5135733695-3.117174531*I
Test Values: {xi = -1/2+1/2*I*3^(1/2), m = 1, n = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .5135733695-3.117174531*I
Test Values: {xi = -1/2+1/2*I*3^(1/2), m = 1, n = 2}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [20 / 60]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.36833240837635506, -0.6470690125104284]
Test Values: {xi = -1/2+1/2*I*3^(1/2), m = 1, n = 2}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [20 / 60]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.36833240837635506, -0.6470690125104284]
Line 58: Line 58:
Test Values: {Rule[m, 1], Rule[n, 2], Rule[ξ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[m, 1], Rule[n, 2], Rule[ξ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|-  
|-  
| [https://dlmf.nist.gov/14.19.E8 14.19.E8] || [[Item:Q4921|<math>\assLegendreOlverQ[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{m-n+\tfrac{1}{2}}}{\EulerGamma@{m+n+\tfrac{1}{2}}}\*\left(\frac{\pi}{2\sinh@@{\xi}}\right)^{1/2}\assLegendreP[n]{m-\frac{1}{2}}@{\coth@@{\xi}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\assLegendreOlverQ[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{m-n+\tfrac{1}{2}}}{\EulerGamma@{m+n+\tfrac{1}{2}}}\*\left(\frac{\pi}{2\sinh@@{\xi}}\right)^{1/2}\assLegendreP[n]{m-\frac{1}{2}}@{\coth@@{\xi}}</syntaxhighlight> || <math>\realpart@@{(m-n+\tfrac{1}{2})} > 0, \realpart@@{(m+n+\tfrac{1}{2})} > 0</math> || <syntaxhighlight lang=mathematica>exp(-(m)*Pi*I)*LegendreQ(n -(1)/(2),m,cosh(xi))/GAMMA(n -(1)/(2)+m+1) = (GAMMA(m - n +(1)/(2)))/(GAMMA(m + n +(1)/(2)))*((Pi)/(2*sinh(xi)))^(1/2)* LegendreP(m -(1)/(2), n, coth(xi))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Exp[-(m) Pi I] LegendreQ[n -Divide[1,2], m, 3, Cosh[\[Xi]]]/Gamma[n -Divide[1,2] + m + 1] == Divide[Gamma[m - n +Divide[1,2]],Gamma[m + n +Divide[1,2]]]*(Divide[Pi,2*Sinh[\[Xi]]])^(1/2)* LegendreP[m -Divide[1,2], n, 3, Coth[\[Xi]]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [30 / 60]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .7427758821+1.946023521*I
| [https://dlmf.nist.gov/14.19.E8 14.19.E8] || <math qid="Q4921">\assLegendreOlverQ[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{m-n+\tfrac{1}{2}}}{\EulerGamma@{m+n+\tfrac{1}{2}}}\*\left(\frac{\pi}{2\sinh@@{\xi}}\right)^{1/2}\assLegendreP[n]{m-\frac{1}{2}}@{\coth@@{\xi}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\assLegendreOlverQ[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{m-n+\tfrac{1}{2}}}{\EulerGamma@{m+n+\tfrac{1}{2}}}\*\left(\frac{\pi}{2\sinh@@{\xi}}\right)^{1/2}\assLegendreP[n]{m-\frac{1}{2}}@{\coth@@{\xi}}</syntaxhighlight> || <math>\realpart@@{(m-n+\tfrac{1}{2})} > 0, \realpart@@{(m+n+\tfrac{1}{2})} > 0</math> || <syntaxhighlight lang=mathematica>exp(-(m)*Pi*I)*LegendreQ(n -(1)/(2),m,cosh(xi))/GAMMA(n -(1)/(2)+m+1) = (GAMMA(m - n +(1)/(2)))/(GAMMA(m + n +(1)/(2)))*((Pi)/(2*sinh(xi)))^(1/2)* LegendreP(m -(1)/(2), n, coth(xi))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Exp[-(m) Pi I] LegendreQ[n -Divide[1,2], m, 3, Cosh[\[Xi]]]/Gamma[n -Divide[1,2] + m + 1] == Divide[Gamma[m - n +Divide[1,2]],Gamma[m + n +Divide[1,2]]]*(Divide[Pi,2*Sinh[\[Xi]]])^(1/2)* LegendreP[m -Divide[1,2], n, 3, Coth[\[Xi]]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [30 / 60]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .7427758821+1.946023521*I
Test Values: {xi = -1/2+1/2*I*3^(1/2), m = 1, n = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.1057063209+.477539648e-1*I
Test Values: {xi = -1/2+1/2*I*3^(1/2), m = 1, n = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.1057063209+.477539648e-1*I
Test Values: {xi = -1/2+1/2*I*3^(1/2), m = 2, n = 1}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [30 / 60]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.7427758815190426, 1.9460235199869547]
Test Values: {xi = -1/2+1/2*I*3^(1/2), m = 2, n = 1}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [30 / 60]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.7427758815190426, 1.9460235199869547]

Latest revision as of 12:37, 28 June 2021


DLMF Formula Constraints Maple Mathematica Symbolic
Maple
Symbolic
Mathematica
Numeric
Maple
Numeric
Mathematica
14.19#Ex1 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle x = \frac{c\sinh@@{\eta}\cos@@{\phi}}{\cosh@@{\eta}-\cos@@{\theta}}}
x = \frac{c\sinh@@{\eta}\cos@@{\phi}}{\cosh@@{\eta}-\cos@@{\theta}}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle }
x = (c*sinh(eta)*cos(phi))/(cosh(eta)- cos(theta))
x == Divide[c*Sinh[\[Eta]]*Cos[\[Phi]],Cosh[\[Eta]]- Cos[\[Theta]]]
Failure Failure
Failed [300 / 300]
Result: 2.362573279-1.052377925*I
Test Values: {c = -3/2, eta = 1/2*3^(1/2)+1/2*I, phi = 1/2*3^(1/2)+1/2*I, theta = 1/2*3^(1/2)+1/2*I, x = 3/2}

Result: 1.362573279-1.052377925*I
Test Values: {c = -3/2, eta = 1/2*3^(1/2)+1/2*I, phi = 1/2*3^(1/2)+1/2*I, theta = 1/2*3^(1/2)+1/2*I, x = 1/2}

... skip entries to safe data
Failed [300 / 300]
Result: Complex[2.3625732791062704, -1.0523779253990262]
Test Values: {Rule[c, -1.5], Rule[x, 1.5], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ϕ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

Result: Complex[3.6505283543319873, -0.046280887188208775]
Test Values: {Rule[c, -1.5], Rule[x, 1.5], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ϕ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}

... skip entries to safe data
14.19#Ex2 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle y = \frac{c\sinh@@{\eta}\sin@@{\phi}}{\cosh@@{\eta}-\cos@@{\theta}}}
y = \frac{c\sinh@@{\eta}\sin@@{\phi}}{\cosh@@{\eta}-\cos@@{\theta}}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle }
y = (c*sinh(eta)*sin(phi))/(cosh(eta)- cos(theta))
y == Divide[c*Sinh[\[Eta]]*Sin[\[Phi]],Cosh[\[Eta]]- Cos[\[Theta]]]
Failure Failure
Failed [300 / 300]
Result: .10381346e-1-.1810305231e-1*I
Test Values: {c = -3/2, eta = 1/2*3^(1/2)+1/2*I, phi = 1/2*3^(1/2)+1/2*I, theta = 1/2*3^(1/2)+1/2*I, y = -3/2}

Result: 3.010381346-.1810305231e-1*I
Test Values: {c = -3/2, eta = 1/2*3^(1/2)+1/2*I, phi = 1/2*3^(1/2)+1/2*I, theta = 1/2*3^(1/2)+1/2*I, y = 3/2}

... skip entries to safe data
Failed [300 / 300]
Result: Complex[0.010381344893815037, -0.01810305210999985]
Test Values: {Rule[c, -1.5], Rule[y, -1.5], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ϕ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

Result: Complex[-1.9871098783639947, 1.7153567749591236]
Test Values: {Rule[c, -1.5], Rule[y, -1.5], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ϕ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}

... skip entries to safe data
14.19#Ex3 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle z = \frac{c\sin@@{\theta}}{\cosh@@{\eta}-\cos@@{\theta}}}
z = \frac{c\sin@@{\theta}}{\cosh@@{\eta}-\cos@@{\theta}}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle }
z = (c*sin(theta))/(cosh(eta)- cos(theta))
z == Divide[c*Sin[\[Theta]],Cosh[\[Eta]]- Cos[\[Theta]]]
Failure Failure
Failed [300 / 300]
Result: 1.948230727-.3664573554*I
Test Values: {c = -3/2, eta = 1/2*3^(1/2)+1/2*I, theta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}

Result: .5822053230-.4319514e-3*I
Test Values: {c = -3/2, eta = 1/2*3^(1/2)+1/2*I, theta = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}

... skip entries to safe data
Failed [300 / 300]
Result: Complex[1.948230726846754, -0.366457355462031]
Test Values: {Rule[c, -1.5], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

Result: Complex[7.733911995808641*^15, 6.041410995179728*^15]
Test Values: {Rule[c, -1.5], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[θ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}

... skip entries to safe data
14.19.E2 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \assLegendreP[\mu]{\nu-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{\frac{1}{2}-\mu}}{\pi^{1/2}\left(1-e^{-2\xi}\right)^{\mu}e^{(\nu+(1/2))\xi}}\*\hyperOlverF@{\tfrac{1}{2}-\mu}{\tfrac{1}{2}+\nu-\mu}{1-2\mu}{1-e^{-2\xi}}}
\assLegendreP[\mu]{\nu-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{\frac{1}{2}-\mu}}{\pi^{1/2}\left(1-e^{-2\xi}\right)^{\mu}e^{(\nu+(1/2))\xi}}\*\hyperOlverF@{\tfrac{1}{2}-\mu}{\tfrac{1}{2}+\nu-\mu}{1-2\mu}{1-e^{-2\xi}}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \mu \neq \frac{1}{2}, \realpart@@{(\frac{1}{2}-\mu)} > 0}
LegendreP(nu -(1)/(2), mu, cosh(xi)) = (GAMMA((1)/(2)- mu))/((Pi)^(1/2)*(1 - exp(- 2*xi))^(mu)* exp((nu +(1/2))*xi))* hypergeom([(1)/(2)- mu, (1)/(2)+ nu - mu], [1 - 2*mu], 1 - exp(- 2*xi))/GAMMA(1 - 2*mu)
LegendreP[\[Nu]-Divide[1,2], \[Mu], 3, Cosh[\[Xi]]] == Divide[Gamma[Divide[1,2]- \[Mu]],(Pi)^(1/2)*(1 - Exp[- 2*\[Xi]])^\[Mu]* Exp[(\[Nu]+(1/2))*\[Xi]]]* Hypergeometric2F1Regularized[Divide[1,2]- \[Mu], Divide[1,2]+ \[Nu]- \[Mu], 1 - 2*\[Mu], 1 - Exp[- 2*\[Xi]]]
Aborted Failure Successful [Tested: 200] Successful [Tested: 200]
14.19#Ex4 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \assLegendreP[\mu]{\nu-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{1-2\mu}2^{2\mu}}{\EulerGamma@{1-\mu}\left(1-e^{-2\xi}\right)^{\mu}e^{(\nu+(1/2))\xi}}\*\hyperOlverF@{\tfrac{1}{2}-\mu}{\tfrac{1}{2}+\nu-\mu}{1-2\mu}{e^{-2\xi}}}
\assLegendreP[\mu]{\nu-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{1-2\mu}2^{2\mu}}{\EulerGamma@{1-\mu}\left(1-e^{-2\xi}\right)^{\mu}e^{(\nu+(1/2))\xi}}\*\hyperOlverF@{\tfrac{1}{2}-\mu}{\tfrac{1}{2}+\nu-\mu}{1-2\mu}{e^{-2\xi}}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle }
LegendreP(nu -(1)/(2), mu, cosh(xi)) = (GAMMA(1 - 2*mu)*(2)^(2*mu))/(GAMMA(1 - mu)*(1 - exp(- 2*xi))^(mu)* exp((nu +(1/2))*xi))* hypergeom([(1)/(2)- mu, (1)/(2)+ nu - mu], [1 - 2*mu], exp(- 2*xi))/GAMMA(1 - 2*mu)
LegendreP[\[Nu]-Divide[1,2], \[Mu], 3, Cosh[\[Xi]]] == Divide[Gamma[1 - 2*\[Mu]]*(2)^(2*\[Mu]),Gamma[1 - \[Mu]]*(1 - Exp[- 2*\[Xi]])^\[Mu]* Exp[(\[Nu]+(1/2))*\[Xi]]]* Hypergeometric2F1Regularized[Divide[1,2]- \[Mu], Divide[1,2]+ \[Nu]- \[Mu], 1 - 2*\[Mu], Exp[- 2*\[Xi]]]
Failure Failure
Failed [300 / 300]
Result: .2738102545-.736850267e-1*I
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, xi = 1/2*3^(1/2)+1/2*I}

Result: 3.389539010-1.213206227*I
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, xi = -1/2+1/2*I*3^(1/2)}

... skip entries to safe data
Failed [300 / 300]
Result: Complex[0.2738102549490508, -0.07368502759104012]
Test Values: {Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ξ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

Result: Complex[3.38953901122763, -1.2132062234978649]
Test Values: {Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ξ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}

... skip entries to safe data
14.19.E3 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \assLegendreOlverQ[\mu]{\nu-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\pi^{1/2}\left(1-e^{-2\xi}\right)^{\mu}}{e^{(\nu+(1/2))\xi}}\*\hyperOlverF@{\mu+\tfrac{1}{2}}{\nu+\mu+\tfrac{1}{2}}{\nu+1}{e^{-2\xi}}}
\assLegendreOlverQ[\mu]{\nu-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\pi^{1/2}\left(1-e^{-2\xi}\right)^{\mu}}{e^{(\nu+(1/2))\xi}}\*\hyperOlverF@{\mu+\tfrac{1}{2}}{\nu+\mu+\tfrac{1}{2}}{\nu+1}{e^{-2\xi}}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle }
exp(-(mu)*Pi*I)*LegendreQ(nu -(1)/(2),mu,cosh(xi))/GAMMA(nu -(1)/(2)+mu+1) = ((Pi)^(1/2)*(1 - exp(- 2*xi))^(mu))/(exp((nu +(1/2))*xi))* hypergeom([mu +(1)/(2), nu + mu +(1)/(2)], [nu + 1], exp(- 2*xi))/GAMMA(nu + 1)
Exp[-(\[Mu]) Pi I] LegendreQ[\[Nu]-Divide[1,2], \[Mu], 3, Cosh[\[Xi]]]/Gamma[\[Nu]-Divide[1,2] + \[Mu] + 1] == Divide[(Pi)^(1/2)*(1 - Exp[- 2*\[Xi]])^\[Mu],Exp[(\[Nu]+(1/2))*\[Xi]]]* Hypergeometric2F1Regularized[\[Mu]+Divide[1,2], \[Nu]+ \[Mu]+Divide[1,2], \[Nu]+ 1, Exp[- 2*\[Xi]]]
Failure Failure
Failed [20 / 300]
Result: Float(undefined)+Float(undefined)*I
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = -2, xi = 1/2*3^(1/2)+1/2*I}

Result: Float(undefined)+Float(undefined)*I
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = -2, xi = 1/2-1/2*I*3^(1/2)}

... skip entries to safe data
Failed [10 / 300]
Result: Indeterminate
Test Values: {Rule[μ, -1.5], Rule[ν, -2], Rule[ξ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

Result: Indeterminate
Test Values: {Rule[μ, -1.5], Rule[ν, -2], Rule[ξ, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]]]}

... skip entries to safe data
14.19.E4 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \assLegendreP[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{n+m+\frac{1}{2}}(\sinh@@{\xi})^{m}}{2^{m}\pi^{1/2}\EulerGamma@{n-m+\frac{1}{2}}\EulerGamma@{m+\frac{1}{2}}}\*\int_{0}^{\pi}\frac{(\sin@@{\phi})^{2m}}{(\cosh@@{\xi}+\cos@@{\phi}\sinh@@{\xi})^{n+m+(1/2)}}\diff{\phi}}
\assLegendreP[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{n+m+\frac{1}{2}}(\sinh@@{\xi})^{m}}{2^{m}\pi^{1/2}\EulerGamma@{n-m+\frac{1}{2}}\EulerGamma@{m+\frac{1}{2}}}\*\int_{0}^{\pi}\frac{(\sin@@{\phi})^{2m}}{(\cosh@@{\xi}+\cos@@{\phi}\sinh@@{\xi})^{n+m+(1/2)}}\diff{\phi}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(n+m+\frac{1}{2})} > 0, \realpart@@{(n-m+\frac{1}{2})} > 0, \realpart@@{(m+\frac{1}{2})} > 0}
LegendreP(n -(1)/(2), m, cosh(xi)) = (GAMMA(n + m +(1)/(2))*(sinh(xi))^(m))/((2)^(m)* (Pi)^(1/2)* GAMMA(n - m +(1)/(2))*GAMMA(m +(1)/(2)))* int(((sin(phi))^(2*m))/((cosh(xi)+ cos(phi)*sinh(xi))^(n + m +(1/2))), phi = 0..Pi)
LegendreP[n -Divide[1,2], m, 3, Cosh[\[Xi]]] == Divide[Gamma[n + m +Divide[1,2]]*(Sinh[\[Xi]])^(m),(2)^(m)* (Pi)^(1/2)* Gamma[n - m +Divide[1,2]]*Gamma[m +Divide[1,2]]]* Integrate[Divide[(Sin[\[Phi]])^(2*m),(Cosh[\[Xi]]+ Cos[\[Phi]]*Sinh[\[Xi]])^(n + m +(1/2))], {\[Phi], 0, Pi}, GenerateConditions->None]
Failure Aborted Skipped - Because timed out Skipped - Because timed out
14.19.E5 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \assLegendreOlverQ[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{n+\frac{1}{2}}}{\EulerGamma@{n+m+\tfrac{1}{2}}\EulerGamma@{n-m+\frac{1}{2}}}\*\int_{0}^{\infty}\frac{\cosh@{mt}}{(\cosh@@{\xi}+\cosh@@{t}\sinh@@{\xi})^{n+(1/2)}}\diff{t}}
\assLegendreOlverQ[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{n+\frac{1}{2}}}{\EulerGamma@{n+m+\tfrac{1}{2}}\EulerGamma@{n-m+\frac{1}{2}}}\*\int_{0}^{\infty}\frac{\cosh@{mt}}{(\cosh@@{\xi}+\cosh@@{t}\sinh@@{\xi})^{n+(1/2)}}\diff{t}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle m < n+\tfrac{1}{2}, \realpart@@{(n+\frac{1}{2})} > 0, \realpart@@{(n+m+\tfrac{1}{2})} > 0, \realpart@@{(n-m+\frac{1}{2})} > 0}
exp(-(m)*Pi*I)*LegendreQ(n -(1)/(2),m,cosh(xi))/GAMMA(n -(1)/(2)+m+1) = (GAMMA(n +(1)/(2)))/(GAMMA(n + m +(1)/(2))*GAMMA(n - m +(1)/(2)))* int((cosh(m*t))/((cosh(xi)+ cosh(t)*sinh(xi))^(n +(1/2))), t = 0..infinity)
Exp[-(m) Pi I] LegendreQ[n -Divide[1,2], m, 3, Cosh[\[Xi]]]/Gamma[n -Divide[1,2] + m + 1] == Divide[Gamma[n +Divide[1,2]],Gamma[n + m +Divide[1,2]]*Gamma[n - m +Divide[1,2]]]* Integrate[Divide[Cosh[m*t],(Cosh[\[Xi]]+ Cosh[t]*Sinh[\[Xi]])^(n +(1/2))], {t, 0, Infinity}, GenerateConditions->None]
Error Aborted - Skipped - Because timed out
14.19.E6 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \assLegendreOlverQ[\mu]{-\frac{1}{2}}@{\cosh@@{\xi}}+2\sum_{n=1}^{\infty}\frac{\EulerGamma@{\mu+n+\tfrac{1}{2}}}{\EulerGamma@{\mu+\tfrac{1}{2}}}\assLegendreOlverQ[\mu]{n-\frac{1}{2}}@{\cosh@@{\xi}}\cos@{n\phi} = \dfrac{\left(\frac{1}{2}\pi\right)^{1/2}\left(\sinh@@{\xi}\right)^{\mu}}{\left(\cosh@@{\xi}-\cos@@{\phi}\right)^{\mu+(1/2)}}}
\assLegendreOlverQ[\mu]{-\frac{1}{2}}@{\cosh@@{\xi}}+2\sum_{n=1}^{\infty}\frac{\EulerGamma@{\mu+n+\tfrac{1}{2}}}{\EulerGamma@{\mu+\tfrac{1}{2}}}\assLegendreOlverQ[\mu]{n-\frac{1}{2}}@{\cosh@@{\xi}}\cos@{n\phi} = \dfrac{\left(\frac{1}{2}\pi\right)^{1/2}\left(\sinh@@{\xi}\right)^{\mu}}{\left(\cosh@@{\xi}-\cos@@{\phi}\right)^{\mu+(1/2)}}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{\mu} > -\tfrac{1}{2}, \realpart@@{(\mu+n+\tfrac{1}{2})} > 0, \realpart@@{(\mu+\tfrac{1}{2})} > 0}
exp(-(mu)*Pi*I)*LegendreQ(-(1)/(2),mu,cosh(xi))/GAMMA(-(1)/(2)+mu+1)+ 2*sum((GAMMA(mu + n +(1)/(2)))/(GAMMA(mu +(1)/(2)))*exp(-(mu)*Pi*I)*LegendreQ(n -(1)/(2),mu,cosh(xi))/GAMMA(n -(1)/(2)+mu+1)*cos(n*phi), n = 1..infinity) = (((1)/(2)*Pi)^(1/2)*(sinh(xi))^(mu))/((cosh(xi)- cos(phi))^(mu +(1/2)))
Exp[-(\[Mu]) Pi I] LegendreQ[-Divide[1,2], \[Mu], 3, Cosh[\[Xi]]]/Gamma[-Divide[1,2] + \[Mu] + 1]+ 2*Sum[Divide[Gamma[\[Mu]+ n +Divide[1,2]],Gamma[\[Mu]+Divide[1,2]]]*Exp[-(\[Mu]) Pi I] LegendreQ[n -Divide[1,2], \[Mu], 3, Cosh[\[Xi]]]/Gamma[n -Divide[1,2] + \[Mu] + 1]*Cos[n*\[Phi]], {n, 1, Infinity}, GenerateConditions->None] == Divide[(Divide[1,2]*Pi)^(1/2)*(Sinh[\[Xi]])^\[Mu],(Cosh[\[Xi]]- Cos[\[Phi]])^(\[Mu]+(1/2))]
Failure Failure Skipped - Because timed out Skipped - Because timed out
14.19.E7 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \assLegendreP[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{n+m+\tfrac{1}{2}}}{\EulerGamma@{n-m+\tfrac{1}{2}}}\*\left(\frac{2}{\pi\sinh@@{\xi}}\right)^{1/2}\assLegendreOlverQ[n]{m-\frac{1}{2}}@{\coth@@{\xi}}}
\assLegendreP[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{n+m+\tfrac{1}{2}}}{\EulerGamma@{n-m+\tfrac{1}{2}}}\*\left(\frac{2}{\pi\sinh@@{\xi}}\right)^{1/2}\assLegendreOlverQ[n]{m-\frac{1}{2}}@{\coth@@{\xi}}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(n+m+\tfrac{1}{2})} > 0, \realpart@@{(n-m+\tfrac{1}{2})} > 0}
LegendreP(n -(1)/(2), m, cosh(xi)) = (GAMMA(n + m +(1)/(2)))/(GAMMA(n - m +(1)/(2)))*((2)/(Pi*sinh(xi)))^(1/2)* exp(-(n)*Pi*I)*LegendreQ(m -(1)/(2),n,coth(xi))/GAMMA(m -(1)/(2)+n+1)
LegendreP[n -Divide[1,2], m, 3, Cosh[\[Xi]]] == Divide[Gamma[n + m +Divide[1,2]],Gamma[n - m +Divide[1,2]]]*(Divide[2,Pi*Sinh[\[Xi]]])^(1/2)* Exp[-(n) Pi I] LegendreQ[m -Divide[1,2], n, 3, Coth[\[Xi]]]/Gamma[m -Divide[1,2] + n + 1]
Failure Failure
Failed [20 / 60]
Result: .3683324082-.6470690126*I
Test Values: {xi = -1/2+1/2*I*3^(1/2), m = 1, n = 1}

Result: .5135733695-3.117174531*I
Test Values: {xi = -1/2+1/2*I*3^(1/2), m = 1, n = 2}

... skip entries to safe data
Failed [20 / 60]
Result: Complex[0.36833240837635506, -0.6470690125104284]
Test Values: {Rule[m, 1], Rule[n, 1], Rule[ξ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}

Result: Complex[0.5135733718660924, -3.117174532097865]
Test Values: {Rule[m, 1], Rule[n, 2], Rule[ξ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}

... skip entries to safe data
14.19.E8 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \assLegendreOlverQ[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{m-n+\tfrac{1}{2}}}{\EulerGamma@{m+n+\tfrac{1}{2}}}\*\left(\frac{\pi}{2\sinh@@{\xi}}\right)^{1/2}\assLegendreP[n]{m-\frac{1}{2}}@{\coth@@{\xi}}}
\assLegendreOlverQ[m]{n-\frac{1}{2}}@{\cosh@@{\xi}} = \frac{\EulerGamma@{m-n+\tfrac{1}{2}}}{\EulerGamma@{m+n+\tfrac{1}{2}}}\*\left(\frac{\pi}{2\sinh@@{\xi}}\right)^{1/2}\assLegendreP[n]{m-\frac{1}{2}}@{\coth@@{\xi}}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(m-n+\tfrac{1}{2})} > 0, \realpart@@{(m+n+\tfrac{1}{2})} > 0}
exp(-(m)*Pi*I)*LegendreQ(n -(1)/(2),m,cosh(xi))/GAMMA(n -(1)/(2)+m+1) = (GAMMA(m - n +(1)/(2)))/(GAMMA(m + n +(1)/(2)))*((Pi)/(2*sinh(xi)))^(1/2)* LegendreP(m -(1)/(2), n, coth(xi))
Exp[-(m) Pi I] LegendreQ[n -Divide[1,2], m, 3, Cosh[\[Xi]]]/Gamma[n -Divide[1,2] + m + 1] == Divide[Gamma[m - n +Divide[1,2]],Gamma[m + n +Divide[1,2]]]*(Divide[Pi,2*Sinh[\[Xi]]])^(1/2)* LegendreP[m -Divide[1,2], n, 3, Coth[\[Xi]]]
Failure Failure
Failed [30 / 60]
Result: .7427758821+1.946023521*I
Test Values: {xi = -1/2+1/2*I*3^(1/2), m = 1, n = 1}

Result: -.1057063209+.477539648e-1*I
Test Values: {xi = -1/2+1/2*I*3^(1/2), m = 2, n = 1}

... skip entries to safe data
Failed [30 / 60]
Result: Complex[0.7427758815190426, 1.9460235199869547]
Test Values: {Rule[m, 1], Rule[n, 1], Rule[ξ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}

Result: Complex[-0.10570632113064243, 0.04775396399318543]
Test Values: {Rule[m, 2], Rule[n, 1], Rule[ξ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}

... skip entries to safe data