31.17: 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.17.E2 31.17.E2] | | | [https://dlmf.nist.gov/31.17.E2 31.17.E2] || <math qid="Q9143">\frac{x_{s}^{2}}{z_{k}}+\frac{x_{t}^{2}}{z_{k}-1}+\frac{x_{u}^{2}}{z_{k}-a} = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\frac{x_{s}^{2}}{z_{k}}+\frac{x_{t}^{2}}{z_{k}-1}+\frac{x_{u}^{2}}{z_{k}-a} = 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">((x[s])^(2))/(x + y*I[k])+((x[t])^(2))/(x + y*I[k]- 1)+((x[u])^(2))/(x + y*I[k]- a) = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Divide[(Subscript[x, s])^(2),Subscript[x + y*I, k]]+Divide[(Subscript[x, t])^(2),Subscript[x + y*I, k]- 1]+Divide[(Subscript[x, u])^(2),Subscript[x + y*I, k]- a] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/31.17.E4 31.17.E4] | | | [https://dlmf.nist.gov/31.17.E4 31.17.E4] || <math qid="Q9147">\Psi(\mathbf{x}) = (z_{1}z_{2})^{-s-\frac{1}{4}}((z_{1}-1)(z_{2}-1))^{-t-\frac{1}{4}}\*((z_{1}-a)(z_{2}-a))^{-u-\frac{1}{4}}w(z_{1})w(z_{2})</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\Psi(\mathbf{x}) = (z_{1}z_{2})^{-s-\frac{1}{4}}((z_{1}-1)(z_{2}-1))^{-t-\frac{1}{4}}\*((z_{1}-a)(z_{2}-a))^{-u-\frac{1}{4}}w(z_{1})w(z_{2})</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Psi(x) = (x + y*I[1]*x + y*I[2])^(- s -(1)/(4))*((x + y*I[1]- 1)*(x + y*I[2]- 1))^(- t -(1)/(4))*((x + y*I[1]- a)*(x + y*I[2]- a))^(- u -(1)/(4))* w*(x + y*I[1])*w*(x + y*I[2])</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[CapitalPsi][x] == (Subscript[x + y*I, 1]*Subscript[x + y*I, 2])^(- s -Divide[1,4])*((Subscript[x + y*I, 1]- 1)*(Subscript[x + y*I, 2]- 1))^(- t -Divide[1,4])*((Subscript[x + y*I, 1]- a)*(Subscript[x + y*I, 2]- a))^(- u -Divide[1,4])* w*(Subscript[x + y*I, 1])*w*(Subscript[x + y*I, 2])</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/31.17#Ex6 31.17#Ex6] | | | [https://dlmf.nist.gov/31.17#Ex6 31.17#Ex6] || <math qid="Q9148">\alpha = -s-t-u-j-1</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha = -s-t-u-j-1</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha = - s - t - u - j - 1</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Alpha] == - s - t - u - j - 1</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/31.17#Ex7 31.17#Ex7] | | | [https://dlmf.nist.gov/31.17#Ex7 31.17#Ex7] || <math qid="Q9149">\beta = j-s-t-u</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\beta = j-s-t-u</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">beta = j - s - t - u</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Beta] == j - s - t - u</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/31.17#Ex8 31.17#Ex8] | | | [https://dlmf.nist.gov/31.17#Ex8 31.17#Ex8] || <math qid="Q9150">\gamma = -2s</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\gamma = -2s</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">gamma = - 2*s</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Gamma] == - 2*s</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/31.17#Ex9 31.17#Ex9] | | | [https://dlmf.nist.gov/31.17#Ex9 31.17#Ex9] || <math qid="Q9151">\delta = -2t</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\delta = -2t</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">delta = - 2*t</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Delta] == - 2*t</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/31.17#Ex10 31.17#Ex10] | | | [https://dlmf.nist.gov/31.17#Ex10 31.17#Ex10] || <math qid="Q9152">\epsilon = -2u</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\epsilon = -2u</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">epsilon = - 2*u</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Epsilon] == - 2*u</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/31.17#Ex11 31.17#Ex11] | | | [https://dlmf.nist.gov/31.17#Ex11 31.17#Ex11] || <math qid="Q9153">q = ah_{s}+2s(at+u)</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>q = ah_{s}+2s(at+u)</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">q = a*h[s]+ 2*s*(a*t + u)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">q == a*Subscript[h, s]+ 2*s*(a*t + u)</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.17.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{x_{s}^{2}}{z_{k}}+\frac{x_{t}^{2}}{z_{k}-1}+\frac{x_{u}^{2}}{z_{k}-a} = 0}
\frac{x_{s}^{2}}{z_{k}}+\frac{x_{t}^{2}}{z_{k}-1}+\frac{x_{u}^{2}}{z_{k}-a} = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | ((x[s])^(2))/(x + y*I[k])+((x[t])^(2))/(x + y*I[k]- 1)+((x[u])^(2))/(x + y*I[k]- a) = 0 |
Divide[(Subscript[x, s])^(2),Subscript[x + y*I, k]]+Divide[(Subscript[x, t])^(2),Subscript[x + y*I, k]- 1]+Divide[(Subscript[x, u])^(2),Subscript[x + y*I, k]- a] == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
31.17.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Psi(\mathbf{x}) = (z_{1}z_{2})^{-s-\frac{1}{4}}((z_{1}-1)(z_{2}-1))^{-t-\frac{1}{4}}\*((z_{1}-a)(z_{2}-a))^{-u-\frac{1}{4}}w(z_{1})w(z_{2})}
\Psi(\mathbf{x}) = (z_{1}z_{2})^{-s-\frac{1}{4}}((z_{1}-1)(z_{2}-1))^{-t-\frac{1}{4}}\*((z_{1}-a)(z_{2}-a))^{-u-\frac{1}{4}}w(z_{1})w(z_{2}) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Psi(x) = (x + y*I[1]*x + y*I[2])^(- s -(1)/(4))*((x + y*I[1]- 1)*(x + y*I[2]- 1))^(- t -(1)/(4))*((x + y*I[1]- a)*(x + y*I[2]- a))^(- u -(1)/(4))* w*(x + y*I[1])*w*(x + y*I[2]) |
\[CapitalPsi][x] == (Subscript[x + y*I, 1]*Subscript[x + y*I, 2])^(- s -Divide[1,4])*((Subscript[x + y*I, 1]- 1)*(Subscript[x + y*I, 2]- 1))^(- t -Divide[1,4])*((Subscript[x + y*I, 1]- a)*(Subscript[x + y*I, 2]- a))^(- u -Divide[1,4])* w*(Subscript[x + y*I, 1])*w*(Subscript[x + y*I, 2]) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
31.17#Ex6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \alpha = -s-t-u-j-1}
\alpha = -s-t-u-j-1 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | alpha = - s - t - u - j - 1 |
\[Alpha] == - s - t - u - j - 1 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
31.17#Ex7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \beta = j-s-t-u}
\beta = j-s-t-u |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | beta = j - s - t - u |
\[Beta] == j - s - t - u |
Skipped - no semantic math | Skipped - no semantic math | - | - |
31.17#Ex8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \gamma = -2s}
\gamma = -2s |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | gamma = - 2*s |
\[Gamma] == - 2*s |
Skipped - no semantic math | Skipped - no semantic math | - | - |
31.17#Ex9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \delta = -2t}
\delta = -2t |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | delta = - 2*t |
\[Delta] == - 2*t |
Skipped - no semantic math | Skipped - no semantic math | - | - |
31.17#Ex10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \epsilon = -2u}
\epsilon = -2u |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | epsilon = - 2*u |
\[Epsilon] == - 2*u |
Skipped - no semantic math | Skipped - no semantic math | - | - |
31.17#Ex11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle q = ah_{s}+2s(at+u)}
q = ah_{s}+2s(at+u) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | q = a*h[s]+ 2*s*(a*t + u) |
q == a*Subscript[h, s]+ 2*s*(a*t + u) |
Skipped - no semantic math | Skipped - no semantic math | - | - |