10.21: Difference between revisions
Jump to navigation
Jump to search
Admin moved page Main Page to Verifying DLMF with Maple and Mathematica |
Admin moved page Main Page to Verifying DLMF with Maple and Mathematica |
||
Line 14: | Line 14: | ||
! scope="col" style="position: sticky; top: 0;" | Numeric<br>Mathematica | ! scope="col" style="position: sticky; top: 0;" | Numeric<br>Mathematica | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/10.21#Ex5 10.21#Ex5] | | | [https://dlmf.nist.gov/10.21#Ex5 10.21#Ex5] || <math qid="Q3284">\rho_{\nu}(0) = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\rho_{\nu}(0) = 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">rho[nu](0) = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Rho], \[Nu]][0] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/10.21.E11 10.21.E11] | | | [https://dlmf.nist.gov/10.21.E11 10.21.E11] || <math qid="Q3292">2\rho_{\nu}^{2}\deriv{\rho_{\nu}}{t}\deriv[3]{\rho_{\nu}}{t}-3\rho_{\nu}^{2}\*\left(\deriv[2]{\rho_{\nu}}{t}\right)^{2}-4\pi^{2}\rho_{\nu}^{2}\*\left(\deriv{\rho_{\nu}}{t}\right)^{2}+(4\rho_{\nu}^{2}+1-4\nu^{2})\left(\deriv{\rho_{\nu}}{t}\right)^{4} = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>2\rho_{\nu}^{2}\deriv{\rho_{\nu}}{t}\deriv[3]{\rho_{\nu}}{t}-3\rho_{\nu}^{2}\*\left(\deriv[2]{\rho_{\nu}}{t}\right)^{2}-4\pi^{2}\rho_{\nu}^{2}\*\left(\deriv{\rho_{\nu}}{t}\right)^{2}+(4\rho_{\nu}^{2}+1-4\nu^{2})\left(\deriv{\rho_{\nu}}{t}\right)^{4} = 0</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>2*(rho[nu])^(2)*diff(rho[nu], t)*diff(rho[nu], [t$(3)])- 3*(rho[nu])^(2)*(diff(rho[nu], [t$(2)]))^(2)- 4*(Pi)^(2)* (rho[nu])^(2)*(diff(rho[nu], t))^(2)+(4*(rho[nu])^(2)+ 1 - 4*(nu)^(2))*(diff(rho[nu], t))^(4) = 0</syntaxhighlight> || <syntaxhighlight lang=mathematica>2*(Subscript[\[Rho], \[Nu]])^(2)*D[Subscript[\[Rho], \[Nu]], t]*D[Subscript[\[Rho], \[Nu]], {t, 3}]- 3*(Subscript[\[Rho], \[Nu]])^(2)*(D[Subscript[\[Rho], \[Nu]], {t, 2}])^(2)- 4*(Pi)^(2)* (Subscript[\[Rho], \[Nu]])^(2)*(D[Subscript[\[Rho], \[Nu]], t])^(2)+(4*(Subscript[\[Rho], \[Nu]])^(2)+ 1 - 4*\[Nu]^(2))*(D[Subscript[\[Rho], \[Nu]], t])^(4) == 0</syntaxhighlight> || Successful || Successful || - || Successful [Tested: 300] | ||
|- | |- | ||
| [https://dlmf.nist.gov/10.21.E17 10.21.E17] | | | [https://dlmf.nist.gov/10.21.E17 10.21.E17] || <math qid="Q3301">\deriv{c}{\nu} = 2c\int_{0}^{\infty}\modBesselK{0}@{2c\sinh@@{t}}e^{-2\nu t}\diff{t}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv{c}{\nu} = 2c\int_{0}^{\infty}\modBesselK{0}@{2c\sinh@@{t}}e^{-2\nu t}\diff{t}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(c, nu) = 2*c*int(BesselK(0, 2*c*sinh(t))*exp(- 2*nu*t), t = 0..infinity)</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[c, \[Nu]] == 2*c*Integrate[BesselK[0, 2*c*Sinh[t]]*Exp[- 2*\[Nu]*t], {t, 0, Infinity}, GenerateConditions->None]</syntaxhighlight> || Failure || Aborted || Skipped - Because timed out || Skipped - Because timed out | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/10.21#Ex19 10.21#Ex19] | | | [https://dlmf.nist.gov/10.21#Ex19 10.21#Ex19] || <math qid="Q3309">\alpha_{0} = 1</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha_{0} = 1</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha[0] = 1</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Alpha], 0] == 1</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/10.21#Ex20 10.21#Ex20] | | | [https://dlmf.nist.gov/10.21#Ex20 10.21#Ex20] || <math qid="Q3310">\alpha_{1} = \alpha</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha_{1} = \alpha</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha[1] = alpha</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Alpha], 1] == \[Alpha]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/10.21#Ex21 10.21#Ex21] | | | [https://dlmf.nist.gov/10.21#Ex21 10.21#Ex21] || <math qid="Q3311">\alpha_{2} = \tfrac{3}{10}\alpha^{2}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha_{2} = \tfrac{3}{10}\alpha^{2}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha[2] = (3)/(10)*(alpha)^(2)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Alpha], 2] == Divide[3,10]*\[Alpha]^(2)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/10.21#Ex22 10.21#Ex22] | | | [https://dlmf.nist.gov/10.21#Ex22 10.21#Ex22] || <math qid="Q3312">\alpha_{3} = -\tfrac{1}{350}\alpha^{3}+\tfrac{1}{70}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha_{3} = -\tfrac{1}{350}\alpha^{3}+\tfrac{1}{70}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha[3] = -(1)/(350)*(alpha)^(3)+(1)/(70)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Alpha], 3] == -Divide[1,350]*\[Alpha]^(3)+Divide[1,70]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/10.21#Ex23 10.21#Ex23] | | | [https://dlmf.nist.gov/10.21#Ex23 10.21#Ex23] || <math qid="Q3313">\alpha_{4} = -\tfrac{479}{63000}\alpha^{4}-\tfrac{1}{3150}\alpha</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha_{4} = -\tfrac{479}{63000}\alpha^{4}-\tfrac{1}{3150}\alpha</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha[4] = -(479)/(63000)*(alpha)^(4)-(1)/(3150)*alpha</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Alpha], 4] == -Divide[479,63000]*\[Alpha]^(4)-Divide[1,3150]*\[Alpha]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/10.21#Ex24 10.21#Ex24] | | | [https://dlmf.nist.gov/10.21#Ex24 10.21#Ex24] || <math qid="Q3314">\alpha_{5} = \tfrac{20231}{80\;85000}\alpha^{5}-\tfrac{551}{1\;61700}\alpha^{2}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha_{5} = \tfrac{20231}{80\;85000}\alpha^{5}-\tfrac{551}{1\;61700}\alpha^{2}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha[5] = (20231)/(8085000)*(alpha)^(5)-(551)/(161700)*(alpha)^(2)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Alpha], 5] == Divide[20231,8085000]*\[Alpha]^(5)-Divide[551,161700]*\[Alpha]^(2)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/10.21.E46 10.21.E46] | | | [https://dlmf.nist.gov/10.21.E46 10.21.E46] || <math qid="Q3353">a = \tfrac{1}{2}\ln@@{3}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>a = \tfrac{1}{2}\ln@@{3}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>a = (1)/(2)*ln(3)</syntaxhighlight> || <syntaxhighlight lang=mathematica>a == Divide[1,2]*Log[3]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [6 / 6]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -2.049306144 | ||
Test Values: {a = -3/2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .9506938555 | Test Values: {a = -3/2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .9506938555 | ||
Test Values: {a = 3/2}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [6 / 6]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -2.049306144334055 | Test Values: {a = 3/2}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [6 / 6]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -2.049306144334055 | ||
Line 38: | Line 38: | ||
Test Values: {Rule[a, 1.5]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[a, 1.5]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/10.21.E46 10.21.E46] | | | [https://dlmf.nist.gov/10.21.E46 10.21.E46] || <math qid="Q3353">\tfrac{1}{2}\ln@@{3} = 0.54931\dotsc</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\tfrac{1}{2}\ln@@{3} = 0.54931\dotsc</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(1)/(2)*ln(3) = 0.54931 ..</syntaxhighlight> || <syntaxhighlight lang=mathematica>Divide[1,2]*Log[3] == 0.54931 \[Ellipsis]</syntaxhighlight> || Error || Failure || Skip - symbolical successful subtest || <div class="toccolours mw-collapsible mw-collapsed">Failed [1 / 1]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Plus[0.5493061443340549, Times[-0.54931, …]] | ||
Test Values: {}</syntaxhighlight><br></div></div> | Test Values: {}</syntaxhighlight><br></div></div> | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/10.21#Ex51 10.21#Ex51] | | | [https://dlmf.nist.gov/10.21#Ex51 10.21#Ex51] || <math qid="Q3362">\alpha = \frac{(m-1)\pi}{\lambda-1}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha = \frac{(m-1)\pi}{\lambda-1}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha = ((m - 1)*Pi)/(lambda - 1)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Alpha] == Divide[(m - 1)*Pi,\[Lambda]- 1]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/10.21#Ex52 10.21#Ex52] | | | [https://dlmf.nist.gov/10.21#Ex52 10.21#Ex52] || <math qid="Q3363">p = \frac{\mu+3}{8\lambda}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>p = \frac{\mu+3}{8\lambda}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">p = (mu + 3)/(8*lambda)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">p == Divide[\[Mu]+ 3,8*\[Lambda]]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/10.21#Ex53 10.21#Ex53] | | | [https://dlmf.nist.gov/10.21#Ex53 10.21#Ex53] || <math qid="Q3364">q = \frac{(\mu^{2}+46\mu-63)(\lambda^{3}-1)}{6(4\lambda)^{3}(\lambda-1)}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>q = \frac{(\mu^{2}+46\mu-63)(\lambda^{3}-1)}{6(4\lambda)^{3}(\lambda-1)}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">q = (((mu)^(2)+ 46*mu - 63)*((lambda)^(3)- 1))/(6*(4*lambda)^(3)*(lambda - 1))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">q == Divide[(\[Mu]^(2)+ 46*\[Mu]- 63)*(\[Lambda]^(3)- 1),6*(4*\[Lambda])^(3)*(\[Lambda]- 1)]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/10.21#Ex54 10.21#Ex54] | | | [https://dlmf.nist.gov/10.21#Ex54 10.21#Ex54] || <math qid="Q3365">r = \frac{(\mu^{3}+185\mu^{2}-2053\mu+1899)(\lambda^{5}-1)}{5(4\lambda)^{5}(\lambda-1)}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>r = \frac{(\mu^{3}+185\mu^{2}-2053\mu+1899)(\lambda^{5}-1)}{5(4\lambda)^{5}(\lambda-1)}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(((mu - 1)*((mu)^(2)- 114*mu + 1073)*((lambda)^(5)- 1))/(5*(4*lambda)^(5)*(lambda - 1))) = (((mu)^(3)+ 185*(mu)^(2)- 2053*mu + 1899)*((lambda)^(5)- 1))/(5*(4*lambda)^(5)*(lambda - 1))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(Divide[(\[Mu]- 1)*(\[Mu]^(2)- 114*\[Mu]+ 1073)*(\[Lambda]^(5)- 1),5*(4*\[Lambda])^(5)*(\[Lambda]- 1)]) == Divide[(\[Mu]^(3)+ 185*\[Mu]^(2)- 2053*\[Mu]+ 1899)*(\[Lambda]^(5)- 1),5*(4*\[Lambda])^(5)*(\[Lambda]- 1)]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/10.21#Ex55 10.21#Ex55] | | | [https://dlmf.nist.gov/10.21#Ex55 10.21#Ex55] || <math qid="Q3367">\alpha = \frac{(m-\tfrac{1}{2})\pi}{\lambda-1}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha = \frac{(m-\tfrac{1}{2})\pi}{\lambda-1}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha = ((m -(1)/(2))*Pi)/(lambda - 1)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Alpha] == Divide[(m -Divide[1,2])*Pi,\[Lambda]- 1]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/10.21#Ex56 10.21#Ex56] | | | [https://dlmf.nist.gov/10.21#Ex56 10.21#Ex56] || <math qid="Q3368">p = \frac{(\mu+3)\lambda-(\mu-1)}{8\lambda(\lambda-1)}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>p = \frac{(\mu+3)\lambda-(\mu-1)}{8\lambda(\lambda-1)}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">p = ((mu + 3)*lambda -(mu - 1))/(8*lambda*(lambda - 1))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">p == Divide[(\[Mu]+ 3)*\[Lambda]-(\[Mu]- 1),8*\[Lambda]*(\[Lambda]- 1)]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/10.21#Ex57 10.21#Ex57] | | | [https://dlmf.nist.gov/10.21#Ex57 10.21#Ex57] || <math qid="Q3369">q = \frac{(\mu^{2}+46\mu-63)\lambda^{3}-(\mu-1)(\mu-25)}{6(4\lambda)^{3}(\lambda-1)}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>q = \frac{(\mu^{2}+46\mu-63)\lambda^{3}-(\mu-1)(\mu-25)}{6(4\lambda)^{3}(\lambda-1)}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">q = (((mu)^(2)+ 46*mu - 63)*(lambda)^(3)-(mu - 1)*(mu - 25))/(6*(4*lambda)^(3)*(lambda - 1))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">q == Divide[(\[Mu]^(2)+ 46*\[Mu]- 63)*\[Lambda]^(3)-(\[Mu]- 1)*(\[Mu]- 25),6*(4*\[Lambda])^(3)*(\[Lambda]- 1)]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/10.21#Ex58 10.21#Ex58] | | | [https://dlmf.nist.gov/10.21#Ex58 10.21#Ex58] || <math qid="Q3370">r = \frac{(\mu^{3}+185\mu^{2}-2053\mu+1899)\lambda^{5}-(\mu-1)(\mu^{2}-114\mu+1073)}{5(4\lambda)^{5}(\lambda-1)}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>r = \frac{(\mu^{3}+185\mu^{2}-2053\mu+1899)\lambda^{5}-(\mu-1)(\mu^{2}-114\mu+1073)}{5(4\lambda)^{5}(\lambda-1)}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(((mu - 1)*((mu)^(2)- 114*mu + 1073)*((lambda)^(5)- 1))/(5*(4*lambda)^(5)*(lambda - 1))) = (((mu)^(3)+ 185*(mu)^(2)- 2053*mu + 1899)*(lambda)^(5)-(mu - 1)*((mu)^(2)- 114*mu + 1073))/(5*(4*lambda)^(5)*(lambda - 1))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(Divide[(\[Mu]- 1)*(\[Mu]^(2)- 114*\[Mu]+ 1073)*(\[Lambda]^(5)- 1),5*(4*\[Lambda])^(5)*(\[Lambda]- 1)]) == Divide[(\[Mu]^(3)+ 185*\[Mu]^(2)- 2053*\[Mu]+ 1899)*\[Lambda]^(5)-(\[Mu]- 1)*(\[Mu]^(2)- 114*\[Mu]+ 1073),5*(4*\[Lambda])^(5)*(\[Lambda]- 1)]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|} | |} | ||
</div> | </div> |
Latest revision as of 11:23, 28 June 2021
DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
---|---|---|---|---|---|---|---|---|
10.21#Ex5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \rho_{\nu}(0) = 0}
\rho_{\nu}(0) = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | rho[nu](0) = 0 |
Subscript[\[Rho], \[Nu]][0] == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
10.21.E11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle 2\rho_{\nu}^{2}\deriv{\rho_{\nu}}{t}\deriv[3]{\rho_{\nu}}{t}-3\rho_{\nu}^{2}\*\left(\deriv[2]{\rho_{\nu}}{t}\right)^{2}-4\pi^{2}\rho_{\nu}^{2}\*\left(\deriv{\rho_{\nu}}{t}\right)^{2}+(4\rho_{\nu}^{2}+1-4\nu^{2})\left(\deriv{\rho_{\nu}}{t}\right)^{4} = 0}
2\rho_{\nu}^{2}\deriv{\rho_{\nu}}{t}\deriv[3]{\rho_{\nu}}{t}-3\rho_{\nu}^{2}\*\left(\deriv[2]{\rho_{\nu}}{t}\right)^{2}-4\pi^{2}\rho_{\nu}^{2}\*\left(\deriv{\rho_{\nu}}{t}\right)^{2}+(4\rho_{\nu}^{2}+1-4\nu^{2})\left(\deriv{\rho_{\nu}}{t}\right)^{4} = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | 2*(rho[nu])^(2)*diff(rho[nu], t)*diff(rho[nu], [t$(3)])- 3*(rho[nu])^(2)*(diff(rho[nu], [t$(2)]))^(2)- 4*(Pi)^(2)* (rho[nu])^(2)*(diff(rho[nu], t))^(2)+(4*(rho[nu])^(2)+ 1 - 4*(nu)^(2))*(diff(rho[nu], t))^(4) = 0
|
2*(Subscript[\[Rho], \[Nu]])^(2)*D[Subscript[\[Rho], \[Nu]], t]*D[Subscript[\[Rho], \[Nu]], {t, 3}]- 3*(Subscript[\[Rho], \[Nu]])^(2)*(D[Subscript[\[Rho], \[Nu]], {t, 2}])^(2)- 4*(Pi)^(2)* (Subscript[\[Rho], \[Nu]])^(2)*(D[Subscript[\[Rho], \[Nu]], t])^(2)+(4*(Subscript[\[Rho], \[Nu]])^(2)+ 1 - 4*\[Nu]^(2))*(D[Subscript[\[Rho], \[Nu]], t])^(4) == 0
|
Successful | Successful | - | Successful [Tested: 300] |
10.21.E17 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv{c}{\nu} = 2c\int_{0}^{\infty}\modBesselK{0}@{2c\sinh@@{t}}e^{-2\nu t}\diff{t}}
\deriv{c}{\nu} = 2c\int_{0}^{\infty}\modBesselK{0}@{2c\sinh@@{t}}e^{-2\nu t}\diff{t} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | diff(c, nu) = 2*c*int(BesselK(0, 2*c*sinh(t))*exp(- 2*nu*t), t = 0..infinity)
|
D[c, \[Nu]] == 2*c*Integrate[BesselK[0, 2*c*Sinh[t]]*Exp[- 2*\[Nu]*t], {t, 0, Infinity}, GenerateConditions->None]
|
Failure | Aborted | Skipped - Because timed out | Skipped - Because timed out |
10.21#Ex19 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \alpha_{0} = 1}
\alpha_{0} = 1 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | alpha[0] = 1 |
Subscript[\[Alpha], 0] == 1 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
10.21#Ex20 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \alpha_{1} = \alpha}
\alpha_{1} = \alpha |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | alpha[1] = alpha |
Subscript[\[Alpha], 1] == \[Alpha] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
10.21#Ex21 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \alpha_{2} = \tfrac{3}{10}\alpha^{2}}
\alpha_{2} = \tfrac{3}{10}\alpha^{2} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | alpha[2] = (3)/(10)*(alpha)^(2) |
Subscript[\[Alpha], 2] == Divide[3,10]*\[Alpha]^(2) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
10.21#Ex22 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \alpha_{3} = -\tfrac{1}{350}\alpha^{3}+\tfrac{1}{70}}
\alpha_{3} = -\tfrac{1}{350}\alpha^{3}+\tfrac{1}{70} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | alpha[3] = -(1)/(350)*(alpha)^(3)+(1)/(70) |
Subscript[\[Alpha], 3] == -Divide[1,350]*\[Alpha]^(3)+Divide[1,70] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
10.21#Ex23 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \alpha_{4} = -\tfrac{479}{63000}\alpha^{4}-\tfrac{1}{3150}\alpha}
\alpha_{4} = -\tfrac{479}{63000}\alpha^{4}-\tfrac{1}{3150}\alpha |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | alpha[4] = -(479)/(63000)*(alpha)^(4)-(1)/(3150)*alpha |
Subscript[\[Alpha], 4] == -Divide[479,63000]*\[Alpha]^(4)-Divide[1,3150]*\[Alpha] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
10.21#Ex24 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \alpha_{5} = \tfrac{20231}{80\;85000}\alpha^{5}-\tfrac{551}{1\;61700}\alpha^{2}}
\alpha_{5} = \tfrac{20231}{80\;85000}\alpha^{5}-\tfrac{551}{1\;61700}\alpha^{2} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | alpha[5] = (20231)/(8085000)*(alpha)^(5)-(551)/(161700)*(alpha)^(2) |
Subscript[\[Alpha], 5] == Divide[20231,8085000]*\[Alpha]^(5)-Divide[551,161700]*\[Alpha]^(2) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
10.21.E46 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle a = \tfrac{1}{2}\ln@@{3}}
a = \tfrac{1}{2}\ln@@{3} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | a = (1)/(2)*ln(3)
|
a == Divide[1,2]*Log[3]
|
Failure | Failure | Failed [6 / 6] Result: -2.049306144
Test Values: {a = -3/2}
Result: .9506938555
Test Values: {a = 3/2}
... skip entries to safe data |
Failed [6 / 6]
Result: -2.049306144334055
Test Values: {Rule[a, -1.5]}
Result: 0.9506938556659451
Test Values: {Rule[a, 1.5]}
... skip entries to safe data |
10.21.E46 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \tfrac{1}{2}\ln@@{3} = 0.54931\dotsc}
\tfrac{1}{2}\ln@@{3} = 0.54931\dotsc |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (1)/(2)*ln(3) = 0.54931 ..
|
Divide[1,2]*Log[3] == 0.54931 \[Ellipsis]
|
Error | Failure | Skip - symbolical successful subtest | Failed [1 / 1]
Result: Plus[0.5493061443340549, Times[-0.54931, …]]
Test Values: {}
|
10.21#Ex51 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \alpha = \frac{(m-1)\pi}{\lambda-1}}
\alpha = \frac{(m-1)\pi}{\lambda-1} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | alpha = ((m - 1)*Pi)/(lambda - 1) |
\[Alpha] == Divide[(m - 1)*Pi,\[Lambda]- 1] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
10.21#Ex52 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle p = \frac{\mu+3}{8\lambda}}
p = \frac{\mu+3}{8\lambda} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | p = (mu + 3)/(8*lambda) |
p == Divide[\[Mu]+ 3,8*\[Lambda]] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
10.21#Ex53 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle q = \frac{(\mu^{2}+46\mu-63)(\lambda^{3}-1)}{6(4\lambda)^{3}(\lambda-1)}}
q = \frac{(\mu^{2}+46\mu-63)(\lambda^{3}-1)}{6(4\lambda)^{3}(\lambda-1)} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | q = (((mu)^(2)+ 46*mu - 63)*((lambda)^(3)- 1))/(6*(4*lambda)^(3)*(lambda - 1)) |
q == Divide[(\[Mu]^(2)+ 46*\[Mu]- 63)*(\[Lambda]^(3)- 1),6*(4*\[Lambda])^(3)*(\[Lambda]- 1)] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
10.21#Ex54 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle r = \frac{(\mu^{3}+185\mu^{2}-2053\mu+1899)(\lambda^{5}-1)}{5(4\lambda)^{5}(\lambda-1)}}
r = \frac{(\mu^{3}+185\mu^{2}-2053\mu+1899)(\lambda^{5}-1)}{5(4\lambda)^{5}(\lambda-1)} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (((mu - 1)*((mu)^(2)- 114*mu + 1073)*((lambda)^(5)- 1))/(5*(4*lambda)^(5)*(lambda - 1))) = (((mu)^(3)+ 185*(mu)^(2)- 2053*mu + 1899)*((lambda)^(5)- 1))/(5*(4*lambda)^(5)*(lambda - 1)) |
(Divide[(\[Mu]- 1)*(\[Mu]^(2)- 114*\[Mu]+ 1073)*(\[Lambda]^(5)- 1),5*(4*\[Lambda])^(5)*(\[Lambda]- 1)]) == Divide[(\[Mu]^(3)+ 185*\[Mu]^(2)- 2053*\[Mu]+ 1899)*(\[Lambda]^(5)- 1),5*(4*\[Lambda])^(5)*(\[Lambda]- 1)] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
10.21#Ex55 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \alpha = \frac{(m-\tfrac{1}{2})\pi}{\lambda-1}}
\alpha = \frac{(m-\tfrac{1}{2})\pi}{\lambda-1} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | alpha = ((m -(1)/(2))*Pi)/(lambda - 1) |
\[Alpha] == Divide[(m -Divide[1,2])*Pi,\[Lambda]- 1] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
10.21#Ex56 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle p = \frac{(\mu+3)\lambda-(\mu-1)}{8\lambda(\lambda-1)}}
p = \frac{(\mu+3)\lambda-(\mu-1)}{8\lambda(\lambda-1)} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | p = ((mu + 3)*lambda -(mu - 1))/(8*lambda*(lambda - 1)) |
p == Divide[(\[Mu]+ 3)*\[Lambda]-(\[Mu]- 1),8*\[Lambda]*(\[Lambda]- 1)] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
10.21#Ex57 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle q = \frac{(\mu^{2}+46\mu-63)\lambda^{3}-(\mu-1)(\mu-25)}{6(4\lambda)^{3}(\lambda-1)}}
q = \frac{(\mu^{2}+46\mu-63)\lambda^{3}-(\mu-1)(\mu-25)}{6(4\lambda)^{3}(\lambda-1)} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | q = (((mu)^(2)+ 46*mu - 63)*(lambda)^(3)-(mu - 1)*(mu - 25))/(6*(4*lambda)^(3)*(lambda - 1)) |
q == Divide[(\[Mu]^(2)+ 46*\[Mu]- 63)*\[Lambda]^(3)-(\[Mu]- 1)*(\[Mu]- 25),6*(4*\[Lambda])^(3)*(\[Lambda]- 1)] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
10.21#Ex58 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle r = \frac{(\mu^{3}+185\mu^{2}-2053\mu+1899)\lambda^{5}-(\mu-1)(\mu^{2}-114\mu+1073)}{5(4\lambda)^{5}(\lambda-1)}}
r = \frac{(\mu^{3}+185\mu^{2}-2053\mu+1899)\lambda^{5}-(\mu-1)(\mu^{2}-114\mu+1073)}{5(4\lambda)^{5}(\lambda-1)} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (((mu - 1)*((mu)^(2)- 114*mu + 1073)*((lambda)^(5)- 1))/(5*(4*lambda)^(5)*(lambda - 1))) = (((mu)^(3)+ 185*(mu)^(2)- 2053*mu + 1899)*(lambda)^(5)-(mu - 1)*((mu)^(2)- 114*mu + 1073))/(5*(4*lambda)^(5)*(lambda - 1)) |
(Divide[(\[Mu]- 1)*(\[Mu]^(2)- 114*\[Mu]+ 1073)*(\[Lambda]^(5)- 1),5*(4*\[Lambda])^(5)*(\[Lambda]- 1)]) == Divide[(\[Mu]^(3)+ 185*\[Mu]^(2)- 2053*\[Mu]+ 1899)*\[Lambda]^(5)-(\[Mu]- 1)*(\[Mu]^(2)- 114*\[Mu]+ 1073),5*(4*\[Lambda])^(5)*(\[Lambda]- 1)] |
Skipped - no semantic math | Skipped - no semantic math | - | - |