8.12: 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
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/8.12#Ex1 8.12#Ex1] || [[Item:Q2593|<math>\lambda = z/a</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\lambda = z/a</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">lambda = z/a</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Lambda] == z/a</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/8.12#Ex1 8.12#Ex1] || <math qid="Q2593">\lambda = z/a</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\lambda = z/a</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">lambda = z/a</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Lambda] == z/a</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|-  
|-  
| [https://dlmf.nist.gov/8.12#Ex2 8.12#Ex2] || [[Item:Q2594|<math>\eta = \left(2(\lambda-1-\ln@@{\lambda})\right)^{1/2}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\eta = \left(2(\lambda-1-\ln@@{\lambda})\right)^{1/2}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>eta = (2*(lambda - 1 - ln(lambda)))^(1/2)</syntaxhighlight> || <syntaxhighlight lang=mathematica>\[Eta] == (2*(\[Lambda]- 1 - Log[\[Lambda]]))^(1/2)</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [100 / 100]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .8206105237+1.019626504*I
| [https://dlmf.nist.gov/8.12#Ex2 8.12#Ex2] || <math qid="Q2594">\eta = \left(2(\lambda-1-\ln@@{\lambda})\right)^{1/2}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\eta = \left(2(\lambda-1-\ln@@{\lambda})\right)^{1/2}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>eta = (2*(lambda - 1 - ln(lambda)))^(1/2)</syntaxhighlight> || <syntaxhighlight lang=mathematica>\[Eta] == (2*(\[Lambda]- 1 - Log[\[Lambda]]))^(1/2)</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [100 / 100]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .8206105237+1.019626504*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, lambda = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .2036159778+2.354396465*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, lambda = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .2036159778+2.354396465*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, lambda = -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 [100 / 100]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.8206105232686428, 1.019626504138681]
Test Values: {eta = 1/2*3^(1/2)+1/2*I, lambda = -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 [100 / 100]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.8206105232686428, 1.019626504138681]
Line 22: Line 22:
Test Values: {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[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|-  
|-  
| [https://dlmf.nist.gov/8.12#Ex3 8.12#Ex3] || [[Item:Q2595|<math>\tfrac{1}{2}\eta^{2} = \lambda-1-\ln@@{\lambda}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\tfrac{1}{2}\eta^{2} = \lambda-1-\ln@@{\lambda}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(1)/(2)*(eta)^(2) = lambda - 1 - ln(lambda)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Divide[1,2]*\[Eta]^(2) == \[Lambda]- 1 - Log[\[Lambda]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [100 / 100]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .3839745964+.4566114775*I
| [https://dlmf.nist.gov/8.12#Ex3 8.12#Ex3] || <math qid="Q2595">\tfrac{1}{2}\eta^{2} = \lambda-1-\ln@@{\lambda}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\tfrac{1}{2}\eta^{2} = \lambda-1-\ln@@{\lambda}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(1)/(2)*(eta)^(2) = lambda - 1 - ln(lambda)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Divide[1,2]*\[Eta]^(2) == \[Lambda]- 1 - Log[\[Lambda]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [100 / 100]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .3839745964+.4566114775*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, lambda = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.750000000+1.661382400*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, lambda = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.750000000+1.661382400*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, lambda = -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 [100 / 100]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.38397459621556135, 0.45661147749051817]
Test Values: {eta = 1/2*3^(1/2)+1/2*I, lambda = -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 [100 / 100]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.38397459621556135, 0.45661147749051817]
Line 28: Line 28:
Test Values: {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[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|-  
|-  
| [https://dlmf.nist.gov/8.12#Ex4 8.12#Ex4] || [[Item:Q2596|<math>\deriv{\eta}{\lambda} = \frac{\lambda-1}{\lambda\eta}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv{\eta}{\lambda} = \frac{\lambda-1}{\lambda\eta}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(eta, lambda) = (lambda - 1)/(lambda*eta)</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[\[Eta], \[Lambda]] == Divide[\[Lambda]- 1,\[Lambda]*\[Eta]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [100 / 100]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -.3660254037-.3660254035*I
| [https://dlmf.nist.gov/8.12#Ex4 8.12#Ex4] || <math qid="Q2596">\deriv{\eta}{\lambda} = \frac{\lambda-1}{\lambda\eta}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv{\eta}{\lambda} = \frac{\lambda-1}{\lambda\eta}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(eta, lambda) = (lambda - 1)/(lambda*eta)</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[\[Eta], \[Lambda]] == Divide[\[Lambda]- 1,\[Lambda]*\[Eta]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [100 / 100]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -.3660254037-.3660254035*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, lambda = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -1.732050807-.2266367838e-9*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, lambda = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -1.732050807-.2266367838e-9*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, lambda = -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 [100 / 100]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[-0.3660254037844386, -0.3660254037844386]
Test Values: {eta = 1/2*3^(1/2)+1/2*I, lambda = -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 [100 / 100]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[-0.3660254037844386, -0.3660254037844386]
Line 34: Line 34:
Test Values: {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[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|-  
|-  
| [https://dlmf.nist.gov/8.12.E3 8.12.E3] || [[Item:Q2597|<math>\normincGammaP@{a}{z} = \tfrac{1}{2}\erfc@{-\eta\sqrt{a/2}}-S(a,\eta)</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\normincGammaP@{a}{z} = \tfrac{1}{2}\erfc@{-\eta\sqrt{a/2}}-S(a,\eta)</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(GAMMA(a)-GAMMA(a, z))/GAMMA(a) = (1)/(2)*erfc(- eta*sqrt(a/2))- S(a , eta)</syntaxhighlight> || <syntaxhighlight lang=mathematica>GammaRegularized[a, 0, z] == Divide[1,2]*Erfc[- \[Eta]*Sqrt[a/2]]- S[a , \[Eta]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .8724483635-.3325384943*I+(.8660254040+.5000000000*I)*(-1.5, .8660254040+.5000000000*I)
| [https://dlmf.nist.gov/8.12.E3 8.12.E3] || <math qid="Q2597">\normincGammaP@{a}{z} = \tfrac{1}{2}\erfc@{-\eta\sqrt{a/2}}-S(a,\eta)</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\normincGammaP@{a}{z} = \tfrac{1}{2}\erfc@{-\eta\sqrt{a/2}}-S(a,\eta)</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(GAMMA(a)-GAMMA(a, z))/GAMMA(a) = (1)/(2)*erfc(- eta*sqrt(a/2))- S(a , eta)</syntaxhighlight> || <syntaxhighlight lang=mathematica>GammaRegularized[a, 0, z] == Divide[1,2]*Erfc[- \[Eta]*Sqrt[a/2]]- S[a , \[Eta]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .8724483635-.3325384943*I+(.8660254040+.5000000000*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {S = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .8436948583-.7685914925*I+(.8660254040+.5000000000*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {S = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .8436948583-.7685914925*I+(.8660254040+.5000000000*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {S = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 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> || Error
Test Values: {S = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 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> || Error
|-  
|-  
| [https://dlmf.nist.gov/8.12.E4 8.12.E4] || [[Item:Q2598|<math>\normincGammaQ@{a}{z} = \tfrac{1}{2}\erfc@{\eta\sqrt{a/2}}+S(a,\eta)</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\normincGammaQ@{a}{z} = \tfrac{1}{2}\erfc@{\eta\sqrt{a/2}}+S(a,\eta)</syntaxhighlight> || <math>\realpart@@{a} > 0</math> || <syntaxhighlight lang=mathematica>GAMMA(a, z)/GAMMA(a) = (1)/(2)*erfc(eta*sqrt(a/2))+ S(a , eta)</syntaxhighlight> || <syntaxhighlight lang=mathematica>GammaRegularized[a, z] == Divide[1,2]*Erfc[\[Eta]*Sqrt[a/2]]+ S[a , \[Eta]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -.8724483631+.3325384943*I-(.8660254040+.5000000000*I)*(-1.5, .8660254040+.5000000000*I)
| [https://dlmf.nist.gov/8.12.E4 8.12.E4] || <math qid="Q2598">\normincGammaQ@{a}{z} = \tfrac{1}{2}\erfc@{\eta\sqrt{a/2}}+S(a,\eta)</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\normincGammaQ@{a}{z} = \tfrac{1}{2}\erfc@{\eta\sqrt{a/2}}+S(a,\eta)</syntaxhighlight> || <math>\realpart@@{a} > 0</math> || <syntaxhighlight lang=mathematica>GAMMA(a, z)/GAMMA(a) = (1)/(2)*erfc(eta*sqrt(a/2))+ S(a , eta)</syntaxhighlight> || <syntaxhighlight lang=mathematica>GammaRegularized[a, z] == Divide[1,2]*Erfc[\[Eta]*Sqrt[a/2]]+ S[a , \[Eta]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -.8724483631+.3325384943*I-(.8660254040+.5000000000*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {S = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.8436948582+.7685914925*I-(.8660254040+.5000000000*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {S = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.8436948582+.7685914925*I-(.8660254040+.5000000000*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {S = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 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> || Error
Test Values: {S = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 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> || Error
|-  
|-  
| [https://dlmf.nist.gov/8.12.E5 8.12.E5] || [[Item:Q2599|<math>\frac{e^{+\pi ia}}{2i\sin@{\pi a}}\normincGammaQ@{-a}{ze^{+\pi i}} = +\tfrac{1}{2}\erfc@{+ i\eta\sqrt{a/2}}-iT(a,\eta)</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\frac{e^{+\pi ia}}{2i\sin@{\pi a}}\normincGammaQ@{-a}{ze^{+\pi i}} = +\tfrac{1}{2}\erfc@{+ i\eta\sqrt{a/2}}-iT(a,\eta)</syntaxhighlight> || <math>\realpart@@{(-a)} > 0</math> || <syntaxhighlight lang=mathematica>(exp(+ Pi*I*a))/(2*I*sin(Pi*a))*GAMMA(- a, z*exp(+ Pi*I))/GAMMA(- a) = +(1)/(2)*erfc(+ I*eta*sqrt(a/2))- I*T(a , eta)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Divide[Exp[+ Pi*I*a],2*I*Sin[Pi*a]]*GammaRegularized[- a, z*Exp[+ Pi*I]] == +Divide[1,2]*Erfc[+ I*\[Eta]*Sqrt[a/2]]- I*T[a , \[Eta]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .1738836865-.4215091763*I+(-.5000000000+.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
| [https://dlmf.nist.gov/8.12.E5 8.12.E5] || <math qid="Q2599">\frac{e^{+\pi ia}}{2i\sin@{\pi a}}\normincGammaQ@{-a}{ze^{+\pi i}} = +\tfrac{1}{2}\erfc@{+ i\eta\sqrt{a/2}}-iT(a,\eta)</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\frac{e^{+\pi ia}}{2i\sin@{\pi a}}\normincGammaQ@{-a}{ze^{+\pi i}} = +\tfrac{1}{2}\erfc@{+ i\eta\sqrt{a/2}}-iT(a,\eta)</syntaxhighlight> || <math>\realpart@@{(-a)} > 0</math> || <syntaxhighlight lang=mathematica>(exp(+ Pi*I*a))/(2*I*sin(Pi*a))*GAMMA(- a, z*exp(+ Pi*I))/GAMMA(- a) = +(1)/(2)*erfc(+ I*eta*sqrt(a/2))- I*T(a , eta)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Divide[Exp[+ Pi*I*a],2*I*Sin[Pi*a]]*GammaRegularized[- a, z*Exp[+ Pi*I]] == +Divide[1,2]*Erfc[+ I*\[Eta]*Sqrt[a/2]]- I*T[a , \[Eta]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .1738836865-.4215091763*I+(-.5000000000+.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.5322485765+.1038051776*I+(-.5000000000+.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.5322485765+.1038051776*I+(-.5000000000+.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 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> || Error
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 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> || Error
|-  
|-  
| [https://dlmf.nist.gov/8.12.E5 8.12.E5] || [[Item:Q2599|<math>\frac{e^{-\pi ia}}{2i\sin@{\pi a}}\normincGammaQ@{-a}{ze^{-\pi i}} = -\tfrac{1}{2}\erfc@{- i\eta\sqrt{a/2}}-iT(a,\eta)</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\frac{e^{-\pi ia}}{2i\sin@{\pi a}}\normincGammaQ@{-a}{ze^{-\pi i}} = -\tfrac{1}{2}\erfc@{- i\eta\sqrt{a/2}}-iT(a,\eta)</syntaxhighlight> || <math>\realpart@@{(-a)} > 0</math> || <syntaxhighlight lang=mathematica>(exp(- Pi*I*a))/(2*I*sin(Pi*a))*GAMMA(- a, z*exp(- Pi*I))/GAMMA(- a) = -(1)/(2)*erfc(- I*eta*sqrt(a/2))- I*T(a , eta)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Divide[Exp[- Pi*I*a],2*I*Sin[Pi*a]]*GammaRegularized[- a, z*Exp[- Pi*I]] == -Divide[1,2]*Erfc[- I*\[Eta]*Sqrt[a/2]]- I*T[a , \[Eta]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -.9809290254+.1461521622*I+(-.5000000000+.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
| [https://dlmf.nist.gov/8.12.E5 8.12.E5] || <math qid="Q2599">\frac{e^{-\pi ia}}{2i\sin@{\pi a}}\normincGammaQ@{-a}{ze^{-\pi i}} = -\tfrac{1}{2}\erfc@{- i\eta\sqrt{a/2}}-iT(a,\eta)</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\frac{e^{-\pi ia}}{2i\sin@{\pi a}}\normincGammaQ@{-a}{ze^{-\pi i}} = -\tfrac{1}{2}\erfc@{- i\eta\sqrt{a/2}}-iT(a,\eta)</syntaxhighlight> || <math>\realpart@@{(-a)} > 0</math> || <syntaxhighlight lang=mathematica>(exp(- Pi*I*a))/(2*I*sin(Pi*a))*GAMMA(- a, z*exp(- Pi*I))/GAMMA(- a) = -(1)/(2)*erfc(- I*eta*sqrt(a/2))- I*T(a , eta)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Divide[Exp[- Pi*I*a],2*I*Sin[Pi*a]]*GammaRegularized[- a, z*Exp[- Pi*I]] == -Divide[1,2]*Erfc[- I*\[Eta]*Sqrt[a/2]]- I*T[a , \[Eta]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -.9809290254+.1461521622*I+(-.5000000000+.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.2747967621-.3791621909*I+(-.5000000000+.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.2747967621-.3791621909*I+(-.5000000000+.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 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> || Error
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 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> || Error
|-  
|-  
| [https://dlmf.nist.gov/8.12#Ex5 8.12#Ex5] || [[Item:Q2600|<math>\EulerGamma@{a+1}\frac{e^{+\pi ia}}{2\pi i}\incGamma@{-a}{ze^{+\pi i}} = -\tfrac{1}{2}\erfc@{+ i\eta\sqrt{a/2}}+iT(a,\eta)</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\EulerGamma@{a+1}\frac{e^{+\pi ia}}{2\pi i}\incGamma@{-a}{ze^{+\pi i}} = -\tfrac{1}{2}\erfc@{+ i\eta\sqrt{a/2}}+iT(a,\eta)</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>GAMMA(a + 1)*(exp(+ Pi*I*a))/(2*Pi*I)*GAMMA(- a, z*exp(+ Pi*I)) = -(1)/(2)*erfc(+ I*eta*sqrt(a/2))+ I*T(a , eta)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Gamma[a + 1]*Divide[Exp[+ Pi*I*a],2*Pi*I]*Gamma[- a, z*Exp[+ Pi*I]] == -Divide[1,2]*Erfc[+ I*\[Eta]*Sqrt[a/2]]+ I*T[a , \[Eta]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -.1738836865+.4215091762*I+(.5000000000-.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
| [https://dlmf.nist.gov/8.12#Ex5 8.12#Ex5] || <math qid="Q2600">\EulerGamma@{a+1}\frac{e^{+\pi ia}}{2\pi i}\incGamma@{-a}{ze^{+\pi i}} = -\tfrac{1}{2}\erfc@{+ i\eta\sqrt{a/2}}+iT(a,\eta)</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\EulerGamma@{a+1}\frac{e^{+\pi ia}}{2\pi i}\incGamma@{-a}{ze^{+\pi i}} = -\tfrac{1}{2}\erfc@{+ i\eta\sqrt{a/2}}+iT(a,\eta)</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>GAMMA(a + 1)*(exp(+ Pi*I*a))/(2*Pi*I)*GAMMA(- a, z*exp(+ Pi*I)) = -(1)/(2)*erfc(+ I*eta*sqrt(a/2))+ I*T(a , eta)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Gamma[a + 1]*Divide[Exp[+ Pi*I*a],2*Pi*I]*Gamma[- a, z*Exp[+ Pi*I]] == -Divide[1,2]*Erfc[+ I*\[Eta]*Sqrt[a/2]]+ I*T[a , \[Eta]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -.1738836865+.4215091762*I+(.5000000000-.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .5322485766-.1038051776*I+(.5000000000-.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .5322485766-.1038051776*I+(.5000000000-.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 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> || Error
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 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> || Error
|-  
|-  
| [https://dlmf.nist.gov/8.12#Ex5 8.12#Ex5] || [[Item:Q2600|<math>\EulerGamma@{a+1}\frac{e^{-\pi ia}}{2\pi i}\incGamma@{-a}{ze^{-\pi i}} = +\tfrac{1}{2}\erfc@{- i\eta\sqrt{a/2}}+iT(a,\eta)</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\EulerGamma@{a+1}\frac{e^{-\pi ia}}{2\pi i}\incGamma@{-a}{ze^{-\pi i}} = +\tfrac{1}{2}\erfc@{- i\eta\sqrt{a/2}}+iT(a,\eta)</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>GAMMA(a + 1)*(exp(- Pi*I*a))/(2*Pi*I)*GAMMA(- a, z*exp(- Pi*I)) = +(1)/(2)*erfc(- I*eta*sqrt(a/2))+ I*T(a , eta)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Gamma[a + 1]*Divide[Exp[- Pi*I*a],2*Pi*I]*Gamma[- a, z*Exp[- Pi*I]] == +Divide[1,2]*Erfc[- I*\[Eta]*Sqrt[a/2]]+ I*T[a , \[Eta]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .9809290254-.1461521621*I+(.5000000000-.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
| [https://dlmf.nist.gov/8.12#Ex5 8.12#Ex5] || <math qid="Q2600">\EulerGamma@{a+1}\frac{e^{-\pi ia}}{2\pi i}\incGamma@{-a}{ze^{-\pi i}} = +\tfrac{1}{2}\erfc@{- i\eta\sqrt{a/2}}+iT(a,\eta)</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\EulerGamma@{a+1}\frac{e^{-\pi ia}}{2\pi i}\incGamma@{-a}{ze^{-\pi i}} = +\tfrac{1}{2}\erfc@{- i\eta\sqrt{a/2}}+iT(a,\eta)</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>GAMMA(a + 1)*(exp(- Pi*I*a))/(2*Pi*I)*GAMMA(- a, z*exp(- Pi*I)) = +(1)/(2)*erfc(- I*eta*sqrt(a/2))+ I*T(a , eta)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Gamma[a + 1]*Divide[Exp[- Pi*I*a],2*Pi*I]*Gamma[- a, z*Exp[- Pi*I]] == +Divide[1,2]*Erfc[- I*\[Eta]*Sqrt[a/2]]+ I*T[a , \[Eta]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .9809290254-.1461521621*I+(.5000000000-.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .2747967620+.3791621907*I+(.5000000000-.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .2747967620+.3791621907*I+(.5000000000-.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 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> || Error
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 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> || Error
|-  
|-  
| [https://dlmf.nist.gov/8.12.E6 8.12.E6] || [[Item:Q2601|<math>z^{-a}\scincgamma@{-a}{-z} = \cos@{\pi a}-2\sin@{\pi a}\left(\frac{e^{\frac{1}{2}a\eta^{2}}}{\sqrt{\pi}}\DawsonsintF@{\eta\sqrt{a/2}}+T(a,\eta)\right)</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>z^{-a}\scincgamma@{-a}{-z} = \cos@{\pi a}-2\sin@{\pi a}\left(\frac{e^{\frac{1}{2}a\eta^{2}}}{\sqrt{\pi}}\DawsonsintF@{\eta\sqrt{a/2}}+T(a,\eta)\right)</syntaxhighlight> || <math>\realpart@@{(-a)} > 0</math> || <syntaxhighlight lang=mathematica>(z)^(- a)* (- z)^(-(- a))*(GAMMA(- a)-GAMMA(- a, - z))/GAMMA(- a) = cos(Pi*a)- 2*sin(Pi*a)*((exp((1)/(2)*a*(eta)^(2)))/(sqrt(Pi))*dawson(eta*sqrt(a/2))+ T(a , eta))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || Failure || Missing Macro Error || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .2923043261+1.961858052*I+(1.732050808+1.000000000*I)*(-1.5, .8660254040+.5000000000*I)
| [https://dlmf.nist.gov/8.12.E6 8.12.E6] || <math qid="Q2601">z^{-a}\scincgamma@{-a}{-z} = \cos@{\pi a}-2\sin@{\pi a}\left(\frac{e^{\frac{1}{2}a\eta^{2}}}{\sqrt{\pi}}\DawsonsintF@{\eta\sqrt{a/2}}+T(a,\eta)\right)</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>z^{-a}\scincgamma@{-a}{-z} = \cos@{\pi a}-2\sin@{\pi a}\left(\frac{e^{\frac{1}{2}a\eta^{2}}}{\sqrt{\pi}}\DawsonsintF@{\eta\sqrt{a/2}}+T(a,\eta)\right)</syntaxhighlight> || <math>\realpart@@{(-a)} > 0</math> || <syntaxhighlight lang=mathematica>(z)^(- a)* (- z)^(-(- a))*(GAMMA(- a)-GAMMA(- a, - z))/GAMMA(- a) = cos(Pi*a)- 2*sin(Pi*a)*((exp((1)/(2)*a*(eta)^(2)))/(sqrt(Pi))*dawson(eta*sqrt(a/2))+ T(a , eta))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || Failure || Missing Macro Error || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .2923043261+1.961858052*I+(1.732050808+1.000000000*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.7583243808+.5495935246*I+(1.732050808+1.000000000*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.7583243808+.5495935246*I+(1.732050808+1.000000000*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 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> || -
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 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> || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/8.12#Ex6 8.12#Ex6] || [[Item:Q2604|<math>c_{0}(\eta) = \frac{1}{\mu}-\frac{1}{\eta}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>c_{0}(\eta) = \frac{1}{\mu}-\frac{1}{\eta}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c[0](eta) = (1)/(mu)-(1)/(eta)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[c, 0][\[Eta]] == Divide[1,\[Mu]]-Divide[1,\[Eta]]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/8.12#Ex6 8.12#Ex6] || <math qid="Q2604">c_{0}(\eta) = \frac{1}{\mu}-\frac{1}{\eta}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>c_{0}(\eta) = \frac{1}{\mu}-\frac{1}{\eta}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c[0](eta) = (1)/(mu)-(1)/(eta)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[c, 0][\[Eta]] == Divide[1,\[Mu]]-Divide[1,\[Eta]]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/8.12#Ex7 8.12#Ex7] || [[Item:Q2605|<math>c_{1}(\eta) = \frac{1}{\eta^{3}}-\frac{1}{\mu^{3}}-\frac{1}{\mu^{2}}-\frac{1}{12\mu}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>c_{1}(\eta) = \frac{1}{\eta^{3}}-\frac{1}{\mu^{3}}-\frac{1}{\mu^{2}}-\frac{1}{12\mu}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c[1](eta) = (1)/((eta)^(3))-(1)/((mu)^(3))-(1)/((mu)^(2))-(1)/(12*mu)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[c, 1][\[Eta]] == Divide[1,\[Eta]^(3)]-Divide[1,\[Mu]^(3)]-Divide[1,\[Mu]^(2)]-Divide[1,12*\[Mu]]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/8.12#Ex7 8.12#Ex7] || <math qid="Q2605">c_{1}(\eta) = \frac{1}{\eta^{3}}-\frac{1}{\mu^{3}}-\frac{1}{\mu^{2}}-\frac{1}{12\mu}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>c_{1}(\eta) = \frac{1}{\eta^{3}}-\frac{1}{\mu^{3}}-\frac{1}{\mu^{2}}-\frac{1}{12\mu}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c[1](eta) = (1)/((eta)^(3))-(1)/((mu)^(3))-(1)/((mu)^(2))-(1)/(12*mu)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[c, 1][\[Eta]] == Divide[1,\[Eta]^(3)]-Divide[1,\[Mu]^(3)]-Divide[1,\[Mu]^(2)]-Divide[1,12*\[Mu]]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|-  
|-  
| [https://dlmf.nist.gov/8.12.E10 8.12.E10] || [[Item:Q2606|<math>c_{k}(\eta) = \frac{1}{\eta}\deriv{}{\eta}c_{k-1}(\eta)+(-1)^{k}\frac{g_{k}}{\mu}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>c_{k}(\eta) = \frac{1}{\eta}\deriv{}{\eta}c_{k-1}(\eta)+(-1)^{k}\frac{g_{k}}{\mu}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>c[k](eta) = (1)/(eta)*diff(c[k - 1](eta), eta)+(- 1)^(k)*(g[k])/(mu)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Subscript[c, k][\[Eta]] == Divide[1,\[Eta]]*D[Subscript[c, k - 1][\[Eta]], \[Eta]]+(- 1)^(k)*Divide[Subscript[g, k],\[Mu]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .5000000004+.8660254040*I
| [https://dlmf.nist.gov/8.12.E10 8.12.E10] || <math qid="Q2606">c_{k}(\eta) = \frac{1}{\eta}\deriv{}{\eta}c_{k-1}(\eta)+(-1)^{k}\frac{g_{k}}{\mu}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>c_{k}(\eta) = \frac{1}{\eta}\deriv{}{\eta}c_{k-1}(\eta)+(-1)^{k}\frac{g_{k}}{\mu}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>c[k](eta) = (1)/(eta)*diff(c[k - 1](eta), eta)+(- 1)^(k)*(g[k])/(mu)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Subscript[c, k][\[Eta]] == Divide[1,\[Eta]]*D[Subscript[c, k - 1][\[Eta]], \[Eta]]+(- 1)^(k)*Divide[Subscript[g, k],\[Mu]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .5000000004+.8660254040*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, mu = 1/2*3^(1/2)+1/2*I, c[k] = 1/2*3^(1/2)+1/2*I, c[k-1] = 1/2*3^(1/2)+1/2*I, g[k] = 1/2*3^(1/2)+1/2*I, k = 1, k = 3}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -1.500000000+.8660254040*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, mu = 1/2*3^(1/2)+1/2*I, c[k] = 1/2*3^(1/2)+1/2*I, c[k-1] = 1/2*3^(1/2)+1/2*I, g[k] = 1/2*3^(1/2)+1/2*I, k = 1, k = 3}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -1.500000000+.8660254040*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, mu = 1/2*3^(1/2)+1/2*I, c[k] = 1/2*3^(1/2)+1/2*I, c[k-1] = 1/2*3^(1/2)+1/2*I, g[k] = 1/2*3^(1/2)+1/2*I, k = 2, k = 3}</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.5000000000000001, 0.8660254037844386]
Test Values: {eta = 1/2*3^(1/2)+1/2*I, mu = 1/2*3^(1/2)+1/2*I, c[k] = 1/2*3^(1/2)+1/2*I, c[k-1] = 1/2*3^(1/2)+1/2*I, g[k] = 1/2*3^(1/2)+1/2*I, k = 2, k = 3}</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.5000000000000001, 0.8660254037844386]
Line 72: Line 72:
Test Values: {Rule[k, 2], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[c, Plus[-1, k]], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[c, k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[g, k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[k, 2], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[c, Plus[-1, k]], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[c, k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[g, k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/8.12.E11 8.12.E11] || [[Item:Q2607|<math>c_{k}(\eta) = \sum_{n=0}^{\infty}d_{k,n}\eta^{n}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>c_{k}(\eta) = \sum_{n=0}^{\infty}d_{k,n}\eta^{n}</syntaxhighlight> || <math>|\eta| < 2\sqrt{\pi}</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c[k](eta) = sum(d[k , n]*(eta)^(n), n = 0..infinity)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[c, k][\[Eta]] == Sum[Subscript[d, k , n]*\[Eta]^(n), {n, 0, Infinity}, GenerateConditions->None]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/8.12.E11 8.12.E11] || <math qid="Q2607">c_{k}(\eta) = \sum_{n=0}^{\infty}d_{k,n}\eta^{n}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>c_{k}(\eta) = \sum_{n=0}^{\infty}d_{k,n}\eta^{n}</syntaxhighlight> || <math>|\eta| < 2\sqrt{\pi}</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c[k](eta) = sum(d[k , n]*(eta)^(n), n = 0..infinity)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[c, k][\[Eta]] == Sum[Subscript[d, k , n]*\[Eta]^(n), {n, 0, Infinity}, GenerateConditions->None]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/8.12#Ex8 8.12#Ex8] || [[Item:Q2608|<math>d_{0,n} = (n+2)\alpha_{n+2}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>d_{0,n} = (n+2)\alpha_{n+2}</syntaxhighlight> || <math>n \geq 1</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">d[0 , n] = (n + 2)*alpha[n + 2]</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[d, 0 , n] == (n + 2)*Subscript[\[Alpha], n + 2]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/8.12#Ex8 8.12#Ex8] || <math qid="Q2608">d_{0,n} = (n+2)\alpha_{n+2}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>d_{0,n} = (n+2)\alpha_{n+2}</syntaxhighlight> || <math>n \geq 1</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">d[0 , n] = (n + 2)*alpha[n + 2]</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[d, 0 , n] == (n + 2)*Subscript[\[Alpha], n + 2]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/8.12#Ex9 8.12#Ex9] || [[Item:Q2609|<math>d_{k,n} = (-1)^{k}g_{k}d_{0,n}+(n+2)d_{k-1,n+2}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>d_{k,n} = (-1)^{k}g_{k}d_{0,n}+(n+2)d_{k-1,n+2}</syntaxhighlight> || <math>n \geq 0, k \geq 1</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">d[k , n] = (- 1)^(k)* g[k]*d[0 , n]+(n + 2)*d[k - 1 , n + 2]</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[d, k , n] == (- 1)^(k)* Subscript[g, k]*Subscript[d, 0 , n]+(n + 2)*Subscript[d, k - 1 , n + 2]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/8.12#Ex9 8.12#Ex9] || <math qid="Q2609">d_{k,n} = (-1)^{k}g_{k}d_{0,n}+(n+2)d_{k-1,n+2}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>d_{k,n} = (-1)^{k}g_{k}d_{0,n}+(n+2)d_{k-1,n+2}</syntaxhighlight> || <math>n \geq 0, k \geq 1</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">d[k , n] = (- 1)^(k)* g[k]*d[0 , n]+(n + 2)*d[k - 1 , n + 2]</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[d, k , n] == (- 1)^(k)* Subscript[g, k]*Subscript[d, 0 , n]+(n + 2)*Subscript[d, k - 1 , n + 2]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/8.12.E13 8.12.E13] || [[Item:Q2610|<math>\lambda-1 = \eta+\tfrac{1}{3}\eta^{2}+\sum_{n=3}^{\infty}\alpha_{n}\eta^{n}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\lambda-1 = \eta+\tfrac{1}{3}\eta^{2}+\sum_{n=3}^{\infty}\alpha_{n}\eta^{n}</syntaxhighlight> || <math>|\eta| < 2\sqrt{\pi}</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">lambda - 1 = eta +(1)/(3)*(eta)^(2)+ sum(alpha[n]*(eta)^(n), n = 3..infinity)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Lambda]- 1 == \[Eta]+Divide[1,3]*\[Eta]^(2)+ Sum[Subscript[\[Alpha], n]*\[Eta]^(n), {n, 3, Infinity}, GenerateConditions->None]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/8.12.E13 8.12.E13] || <math qid="Q2610">\lambda-1 = \eta+\tfrac{1}{3}\eta^{2}+\sum_{n=3}^{\infty}\alpha_{n}\eta^{n}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\lambda-1 = \eta+\tfrac{1}{3}\eta^{2}+\sum_{n=3}^{\infty}\alpha_{n}\eta^{n}</syntaxhighlight> || <math>|\eta| < 2\sqrt{\pi}</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">lambda - 1 = eta +(1)/(3)*(eta)^(2)+ sum(alpha[n]*(eta)^(n), n = 3..infinity)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Lambda]- 1 == \[Eta]+Divide[1,3]*\[Eta]^(2)+ Sum[Subscript[\[Alpha], n]*\[Eta]^(n), {n, 3, Infinity}, GenerateConditions->None]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/8.12#Ex10 8.12#Ex10] || [[Item:Q2611|<math>\alpha_{3} = \tfrac{1}{36}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha_{3} = \tfrac{1}{36}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha[3] = (1)/(36)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Alpha], 3] == Divide[1,36]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/8.12#Ex10 8.12#Ex10] || <math qid="Q2611">\alpha_{3} = \tfrac{1}{36}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha_{3} = \tfrac{1}{36}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha[3] = (1)/(36)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Alpha], 3] == Divide[1,36]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/8.12#Ex11 8.12#Ex11] || [[Item:Q2612|<math>\alpha_{4} = -\tfrac{1}{270}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha_{4} = -\tfrac{1}{270}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha[4] = -(1)/(270)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Alpha], 4] == -Divide[1,270]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/8.12#Ex11 8.12#Ex11] || <math qid="Q2612">\alpha_{4} = -\tfrac{1}{270}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha_{4} = -\tfrac{1}{270}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha[4] = -(1)/(270)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Alpha], 4] == -Divide[1,270]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/8.12#Ex12 8.12#Ex12] || [[Item:Q2613|<math>\alpha_{5} = \tfrac{1}{4320}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha_{5} = \tfrac{1}{4320}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha[5] = (1)/(4320)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Alpha], 5] == Divide[1,4320]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/8.12#Ex12 8.12#Ex12] || <math qid="Q2613">\alpha_{5} = \tfrac{1}{4320}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha_{5} = \tfrac{1}{4320}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha[5] = (1)/(4320)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Alpha], 5] == Divide[1,4320]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/8.12#Ex13 8.12#Ex13] || [[Item:Q2614|<math>\alpha_{6} = \tfrac{1}{17010}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha_{6} = \tfrac{1}{17010}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha[6] = (1)/(17010)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Alpha], 6] == Divide[1,17010]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/8.12#Ex13 8.12#Ex13] || <math qid="Q2614">\alpha_{6} = \tfrac{1}{17010}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha_{6} = \tfrac{1}{17010}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha[6] = (1)/(17010)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Alpha], 6] == Divide[1,17010]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/8.12#Ex14 8.12#Ex14] || [[Item:Q2615|<math>\alpha_{7} = -\tfrac{139}{54\;43200}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha_{7} = -\tfrac{139}{54\;43200}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha[7] = -(139)/(5443200)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Alpha], 7] == -Divide[139,5443200]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/8.12#Ex14 8.12#Ex14] || <math qid="Q2615">\alpha_{7} = -\tfrac{139}{54\;43200}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha_{7} = -\tfrac{139}{54\;43200}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha[7] = -(139)/(5443200)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Alpha], 7] == -Divide[139,5443200]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/8.12#Ex15 8.12#Ex15] || [[Item:Q2616|<math>\alpha_{8} = \tfrac{1}{2\;04120}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha_{8} = \tfrac{1}{2\;04120}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha[8] = (1)/(204120)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Alpha], 8] == Divide[1,204120]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/8.12#Ex15 8.12#Ex15] || <math qid="Q2616">\alpha_{8} = \tfrac{1}{2\;04120}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha_{8} = \tfrac{1}{2\;04120}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha[8] = (1)/(204120)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Alpha], 8] == Divide[1,204120]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/8.12#Ex16 8.12#Ex16] || [[Item:Q2619|<math>c_{0}(0) = -\tfrac{1}{3}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>c_{0}(0) = -\tfrac{1}{3}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c[0](0) = -(1)/(3)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[c, 0][0] == -Divide[1,3]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/8.12#Ex16 8.12#Ex16] || <math qid="Q2619">c_{0}(0) = -\tfrac{1}{3}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>c_{0}(0) = -\tfrac{1}{3}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c[0](0) = -(1)/(3)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[c, 0][0] == -Divide[1,3]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/8.12#Ex17 8.12#Ex17] || [[Item:Q2620|<math>c_{1}(0) = -\tfrac{1}{540}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>c_{1}(0) = -\tfrac{1}{540}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c[1](0) = -(1)/(540)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[c, 1][0] == -Divide[1,540]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/8.12#Ex17 8.12#Ex17] || <math qid="Q2620">c_{1}(0) = -\tfrac{1}{540}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>c_{1}(0) = -\tfrac{1}{540}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c[1](0) = -(1)/(540)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[c, 1][0] == -Divide[1,540]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/8.12#Ex18 8.12#Ex18] || [[Item:Q2621|<math>c_{2}(0) = \tfrac{25}{6048}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>c_{2}(0) = \tfrac{25}{6048}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c[2](0) = (25)/(6048)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[c, 2][0] == Divide[25,6048]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/8.12#Ex18 8.12#Ex18] || <math qid="Q2621">c_{2}(0) = \tfrac{25}{6048}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>c_{2}(0) = \tfrac{25}{6048}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c[2](0) = (25)/(6048)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[c, 2][0] == Divide[25,6048]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/8.12#Ex19 8.12#Ex19] || [[Item:Q2622|<math>c_{3}(0) = \tfrac{101}{1\;55520}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>c_{3}(0) = \tfrac{101}{1\;55520}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c[3](0) = (101)/(155520)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[c, 3][0] == Divide[101,155520]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/8.12#Ex19 8.12#Ex19] || <math qid="Q2622">c_{3}(0) = \tfrac{101}{1\;55520}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>c_{3}(0) = \tfrac{101}{1\;55520}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c[3](0) = (101)/(155520)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[c, 3][0] == Divide[101,155520]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/8.12#Ex20 8.12#Ex20] || [[Item:Q2623|<math>c_{4}(0) = -\tfrac{31\;84811}{36951\;55200}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>c_{4}(0) = -\tfrac{31\;84811}{36951\;55200}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c[4](0) = -(3184811)/(3695155200)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[c, 4][0] == -Divide[3184811,3695155200]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/8.12#Ex20 8.12#Ex20] || <math qid="Q2623">c_{4}(0) = -\tfrac{31\;84811}{36951\;55200}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>c_{4}(0) = -\tfrac{31\;84811}{36951\;55200}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c[4](0) = -(3184811)/(3695155200)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[c, 4][0] == -Divide[3184811,3695155200]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/8.12#Ex21 8.12#Ex21] || [[Item:Q2624|<math>c_{5}(0) = -\tfrac{27\;45493}{81517\;36320}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>c_{5}(0) = -\tfrac{27\;45493}{81517\;36320}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c[5](0) = -(2745493)/(8151736320)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[c, 5][0] == -Divide[2745493,8151736320]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/8.12#Ex21 8.12#Ex21] || <math qid="Q2624">c_{5}(0) = -\tfrac{27\;45493}{81517\;36320}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>c_{5}(0) = -\tfrac{27\;45493}{81517\;36320}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c[5](0) = -(2745493)/(8151736320)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[c, 5][0] == -Divide[2745493,8151736320]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|-  
|-  
| [https://dlmf.nist.gov/8.12.E21 8.12.E21] || [[Item:Q2631|<math>\normincGammaQ@{a}{x} = q</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\normincGammaQ@{a}{x} = q</syntaxhighlight> || <math>\realpart@@{a} > 0</math> || <syntaxhighlight lang=mathematica>GAMMA(a, x)/GAMMA(a) = q</syntaxhighlight> || <syntaxhighlight lang=mathematica>GammaRegularized[a, x] == q</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [180 / 180]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -.8512854784-.5000000000*I
| [https://dlmf.nist.gov/8.12.E21 8.12.E21] || <math qid="Q2631">\normincGammaQ@{a}{x} = q</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\normincGammaQ@{a}{x} = q</syntaxhighlight> || <math>\realpart@@{a} > 0</math> || <syntaxhighlight lang=mathematica>GAMMA(a, x)/GAMMA(a) = q</syntaxhighlight> || <syntaxhighlight lang=mathematica>GammaRegularized[a, x] == q</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [180 / 180]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -.8512854784-.5000000000*I
Test Values: {a = -1.5, q = 1/2*3^(1/2)+1/2*I, x = 1.5}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.5487148961-.5000000000*I
Test Values: {a = -1.5, q = 1/2*3^(1/2)+1/2*I, x = 1.5}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.5487148961-.5000000000*I
Test Values: {a = -1.5, q = 1/2*3^(1/2)+1/2*I, x = .5}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [180 / 180]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[-0.8512854781447857, -0.49999999999999994]
Test Values: {a = -1.5, q = 1/2*3^(1/2)+1/2*I, x = .5}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [180 / 180]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[-0.8512854781447857, -0.49999999999999994]

Latest revision as of 11:18, 28 June 2021


DLMF Formula Constraints Maple Mathematica Symbolic
Maple
Symbolic
Mathematica
Numeric
Maple
Numeric
Mathematica
8.12#Ex1 λ = z / a 𝜆 𝑧 𝑎 {\displaystyle{\displaystyle\lambda=z/a}}
\lambda = z/a

lambda = z/a
\[Lambda] == z/a
Skipped - no semantic math Skipped - no semantic math - -
8.12#Ex2 η = ( 2 ( λ - 1 - ln λ ) ) 1 / 2 𝜂 superscript 2 𝜆 1 𝜆 1 2 {\displaystyle{\displaystyle\eta=\left(2(\lambda-1-\ln\lambda)\right)^{1/2}}}
\eta = \left(2(\lambda-1-\ln@@{\lambda})\right)^{1/2}

eta = (2*(lambda - 1 - ln(lambda)))^(1/2)
\[Eta] == (2*(\[Lambda]- 1 - Log[\[Lambda]]))^(1/2)
Failure Failure
Failed [100 / 100]
Result: .8206105237+1.019626504*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, lambda = 1/2*3^(1/2)+1/2*I}

Result: .2036159778+2.354396465*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, lambda = -1/2+1/2*I*3^(1/2)}

... skip entries to safe data
Failed [100 / 100]
Result: Complex[0.8206105232686428, 1.019626504138681]
Test Values: {Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[λ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

Result: Complex[0.20361597732323333, 2.3543964646926674]
Test Values: {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
8.12#Ex3 1 2 η 2 = λ - 1 - ln λ 1 2 superscript 𝜂 2 𝜆 1 𝜆 {\displaystyle{\displaystyle\tfrac{1}{2}\eta^{2}=\lambda-1-\ln\lambda}}
\tfrac{1}{2}\eta^{2} = \lambda-1-\ln@@{\lambda}

(1)/(2)*(eta)^(2) = lambda - 1 - ln(lambda)
Divide[1,2]*\[Eta]^(2) == \[Lambda]- 1 - Log[\[Lambda]]
Failure Failure
Failed [100 / 100]
Result: .3839745964+.4566114775*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, lambda = 1/2*3^(1/2)+1/2*I}

Result: 1.750000000+1.661382400*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, lambda = -1/2+1/2*I*3^(1/2)}

... skip entries to safe data
Failed [100 / 100]
Result: Complex[0.38397459621556135, 0.45661147749051817]
Test Values: {Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[λ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

Result: Complex[1.7499999999999998, 1.6613824005009756]
Test Values: {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
8.12#Ex4 d η d λ = λ - 1 λ η derivative 𝜂 𝜆 𝜆 1 𝜆 𝜂 {\displaystyle{\displaystyle\frac{\mathrm{d}\eta}{\mathrm{d}\lambda}=\frac{% \lambda-1}{\lambda\eta}}}
\deriv{\eta}{\lambda} = \frac{\lambda-1}{\lambda\eta}

diff(eta, lambda) = (lambda - 1)/(lambda*eta)
D[\[Eta], \[Lambda]] == Divide[\[Lambda]- 1,\[Lambda]*\[Eta]]
Failure Failure
Failed [100 / 100]
Result: -.3660254037-.3660254035*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, lambda = 1/2*3^(1/2)+1/2*I}

Result: -1.732050807-.2266367838e-9*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, lambda = -1/2+1/2*I*3^(1/2)}

... skip entries to safe data
Failed [100 / 100]
Result: Complex[-0.3660254037844386, -0.3660254037844386]
Test Values: {Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[λ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

Result: Complex[-1.7320508075688772, 3.3306690738754696*^-16]
Test Values: {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
8.12.E3 P ( a , z ) = 1 2 erfc ( - η a / 2 ) - S ( a , η ) incomplete-gamma-P 𝑎 𝑧 1 2 complementary-error-function 𝜂 𝑎 2 𝑆 𝑎 𝜂 {\displaystyle{\displaystyle P\left(a,z\right)=\tfrac{1}{2}\operatorname{erfc}% \left(-\eta\sqrt{a/2}\right)-S(a,\eta)}}
\normincGammaP@{a}{z} = \tfrac{1}{2}\erfc@{-\eta\sqrt{a/2}}-S(a,\eta)

(GAMMA(a)-GAMMA(a, z))/GAMMA(a) = (1)/(2)*erfc(- eta*sqrt(a/2))- S(a , eta)
GammaRegularized[a, 0, z] == Divide[1,2]*Erfc[- \[Eta]*Sqrt[a/2]]- S[a , \[Eta]]
Failure Failure
Failed [300 / 300]
Result: .8724483635-.3325384943*I+(.8660254040+.5000000000*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {S = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}

Result: .8436948583-.7685914925*I+(.8660254040+.5000000000*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {S = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}

... skip entries to safe data
Error
8.12.E4 Q ( a , z ) = 1 2 erfc ( η a / 2 ) + S ( a , η ) incomplete-gamma-Q 𝑎 𝑧 1 2 complementary-error-function 𝜂 𝑎 2 𝑆 𝑎 𝜂 {\displaystyle{\displaystyle Q\left(a,z\right)=\tfrac{1}{2}\operatorname{erfc}% \left(\eta\sqrt{a/2}\right)+S(a,\eta)}}
\normincGammaQ@{a}{z} = \tfrac{1}{2}\erfc@{\eta\sqrt{a/2}}+S(a,\eta)
a > 0 𝑎 0 {\displaystyle{\displaystyle\Re a>0}}
GAMMA(a, z)/GAMMA(a) = (1)/(2)*erfc(eta*sqrt(a/2))+ S(a , eta)
GammaRegularized[a, z] == Divide[1,2]*Erfc[\[Eta]*Sqrt[a/2]]+ S[a , \[Eta]]
Failure Failure
Failed [300 / 300]
Result: -.8724483631+.3325384943*I-(.8660254040+.5000000000*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {S = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}

Result: -.8436948582+.7685914925*I-(.8660254040+.5000000000*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {S = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}

... skip entries to safe data
Error
8.12.E5 e + π i a 2 i sin ( π a ) Q ( - a , z e + π i ) = + 1 2 erfc ( + i η a / 2 ) - i T ( a , η ) superscript 𝑒 𝜋 𝑖 𝑎 2 𝑖 𝜋 𝑎 incomplete-gamma-Q 𝑎 𝑧 superscript 𝑒 𝜋 𝑖 1 2 complementary-error-function 𝑖 𝜂 𝑎 2 𝑖 𝑇 𝑎 𝜂 {\displaystyle{\displaystyle\frac{e^{+\pi ia}}{2i\sin\left(\pi a\right)}Q\left% (-a,ze^{+\pi i}\right)=+\tfrac{1}{2}\operatorname{erfc}\left(+i\eta\sqrt{a/2}% \right)-iT(a,\eta)}}
\frac{e^{+\pi ia}}{2i\sin@{\pi a}}\normincGammaQ@{-a}{ze^{+\pi i}} = +\tfrac{1}{2}\erfc@{+ i\eta\sqrt{a/2}}-iT(a,\eta)
( - a ) > 0 𝑎 0 {\displaystyle{\displaystyle\Re(-a)>0}}
(exp(+ Pi*I*a))/(2*I*sin(Pi*a))*GAMMA(- a, z*exp(+ Pi*I))/GAMMA(- a) = +(1)/(2)*erfc(+ I*eta*sqrt(a/2))- I*T(a , eta)
Divide[Exp[+ Pi*I*a],2*I*Sin[Pi*a]]*GammaRegularized[- a, z*Exp[+ Pi*I]] == +Divide[1,2]*Erfc[+ I*\[Eta]*Sqrt[a/2]]- I*T[a , \[Eta]]
Failure Failure
Failed [300 / 300]
Result: .1738836865-.4215091763*I+(-.5000000000+.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}

Result: -.5322485765+.1038051776*I+(-.5000000000+.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}

... skip entries to safe data
Error
8.12.E5 e - π i a 2 i sin ( π a ) Q ( - a , z e - π i ) = - 1 2 erfc ( - i η a / 2 ) - i T ( a , η ) superscript 𝑒 𝜋 𝑖 𝑎 2 𝑖 𝜋 𝑎 incomplete-gamma-Q 𝑎 𝑧 superscript 𝑒 𝜋 𝑖 1 2 complementary-error-function 𝑖 𝜂 𝑎 2 𝑖 𝑇 𝑎 𝜂 {\displaystyle{\displaystyle\frac{e^{-\pi ia}}{2i\sin\left(\pi a\right)}Q\left% (-a,ze^{-\pi i}\right)=-\tfrac{1}{2}\operatorname{erfc}\left(-i\eta\sqrt{a/2}% \right)-iT(a,\eta)}}
\frac{e^{-\pi ia}}{2i\sin@{\pi a}}\normincGammaQ@{-a}{ze^{-\pi i}} = -\tfrac{1}{2}\erfc@{- i\eta\sqrt{a/2}}-iT(a,\eta)
( - a ) > 0 𝑎 0 {\displaystyle{\displaystyle\Re(-a)>0}}
(exp(- Pi*I*a))/(2*I*sin(Pi*a))*GAMMA(- a, z*exp(- Pi*I))/GAMMA(- a) = -(1)/(2)*erfc(- I*eta*sqrt(a/2))- I*T(a , eta)
Divide[Exp[- Pi*I*a],2*I*Sin[Pi*a]]*GammaRegularized[- a, z*Exp[- Pi*I]] == -Divide[1,2]*Erfc[- I*\[Eta]*Sqrt[a/2]]- I*T[a , \[Eta]]
Failure Failure
Failed [300 / 300]
Result: -.9809290254+.1461521622*I+(-.5000000000+.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}

Result: -.2747967621-.3791621909*I+(-.5000000000+.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}

... skip entries to safe data
Error
8.12#Ex5 Γ ( a + 1 ) e + π i a 2 π i Γ ( - a , z e + π i ) = - 1 2 erfc ( + i η a / 2 ) + i T ( a , η ) Euler-Gamma 𝑎 1 superscript 𝑒 𝜋 𝑖 𝑎 2 𝜋 𝑖 incomplete-Gamma 𝑎 𝑧 superscript 𝑒 𝜋 𝑖 1 2 complementary-error-function 𝑖 𝜂 𝑎 2 𝑖 𝑇 𝑎 𝜂 {\displaystyle{\displaystyle\Gamma\left(a+1\right)\frac{e^{+\pi ia}}{2\pi i}% \Gamma\left(-a,ze^{+\pi i}\right)=-\tfrac{1}{2}\operatorname{erfc}\left(+i\eta% \sqrt{a/2}\right)+iT(a,\eta)}}
\EulerGamma@{a+1}\frac{e^{+\pi ia}}{2\pi i}\incGamma@{-a}{ze^{+\pi i}} = -\tfrac{1}{2}\erfc@{+ i\eta\sqrt{a/2}}+iT(a,\eta)

GAMMA(a + 1)*(exp(+ Pi*I*a))/(2*Pi*I)*GAMMA(- a, z*exp(+ Pi*I)) = -(1)/(2)*erfc(+ I*eta*sqrt(a/2))+ I*T(a , eta)
Gamma[a + 1]*Divide[Exp[+ Pi*I*a],2*Pi*I]*Gamma[- a, z*Exp[+ Pi*I]] == -Divide[1,2]*Erfc[+ I*\[Eta]*Sqrt[a/2]]+ I*T[a , \[Eta]]
Failure Failure
Failed [300 / 300]
Result: -.1738836865+.4215091762*I+(.5000000000-.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}

Result: .5322485766-.1038051776*I+(.5000000000-.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}

... skip entries to safe data
Error
8.12#Ex5 Γ ( a + 1 ) e - π i a 2 π i Γ ( - a , z e - π i ) = + 1 2 erfc ( - i η a / 2 ) + i T ( a , η ) Euler-Gamma 𝑎 1 superscript 𝑒 𝜋 𝑖 𝑎 2 𝜋 𝑖 incomplete-Gamma 𝑎 𝑧 superscript 𝑒 𝜋 𝑖 1 2 complementary-error-function 𝑖 𝜂 𝑎 2 𝑖 𝑇 𝑎 𝜂 {\displaystyle{\displaystyle\Gamma\left(a+1\right)\frac{e^{-\pi ia}}{2\pi i}% \Gamma\left(-a,ze^{-\pi i}\right)=+\tfrac{1}{2}\operatorname{erfc}\left(-i\eta% \sqrt{a/2}\right)+iT(a,\eta)}}
\EulerGamma@{a+1}\frac{e^{-\pi ia}}{2\pi i}\incGamma@{-a}{ze^{-\pi i}} = +\tfrac{1}{2}\erfc@{- i\eta\sqrt{a/2}}+iT(a,\eta)

GAMMA(a + 1)*(exp(- Pi*I*a))/(2*Pi*I)*GAMMA(- a, z*exp(- Pi*I)) = +(1)/(2)*erfc(- I*eta*sqrt(a/2))+ I*T(a , eta)
Gamma[a + 1]*Divide[Exp[- Pi*I*a],2*Pi*I]*Gamma[- a, z*Exp[- Pi*I]] == +Divide[1,2]*Erfc[- I*\[Eta]*Sqrt[a/2]]+ I*T[a , \[Eta]]
Failure Failure
Failed [300 / 300]
Result: .9809290254-.1461521621*I+(.5000000000-.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}

Result: .2747967620+.3791621907*I+(.5000000000-.8660254040*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}

... skip entries to safe data
Error
8.12.E6 z - a γ * ( - a , - z ) = cos ( π a ) - 2 sin ( π a ) ( e 1 2 a η 2 π F ( η a / 2 ) + T ( a , η ) ) superscript 𝑧 𝑎 incomplete-gamma-star 𝑎 𝑧 𝜋 𝑎 2 𝜋 𝑎 superscript 𝑒 1 2 𝑎 superscript 𝜂 2 𝜋 Dawsons-integral 𝜂 𝑎 2 𝑇 𝑎 𝜂 {\displaystyle{\displaystyle z^{-a}\gamma^{*}\left(-a,-z\right)=\cos\left(\pi a% \right)-2\sin\left(\pi a\right)\left(\frac{e^{\frac{1}{2}a\eta^{2}}}{\sqrt{\pi% }}F\left(\eta\sqrt{a/2}\right)+T(a,\eta)\right)}}
z^{-a}\scincgamma@{-a}{-z} = \cos@{\pi a}-2\sin@{\pi a}\left(\frac{e^{\frac{1}{2}a\eta^{2}}}{\sqrt{\pi}}\DawsonsintF@{\eta\sqrt{a/2}}+T(a,\eta)\right)
( - a ) > 0 𝑎 0 {\displaystyle{\displaystyle\Re(-a)>0}}
(z)^(- a)* (- z)^(-(- a))*(GAMMA(- a)-GAMMA(- a, - z))/GAMMA(- a) = cos(Pi*a)- 2*sin(Pi*a)*((exp((1)/(2)*a*(eta)^(2)))/(sqrt(Pi))*dawson(eta*sqrt(a/2))+ T(a , eta))
Error
Failure Missing Macro Error
Failed [300 / 300]
Result: .2923043261+1.961858052*I+(1.732050808+1.000000000*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}

Result: -.7583243808+.5495935246*I+(1.732050808+1.000000000*I)*(-1.5, .8660254040+.5000000000*I)
Test Values: {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}

... skip entries to safe data
-
8.12#Ex6 c 0 ( η ) = 1 μ - 1 η subscript 𝑐 0 𝜂 1 𝜇 1 𝜂 {\displaystyle{\displaystyle c_{0}(\eta)=\frac{1}{\mu}-\frac{1}{\eta}}}
c_{0}(\eta) = \frac{1}{\mu}-\frac{1}{\eta}

c[0](eta) = (1)/(mu)-(1)/(eta)
Subscript[c, 0][\[Eta]] == Divide[1,\[Mu]]-Divide[1,\[Eta]]
Skipped - no semantic math Skipped - no semantic math - -
8.12#Ex7 c 1 ( η ) = 1 η 3 - 1 μ 3 - 1 μ 2 - 1 12 μ subscript 𝑐 1 𝜂 1 superscript 𝜂 3 1 superscript 𝜇 3 1 superscript 𝜇 2 1 12 𝜇 {\displaystyle{\displaystyle c_{1}(\eta)=\frac{1}{\eta^{3}}-\frac{1}{\mu^{3}}-% \frac{1}{\mu^{2}}-\frac{1}{12\mu}}}
c_{1}(\eta) = \frac{1}{\eta^{3}}-\frac{1}{\mu^{3}}-\frac{1}{\mu^{2}}-\frac{1}{12\mu}

c[1](eta) = (1)/((eta)^(3))-(1)/((mu)^(3))-(1)/((mu)^(2))-(1)/(12*mu)
Subscript[c, 1][\[Eta]] == Divide[1,\[Eta]^(3)]-Divide[1,\[Mu]^(3)]-Divide[1,\[Mu]^(2)]-Divide[1,12*\[Mu]]
Skipped - no semantic math Skipped - no semantic math - -
8.12.E10 c k ( η ) = 1 η d d η c k - 1 ( η ) + ( - 1 ) k g k μ subscript 𝑐 𝑘 𝜂 1 𝜂 derivative 𝜂 subscript 𝑐 𝑘 1 𝜂 superscript 1 𝑘 subscript 𝑔 𝑘 𝜇 {\displaystyle{\displaystyle c_{k}(\eta)=\frac{1}{\eta}\frac{\mathrm{d}}{% \mathrm{d}\eta}c_{k-1}(\eta)+(-1)^{k}\frac{g_{k}}{\mu}}}
c_{k}(\eta) = \frac{1}{\eta}\deriv{}{\eta}c_{k-1}(\eta)+(-1)^{k}\frac{g_{k}}{\mu}

c[k](eta) = (1)/(eta)*diff(c[k - 1](eta), eta)+(- 1)^(k)*(g[k])/(mu)
Subscript[c, k][\[Eta]] == Divide[1,\[Eta]]*D[Subscript[c, k - 1][\[Eta]], \[Eta]]+(- 1)^(k)*Divide[Subscript[g, k],\[Mu]]
Failure Failure
Failed [300 / 300]
Result: .5000000004+.8660254040*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, mu = 1/2*3^(1/2)+1/2*I, c[k] = 1/2*3^(1/2)+1/2*I, c[k-1] = 1/2*3^(1/2)+1/2*I, g[k] = 1/2*3^(1/2)+1/2*I, k = 1, k = 3}

Result: -1.500000000+.8660254040*I
Test Values: {eta = 1/2*3^(1/2)+1/2*I, mu = 1/2*3^(1/2)+1/2*I, c[k] = 1/2*3^(1/2)+1/2*I, c[k-1] = 1/2*3^(1/2)+1/2*I, g[k] = 1/2*3^(1/2)+1/2*I, k = 2, k = 3}

... skip entries to safe data
Failed [300 / 300]
Result: Complex[0.5000000000000001, 0.8660254037844386]
Test Values: {Rule[k, 1], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[c, Plus[-1, k]], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[c, k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[g, k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

Result: Complex[-1.5, 0.8660254037844386]
Test Values: {Rule[k, 2], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[c, Plus[-1, k]], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[c, k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[g, k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

... skip entries to safe data
8.12.E11 c k ( η ) = n = 0 d k , n η n subscript 𝑐 𝑘 𝜂 superscript subscript 𝑛 0 subscript 𝑑 𝑘 𝑛 superscript 𝜂 𝑛 {\displaystyle{\displaystyle c_{k}(\eta)=\sum_{n=0}^{\infty}d_{k,n}\eta^{n}}}
c_{k}(\eta) = \sum_{n=0}^{\infty}d_{k,n}\eta^{n}
| η | < 2 π 𝜂 2 𝜋 {\displaystyle{\displaystyle|\eta|<2\sqrt{\pi}}}
c[k](eta) = sum(d[k , n]*(eta)^(n), n = 0..infinity)
Subscript[c, k][\[Eta]] == Sum[Subscript[d, k , n]*\[Eta]^(n), {n, 0, Infinity}, GenerateConditions->None]
Skipped - no semantic math Skipped - no semantic math - -
8.12#Ex8 d 0 , n = ( n + 2 ) α n + 2 subscript 𝑑 0 𝑛 𝑛 2 subscript 𝛼 𝑛 2 {\displaystyle{\displaystyle d_{0,n}=(n+2)\alpha_{n+2}}}
d_{0,n} = (n+2)\alpha_{n+2}
n 1 𝑛 1 {\displaystyle{\displaystyle n\geq 1}}
d[0 , n] = (n + 2)*alpha[n + 2]
Subscript[d, 0 , n] == (n + 2)*Subscript[\[Alpha], n + 2]
Skipped - no semantic math Skipped - no semantic math - -
8.12#Ex9 d k , n = ( - 1 ) k g k d 0 , n + ( n + 2 ) d k - 1 , n + 2 subscript 𝑑 𝑘 𝑛 superscript 1 𝑘 subscript 𝑔 𝑘 subscript 𝑑 0 𝑛 𝑛 2 subscript 𝑑 𝑘 1 𝑛 2 {\displaystyle{\displaystyle d_{k,n}=(-1)^{k}g_{k}d_{0,n}+(n+2)d_{k-1,n+2}}}
d_{k,n} = (-1)^{k}g_{k}d_{0,n}+(n+2)d_{k-1,n+2}
n 0 , k 1 formulae-sequence 𝑛 0 𝑘 1 {\displaystyle{\displaystyle n\geq 0,k\geq 1}}
d[k , n] = (- 1)^(k)* g[k]*d[0 , n]+(n + 2)*d[k - 1 , n + 2]
Subscript[d, k , n] == (- 1)^(k)* Subscript[g, k]*Subscript[d, 0 , n]+(n + 2)*Subscript[d, k - 1 , n + 2]
Skipped - no semantic math Skipped - no semantic math - -
8.12.E13 λ - 1 = η + 1 3 η 2 + n = 3 α n η n 𝜆 1 𝜂 1 3 superscript 𝜂 2 superscript subscript 𝑛 3 subscript 𝛼 𝑛 superscript 𝜂 𝑛 {\displaystyle{\displaystyle\lambda-1=\eta+\tfrac{1}{3}\eta^{2}+\sum_{n=3}^{% \infty}\alpha_{n}\eta^{n}}}
\lambda-1 = \eta+\tfrac{1}{3}\eta^{2}+\sum_{n=3}^{\infty}\alpha_{n}\eta^{n}
| η | < 2 π 𝜂 2 𝜋 {\displaystyle{\displaystyle|\eta|<2\sqrt{\pi}}}
lambda - 1 = eta +(1)/(3)*(eta)^(2)+ sum(alpha[n]*(eta)^(n), n = 3..infinity)
\[Lambda]- 1 == \[Eta]+Divide[1,3]*\[Eta]^(2)+ Sum[Subscript[\[Alpha], n]*\[Eta]^(n), {n, 3, Infinity}, GenerateConditions->None]
Skipped - no semantic math Skipped - no semantic math - -
8.12#Ex10 α 3 = 1 36 subscript 𝛼 3 1 36 {\displaystyle{\displaystyle\alpha_{3}=\tfrac{1}{36}}}
\alpha_{3} = \tfrac{1}{36}

alpha[3] = (1)/(36)
Subscript[\[Alpha], 3] == Divide[1,36]
Skipped - no semantic math Skipped - no semantic math - -
8.12#Ex11 α 4 = - 1 270 subscript 𝛼 4 1 270 {\displaystyle{\displaystyle\alpha_{4}=-\tfrac{1}{270}}}
\alpha_{4} = -\tfrac{1}{270}

alpha[4] = -(1)/(270)
Subscript[\[Alpha], 4] == -Divide[1,270]
Skipped - no semantic math Skipped - no semantic math - -
8.12#Ex12 α 5 = 1 4320 subscript 𝛼 5 1 4320 {\displaystyle{\displaystyle\alpha_{5}=\tfrac{1}{4320}}}
\alpha_{5} = \tfrac{1}{4320}

alpha[5] = (1)/(4320)
Subscript[\[Alpha], 5] == Divide[1,4320]
Skipped - no semantic math Skipped - no semantic math - -
8.12#Ex13 α 6 = 1 17010 subscript 𝛼 6 1 17010 {\displaystyle{\displaystyle\alpha_{6}=\tfrac{1}{17010}}}
\alpha_{6} = \tfrac{1}{17010}

alpha[6] = (1)/(17010)
Subscript[\[Alpha], 6] == Divide[1,17010]
Skipped - no semantic math Skipped - no semantic math - -
8.12#Ex14 α 7 = - 139 54 43200 subscript 𝛼 7 139 54 43200 {\displaystyle{\displaystyle\alpha_{7}=-\tfrac{139}{54\;43200}}}
\alpha_{7} = -\tfrac{139}{54\;43200}

alpha[7] = -(139)/(5443200)
Subscript[\[Alpha], 7] == -Divide[139,5443200]
Skipped - no semantic math Skipped - no semantic math - -
8.12#Ex15 α 8 = 1 2 04120 subscript 𝛼 8 1 2 04120 {\displaystyle{\displaystyle\alpha_{8}=\tfrac{1}{2\;04120}}}
\alpha_{8} = \tfrac{1}{2\;04120}

alpha[8] = (1)/(204120)
Subscript[\[Alpha], 8] == Divide[1,204120]
Skipped - no semantic math Skipped - no semantic math - -
8.12#Ex16 c 0 ( 0 ) = - 1 3 subscript 𝑐 0 0 1 3 {\displaystyle{\displaystyle c_{0}(0)=-\tfrac{1}{3}}}
c_{0}(0) = -\tfrac{1}{3}

c[0](0) = -(1)/(3)
Subscript[c, 0][0] == -Divide[1,3]
Skipped - no semantic math Skipped - no semantic math - -
8.12#Ex17 c 1 ( 0 ) = - 1 540 subscript 𝑐 1 0 1 540 {\displaystyle{\displaystyle c_{1}(0)=-\tfrac{1}{540}}}
c_{1}(0) = -\tfrac{1}{540}

c[1](0) = -(1)/(540)
Subscript[c, 1][0] == -Divide[1,540]
Skipped - no semantic math Skipped - no semantic math - -
8.12#Ex18 c 2 ( 0 ) = 25 6048 subscript 𝑐 2 0 25 6048 {\displaystyle{\displaystyle c_{2}(0)=\tfrac{25}{6048}}}
c_{2}(0) = \tfrac{25}{6048}

c[2](0) = (25)/(6048)
Subscript[c, 2][0] == Divide[25,6048]
Skipped - no semantic math Skipped - no semantic math - -
8.12#Ex19 c 3 ( 0 ) = 101 1 55520 subscript 𝑐 3 0 101 1 55520 {\displaystyle{\displaystyle c_{3}(0)=\tfrac{101}{1\;55520}}}
c_{3}(0) = \tfrac{101}{1\;55520}

c[3](0) = (101)/(155520)
Subscript[c, 3][0] == Divide[101,155520]
Skipped - no semantic math Skipped - no semantic math - -
8.12#Ex20 c 4 ( 0 ) = - 31 84811 36951 55200 subscript 𝑐 4 0 31 84811 36951 55200 {\displaystyle{\displaystyle c_{4}(0)=-\tfrac{31\;84811}{36951\;55200}}}
c_{4}(0) = -\tfrac{31\;84811}{36951\;55200}

c[4](0) = -(3184811)/(3695155200)
Subscript[c, 4][0] == -Divide[3184811,3695155200]
Skipped - no semantic math Skipped - no semantic math - -
8.12#Ex21 c 5 ( 0 ) = - 27 45493 81517 36320 subscript 𝑐 5 0 27 45493 81517 36320 {\displaystyle{\displaystyle c_{5}(0)=-\tfrac{27\;45493}{81517\;36320}}}
c_{5}(0) = -\tfrac{27\;45493}{81517\;36320}

c[5](0) = -(2745493)/(8151736320)
Subscript[c, 5][0] == -Divide[2745493,8151736320]
Skipped - no semantic math Skipped - no semantic math - -
8.12.E21 Q ( a , x ) = q incomplete-gamma-Q 𝑎 𝑥 𝑞 {\displaystyle{\displaystyle Q\left(a,x\right)=q}}
\normincGammaQ@{a}{x} = q
a > 0 𝑎 0 {\displaystyle{\displaystyle\Re a>0}}
GAMMA(a, x)/GAMMA(a) = q
GammaRegularized[a, x] == q
Failure Failure
Failed [180 / 180]
Result: -.8512854784-.5000000000*I
Test Values: {a = -1.5, q = 1/2*3^(1/2)+1/2*I, x = 1.5}

Result: -.5487148961-.5000000000*I
Test Values: {a = -1.5, q = 1/2*3^(1/2)+1/2*I, x = .5}

... skip entries to safe data
Failed [180 / 180]
Result: Complex[-0.8512854781447857, -0.49999999999999994]
Test Values: {Rule[a, -1.5], Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[x, 1.5]}

Result: Complex[-0.5487148959215247, -0.49999999999999994]
Test Values: {Rule[a, -1.5], Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[x, 0.5]}

... skip entries to safe data