32.4: 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 | ||
|- | |- | ||
| [https://dlmf.nist.gov/32.4#Ex1 32.4#Ex1] | | | [https://dlmf.nist.gov/32.4#Ex1 32.4#Ex1] || <math qid="Q9219">\pderiv{\boldsymbol{{\Psi}}}{\lambda} = \mathbf{A}(z,\lambda)\boldsymbol{{\Psi}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\pderiv{\boldsymbol{{\Psi}}}{\lambda} = \mathbf{A}(z,\lambda)\boldsymbol{{\Psi}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(Psi, lambda) = A(z , lambda)* Psi</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[\[CapitalPsi], \[Lambda]] == A[z , \[Lambda]]* \[CapitalPsi]</syntaxhighlight> || Failure || Failure || Error || Error | ||
|- | |- | ||
| [https://dlmf.nist.gov/32.4#Ex2 32.4#Ex2] | | | [https://dlmf.nist.gov/32.4#Ex2 32.4#Ex2] || <math qid="Q9220">\pderiv{\boldsymbol{{\Psi}}}{z} = \mathbf{B}(z,\lambda)\boldsymbol{{\Psi}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\pderiv{\boldsymbol{{\Psi}}}{z} = \mathbf{B}(z,\lambda)\boldsymbol{{\Psi}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(Psi, z) = B(z , lambda)* Psi</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[\[CapitalPsi], z] == B[z , \[Lambda]]* \[CapitalPsi]</syntaxhighlight> || Failure || Failure || Error || Error | ||
|- | |- | ||
| [https://dlmf.nist.gov/32.4.E3 32.4.E3] | | | [https://dlmf.nist.gov/32.4.E3 32.4.E3] || <math qid="Q9222">\pderiv{\mathbf{A}}{z}-\pderiv{\mathbf{B}}{\lambda}+\mathbf{A}\mathbf{B}-\mathbf{B}\mathbf{A} = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\pderiv{\mathbf{A}}{z}-\pderiv{\mathbf{B}}{\lambda}+\mathbf{A}\mathbf{B}-\mathbf{B}\mathbf{A} = 0</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(A, z)- diff(B, lambda)+ A*B - B*A = 0</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[A, z]- D[B, \[Lambda]]+ A*B - B*A == 0</syntaxhighlight> || Successful || Successful || - || Successful [Tested: 300] | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/32.4.E15 32.4.E15] | | | [https://dlmf.nist.gov/32.4.E15 32.4.E15] || <math qid="Q9234">(\alpha,\beta,\gamma,\delta) = \left(2\theta_{0},2(1-\theta_{\infty}),1,-1\right)</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>(\alpha,\beta,\gamma,\delta) = \left(2\theta_{0},2(1-\theta_{\infty}),1,-1\right)</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(alpha , beta , gamma , delta) = (2*theta[0], 2*(1 - theta[infinity]), 1 , - 1)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(\[Alpha], \[Beta], \[Gamma], \[Delta]) == (2*Subscript[\[Theta], 0], 2*(1 - Subscript[\[Theta], Infinity]), 1 , - 1)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/32.4.E16 32.4.E16] | | | [https://dlmf.nist.gov/32.4.E16 32.4.E16] || <math qid="Q9235">\theta_{0} = \frac{4v_{0}}{z}\left(\theta_{\infty}\left(1-\frac{z}{4v_{0}}\right)+\frac{z-2v_{0}}{2v_{0}v_{1}}u_{0}+u_{1}v_{1}\right)</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\theta_{0} = \frac{4v_{0}}{z}\left(\theta_{\infty}\left(1-\frac{z}{4v_{0}}\right)+\frac{z-2v_{0}}{2v_{0}v_{1}}u_{0}+u_{1}v_{1}\right)</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">theta[0] = (4*v[0])/(z)*(theta[infinity]*(1 -(z)/(4*v[0]))+(z - 2*v[0])/(2*v[0]*v[1])*u[0]+ u[1]*v[1])</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Theta], 0] == Divide[4*Subscript[v, 0],z]*(Subscript[\[Theta], Infinity]*(1 -Divide[z,4*Subscript[v, 0]])+Divide[z - 2*Subscript[v, 0],2*Subscript[v, 0]*Subscript[v, 1]]*Subscript[u, 0]+ Subscript[u, 1]*Subscript[v, 1])</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|} | |} | ||
</div> | </div> |
Latest revision as of 12:12, 28 June 2021
DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
---|---|---|---|---|---|---|---|---|
32.4#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \pderiv{\boldsymbol{{\Psi}}}{\lambda} = \mathbf{A}(z,\lambda)\boldsymbol{{\Psi}}}
\pderiv{\boldsymbol{{\Psi}}}{\lambda} = \mathbf{A}(z,\lambda)\boldsymbol{{\Psi}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | diff(Psi, lambda) = A(z , lambda)* Psi
|
D[\[CapitalPsi], \[Lambda]] == A[z , \[Lambda]]* \[CapitalPsi]
|
Failure | Failure | Error | Error |
32.4#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \pderiv{\boldsymbol{{\Psi}}}{z} = \mathbf{B}(z,\lambda)\boldsymbol{{\Psi}}}
\pderiv{\boldsymbol{{\Psi}}}{z} = \mathbf{B}(z,\lambda)\boldsymbol{{\Psi}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | diff(Psi, z) = B(z , lambda)* Psi
|
D[\[CapitalPsi], z] == B[z , \[Lambda]]* \[CapitalPsi]
|
Failure | Failure | Error | Error |
32.4.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \pderiv{\mathbf{A}}{z}-\pderiv{\mathbf{B}}{\lambda}+\mathbf{A}\mathbf{B}-\mathbf{B}\mathbf{A} = 0}
\pderiv{\mathbf{A}}{z}-\pderiv{\mathbf{B}}{\lambda}+\mathbf{A}\mathbf{B}-\mathbf{B}\mathbf{A} = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | diff(A, z)- diff(B, lambda)+ A*B - B*A = 0
|
D[A, z]- D[B, \[Lambda]]+ A*B - B*A == 0
|
Successful | Successful | - | Successful [Tested: 300] |
32.4.E15 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle (\alpha,\beta,\gamma,\delta) = \left(2\theta_{0},2(1-\theta_{\infty}),1,-1\right)}
(\alpha,\beta,\gamma,\delta) = \left(2\theta_{0},2(1-\theta_{\infty}),1,-1\right) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (alpha , beta , gamma , delta) = (2*theta[0], 2*(1 - theta[infinity]), 1 , - 1) |
(\[Alpha], \[Beta], \[Gamma], \[Delta]) == (2*Subscript[\[Theta], 0], 2*(1 - Subscript[\[Theta], Infinity]), 1 , - 1) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
32.4.E16 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \theta_{0} = \frac{4v_{0}}{z}\left(\theta_{\infty}\left(1-\frac{z}{4v_{0}}\right)+\frac{z-2v_{0}}{2v_{0}v_{1}}u_{0}+u_{1}v_{1}\right)}
\theta_{0} = \frac{4v_{0}}{z}\left(\theta_{\infty}\left(1-\frac{z}{4v_{0}}\right)+\frac{z-2v_{0}}{2v_{0}v_{1}}u_{0}+u_{1}v_{1}\right) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | theta[0] = (4*v[0])/(z)*(theta[infinity]*(1 -(z)/(4*v[0]))+(z - 2*v[0])/(2*v[0]*v[1])*u[0]+ u[1]*v[1]) |
Subscript[\[Theta], 0] == Divide[4*Subscript[v, 0],z]*(Subscript[\[Theta], Infinity]*(1 -Divide[z,4*Subscript[v, 0]])+Divide[z - 2*Subscript[v, 0],2*Subscript[v, 0]*Subscript[v, 1]]*Subscript[u, 0]+ Subscript[u, 1]*Subscript[v, 1]) |
Skipped - no semantic math | Skipped - no semantic math | - | - |