31.8: 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/31.8#Ex1 31.8#Ex1] | | | [https://dlmf.nist.gov/31.8#Ex1 31.8#Ex1] || <math qid="Q9033">\beta-\alpha = m_{0}+\tfrac{1}{2}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\beta-\alpha = m_{0}+\tfrac{1}{2}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">beta - alpha = m[0]+(1)/(2)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Beta]- \[Alpha] == Subscript[m, 0]+Divide[1,2]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/31.8#Ex2 31.8#Ex2] | | | [https://dlmf.nist.gov/31.8#Ex2 31.8#Ex2] || <math qid="Q9034">\gamma = -m_{1}+\tfrac{1}{2}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\gamma = -m_{1}+\tfrac{1}{2}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">gamma = - m[1]+(1)/(2)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Gamma] == - Subscript[m, 1]+Divide[1,2]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/31.8#Ex3 31.8#Ex3] | | | [https://dlmf.nist.gov/31.8#Ex3 31.8#Ex3] || <math qid="Q9035">\delta = -m_{2}+\tfrac{1}{2}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\delta = -m_{2}+\tfrac{1}{2}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">delta = - m[2]+(1)/(2)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Delta] == - Subscript[m, 2]+Divide[1,2]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/31.8#Ex4 31.8#Ex4] | | | [https://dlmf.nist.gov/31.8#Ex4 31.8#Ex4] || <math qid="Q9036">\epsilon = -m_{3}+\tfrac{1}{2}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\epsilon = -m_{3}+\tfrac{1}{2}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">epsilon = - m[3]+(1)/(2)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Epsilon] == - Subscript[m, 3]+Divide[1,2]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/31.8.E2 31.8.E2] | | | [https://dlmf.nist.gov/31.8.E2 31.8.E2] || <math qid="Q9037">w_{+}(\mathbf{m};\lambda;z) = \sqrt{\Psi_{g,N}(\lambda,z)}\*\exp@{+\frac{i\nu(\lambda)}{2}\int_{z_{0}}^{z}\frac{t^{m_{1}}(t-1)^{m_{2}}(t-a)^{m_{3}}\diff{t}}{\Psi_{g,N}(\lambda,t)\sqrt{t(t-1)(t-a)}}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>w_{+}(\mathbf{m};\lambda;z) = \sqrt{\Psi_{g,N}(\lambda,z)}\*\exp@{+\frac{i\nu(\lambda)}{2}\int_{z_{0}}^{z}\frac{t^{m_{1}}(t-1)^{m_{2}}(t-a)^{m_{3}}\diff{t}}{\Psi_{g,N}(\lambda,t)\sqrt{t(t-1)(t-a)}}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>w[+](m ; lambda ; z) = sqrt(Psi[g , N](lambda , z))* exp(+(I*nu(lambda))/(2)*int(((t)^(m[1])*(t - 1)^(m[2])*(t - a)^(m[3]))/(Psi[g , N](lambda , t)*sqrt(t*(t - 1)*(t - a))), t = z[0]..z))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Subscript[w, +][m ; \[Lambda]; z] == Sqrt[Subscript[\[CapitalPsi], g , N][\[Lambda], z]]* Exp[+Divide[I*\[Nu][\[Lambda]],2]*Integrate[Divide[(t)^(Subscript[m, 1])*(t - 1)^(Subscript[m, 2])*(t - a)^(Subscript[m, 3]),Subscript[\[CapitalPsi], g , N][\[Lambda], t]*Sqrt[t*(t - 1)*(t - a)]], {t, Subscript[z, 0], z}, GenerateConditions->None]]</syntaxhighlight> || Translation Error || Translation Error || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/31.8.E2 31.8.E2] | | | [https://dlmf.nist.gov/31.8.E2 31.8.E2] || <math qid="Q9037">w_{-}(\mathbf{m};\lambda;z) = \sqrt{\Psi_{g,N}(\lambda,z)}\*\exp@{-\frac{i\nu(\lambda)}{2}\int_{z_{0}}^{z}\frac{t^{m_{1}}(t-1)^{m_{2}}(t-a)^{m_{3}}\diff{t}}{\Psi_{g,N}(\lambda,t)\sqrt{t(t-1)(t-a)}}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>w_{-}(\mathbf{m};\lambda;z) = \sqrt{\Psi_{g,N}(\lambda,z)}\*\exp@{-\frac{i\nu(\lambda)}{2}\int_{z_{0}}^{z}\frac{t^{m_{1}}(t-1)^{m_{2}}(t-a)^{m_{3}}\diff{t}}{\Psi_{g,N}(\lambda,t)\sqrt{t(t-1)(t-a)}}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>w[-](m ; lambda ; z) = sqrt(Psi[g , N](lambda , z))* exp(-(I*nu(lambda))/(2)*int(((t)^(m[1])*(t - 1)^(m[2])*(t - a)^(m[3]))/(Psi[g , N](lambda , t)*sqrt(t*(t - 1)*(t - a))), t = z[0]..z))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Subscript[w, -][m ; \[Lambda]; z] == Sqrt[Subscript[\[CapitalPsi], g , N][\[Lambda], z]]* Exp[-Divide[I*\[Nu][\[Lambda]],2]*Integrate[Divide[(t)^(Subscript[m, 1])*(t - 1)^(Subscript[m, 2])*(t - a)^(Subscript[m, 3]),Subscript[\[CapitalPsi], g , N][\[Lambda], t]*Sqrt[t*(t - 1)*(t - a)]], {t, Subscript[z, 0], z}, GenerateConditions->None]]</syntaxhighlight> || Translation Error || Translation Error || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/31.8#Ex5 31.8#Ex5] | | | [https://dlmf.nist.gov/31.8#Ex5 31.8#Ex5] || <math qid="Q9039">\Psi_{1,2} = z^{2}+\lambda z+a</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\Psi_{1,2} = z^{2}+\lambda z+a</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Psi[1 , 2] = (z)^(2)+ lambda*z + a</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[CapitalPsi], 1 , 2] == (z)^(2)+ \[Lambda]*z + a</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/31.8#Ex6 31.8#Ex6] | | | [https://dlmf.nist.gov/31.8#Ex6 31.8#Ex6] || <math qid="Q9040">\nu^{2} = (\lambda+a+1)(\lambda^{2}-4a)</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\nu^{2} = (\lambda+a+1)(\lambda^{2}-4a)</syntaxhighlight> || <math>\mathbf{m} = (1</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(nu)^(2) = (lambda + a + 1)*((lambda)^(2)- 4*a)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Nu]^(2) == (\[Lambda]+ a + 1)*(\[Lambda]^(2)- 4*a)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/31.8#Ex7 31.8#Ex7] | | | [https://dlmf.nist.gov/31.8#Ex7 31.8#Ex7] || <math qid="Q9041">\Psi_{1,-1} = \left(z^{2}+(\lambda+3a+3)z+a\right)/z^{3}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\Psi_{1,-1} = \left(z^{2}+(\lambda+3a+3)z+a\right)/z^{3}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Psi[1 , - 1] = ((z)^(2)+(lambda + 3*a + 3)*z + a)/(z)^(3)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[CapitalPsi], 1 , - 1] == ((z)^(2)+(\[Lambda]+ 3*a + 3)*z + a)/(z)^(3)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/31.8#Ex8 31.8#Ex8] | | | [https://dlmf.nist.gov/31.8#Ex8 31.8#Ex8] || <math qid="Q9042">\nu^{2} = (\lambda+4a+4)\left((\lambda+3a+3)^{2}-4a\right)</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\nu^{2} = (\lambda+4a+4)\left((\lambda+3a+3)^{2}-4a\right)</syntaxhighlight> || <math>\mathbf{m} = (1</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(nu)^(2) = (lambda + 4*a + 4)*((lambda + 3*a + 3)^(2)- 4*a)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Nu]^(2) == (\[Lambda]+ 4*a + 4)*((\[Lambda]+ 3*a + 3)^(2)- 4*a)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|} | |} | ||
</div> | </div> |
Latest revision as of 12:11, 28 June 2021
DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
---|---|---|---|---|---|---|---|---|
31.8#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \beta-\alpha = m_{0}+\tfrac{1}{2}}
\beta-\alpha = m_{0}+\tfrac{1}{2} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | beta - alpha = m[0]+(1)/(2) |
\[Beta]- \[Alpha] == Subscript[m, 0]+Divide[1,2] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
31.8#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \gamma = -m_{1}+\tfrac{1}{2}}
\gamma = -m_{1}+\tfrac{1}{2} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | gamma = - m[1]+(1)/(2) |
\[Gamma] == - Subscript[m, 1]+Divide[1,2] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
31.8#Ex3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \delta = -m_{2}+\tfrac{1}{2}}
\delta = -m_{2}+\tfrac{1}{2} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | delta = - m[2]+(1)/(2) |
\[Delta] == - Subscript[m, 2]+Divide[1,2] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
31.8#Ex4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \epsilon = -m_{3}+\tfrac{1}{2}}
\epsilon = -m_{3}+\tfrac{1}{2} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | epsilon = - m[3]+(1)/(2) |
\[Epsilon] == - Subscript[m, 3]+Divide[1,2] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
31.8.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle w_{+}(\mathbf{m};\lambda;z) = \sqrt{\Psi_{g,N}(\lambda,z)}\*\exp@{+\frac{i\nu(\lambda)}{2}\int_{z_{0}}^{z}\frac{t^{m_{1}}(t-1)^{m_{2}}(t-a)^{m_{3}}\diff{t}}{\Psi_{g,N}(\lambda,t)\sqrt{t(t-1)(t-a)}}}}
w_{+}(\mathbf{m};\lambda;z) = \sqrt{\Psi_{g,N}(\lambda,z)}\*\exp@{+\frac{i\nu(\lambda)}{2}\int_{z_{0}}^{z}\frac{t^{m_{1}}(t-1)^{m_{2}}(t-a)^{m_{3}}\diff{t}}{\Psi_{g,N}(\lambda,t)\sqrt{t(t-1)(t-a)}}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | w[+](m ; lambda ; z) = sqrt(Psi[g , N](lambda , z))* exp(+(I*nu(lambda))/(2)*int(((t)^(m[1])*(t - 1)^(m[2])*(t - a)^(m[3]))/(Psi[g , N](lambda , t)*sqrt(t*(t - 1)*(t - a))), t = z[0]..z))
|
Subscript[w, +][m ; \[Lambda]; z] == Sqrt[Subscript[\[CapitalPsi], g , N][\[Lambda], z]]* Exp[+Divide[I*\[Nu][\[Lambda]],2]*Integrate[Divide[(t)^(Subscript[m, 1])*(t - 1)^(Subscript[m, 2])*(t - a)^(Subscript[m, 3]),Subscript[\[CapitalPsi], g , N][\[Lambda], t]*Sqrt[t*(t - 1)*(t - a)]], {t, Subscript[z, 0], z}, GenerateConditions->None]]
|
Translation Error | Translation Error | - | - |
31.8.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle w_{-}(\mathbf{m};\lambda;z) = \sqrt{\Psi_{g,N}(\lambda,z)}\*\exp@{-\frac{i\nu(\lambda)}{2}\int_{z_{0}}^{z}\frac{t^{m_{1}}(t-1)^{m_{2}}(t-a)^{m_{3}}\diff{t}}{\Psi_{g,N}(\lambda,t)\sqrt{t(t-1)(t-a)}}}}
w_{-}(\mathbf{m};\lambda;z) = \sqrt{\Psi_{g,N}(\lambda,z)}\*\exp@{-\frac{i\nu(\lambda)}{2}\int_{z_{0}}^{z}\frac{t^{m_{1}}(t-1)^{m_{2}}(t-a)^{m_{3}}\diff{t}}{\Psi_{g,N}(\lambda,t)\sqrt{t(t-1)(t-a)}}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | w[-](m ; lambda ; z) = sqrt(Psi[g , N](lambda , z))* exp(-(I*nu(lambda))/(2)*int(((t)^(m[1])*(t - 1)^(m[2])*(t - a)^(m[3]))/(Psi[g , N](lambda , t)*sqrt(t*(t - 1)*(t - a))), t = z[0]..z))
|
Subscript[w, -][m ; \[Lambda]; z] == Sqrt[Subscript[\[CapitalPsi], g , N][\[Lambda], z]]* Exp[-Divide[I*\[Nu][\[Lambda]],2]*Integrate[Divide[(t)^(Subscript[m, 1])*(t - 1)^(Subscript[m, 2])*(t - a)^(Subscript[m, 3]),Subscript[\[CapitalPsi], g , N][\[Lambda], t]*Sqrt[t*(t - 1)*(t - a)]], {t, Subscript[z, 0], z}, GenerateConditions->None]]
|
Translation Error | Translation Error | - | - |
31.8#Ex5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Psi_{1,2} = z^{2}+\lambda z+a}
\Psi_{1,2} = z^{2}+\lambda z+a |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Psi[1 , 2] = (z)^(2)+ lambda*z + a |
Subscript[\[CapitalPsi], 1 , 2] == (z)^(2)+ \[Lambda]*z + a |
Skipped - no semantic math | Skipped - no semantic math | - | - |
31.8#Ex6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \nu^{2} = (\lambda+a+1)(\lambda^{2}-4a)}
\nu^{2} = (\lambda+a+1)(\lambda^{2}-4a) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \mathbf{m} = (1} | (nu)^(2) = (lambda + a + 1)*((lambda)^(2)- 4*a) |
\[Nu]^(2) == (\[Lambda]+ a + 1)*(\[Lambda]^(2)- 4*a) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
31.8#Ex7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Psi_{1,-1} = \left(z^{2}+(\lambda+3a+3)z+a\right)/z^{3}}
\Psi_{1,-1} = \left(z^{2}+(\lambda+3a+3)z+a\right)/z^{3} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Psi[1 , - 1] = ((z)^(2)+(lambda + 3*a + 3)*z + a)/(z)^(3) |
Subscript[\[CapitalPsi], 1 , - 1] == ((z)^(2)+(\[Lambda]+ 3*a + 3)*z + a)/(z)^(3) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
31.8#Ex8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \nu^{2} = (\lambda+4a+4)\left((\lambda+3a+3)^{2}-4a\right)}
\nu^{2} = (\lambda+4a+4)\left((\lambda+3a+3)^{2}-4a\right) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \mathbf{m} = (1} | (nu)^(2) = (lambda + 4*a + 4)*((lambda + 3*a + 3)^(2)- 4*a) |
\[Nu]^(2) == (\[Lambda]+ 4*a + 4)*((\[Lambda]+ 3*a + 3)^(2)- 4*a) |
Skipped - no semantic math | Skipped - no semantic math | - | - |