33.19: 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/33.19.E4 33.19.E4] | | | [https://dlmf.nist.gov/33.19.E4 33.19.E4] || <math qid="Q9662">\gamma_{k}-\gamma_{k-1}+\tfrac{1}{4}(k-1)(k-2\ell-2)\epsilon\gamma_{k-2} = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\gamma_{k}-\gamma_{k-1}+\tfrac{1}{4}(k-1)(k-2\ell-2)\epsilon\gamma_{k-2} = 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">gamma[k]- gamma[k - 1]+(1)/(4)*(k - 1)*(k - 2*ell - 2)*epsilon*gamma[k - 2] = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Gamma], k]- Subscript[\[Gamma], k - 1]+Divide[1,4]*(k - 1)*(k - 2*\[ScriptL]- 2)*\[Epsilon]*Subscript[\[Gamma], k - 2] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/33.19.E6 33.19.E6] | | | [https://dlmf.nist.gov/33.19.E6 33.19.E6] || <math qid="Q9665">k(k+2\ell+1)\delta_{k}+2\delta_{k-1}+\epsilon\delta_{k-2}+2(2k+2\ell+1)A(\epsilon,\ell)\alpha_{k} = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>k(k+2\ell+1)\delta_{k}+2\delta_{k-1}+\epsilon\delta_{k-2}+2(2k+2\ell+1)A(\epsilon,\ell)\alpha_{k} = 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">k*(k + 2*ell + 1)*delta[k]+ 2*delta[k - 1]+ epsilon*delta[k - 2]+ 2*(2*k + 2*ell + 1)*(product(1 + epsilon*(k)^(2), k = 0..ell))*alpha[k] = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">k*(k + 2*\[ScriptL]+ 1)*Subscript[\[Delta], k]+ 2*Subscript[\[Delta], k - 1]+ \[Epsilon]*Subscript[\[Delta], k - 2]+ 2*(2*k + 2*\[ScriptL]+ 1)*(Product[1 + \[Epsilon]*(k)^(2), {k, 0, \[ScriptL]}, GenerateConditions->None])*Subscript[\[Alpha], k] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/33.19.E7 33.19.E7] | | | [https://dlmf.nist.gov/33.19.E7 33.19.E7] || <math qid="Q9666">\beta_{k}-\beta_{k-1}+\tfrac{1}{4}(k-1)(k-2\ell-2)\epsilon\beta_{k-2}+\tfrac{1}{2}(k-1)\epsilon\gamma_{k-2} = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\beta_{k}-\beta_{k-1}+\tfrac{1}{4}(k-1)(k-2\ell-2)\epsilon\beta_{k-2}+\tfrac{1}{2}(k-1)\epsilon\gamma_{k-2} = 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">beta[k]- beta[k - 1]+(1)/(4)*(k - 1)*(k - 2*ell - 2)*epsilon*beta[k - 2]+(1)/(2)*(k - 1)*epsilon*gamma[k - 2] = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Beta], k]- Subscript[\[Beta], k - 1]+Divide[1,4]*(k - 1)*(k - 2*\[ScriptL]- 2)*\[Epsilon]*Subscript[\[Beta], k - 2]+Divide[1,2]*(k - 1)*\[Epsilon]*Subscript[\[Gamma], k - 2] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|} | |} | ||
</div> | </div> | ||
Latest revision as of 12:14, 28 June 2021
| DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
|---|---|---|---|---|---|---|---|---|
| 33.19.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \gamma_{k}-\gamma_{k-1}+\tfrac{1}{4}(k-1)(k-2\ell-2)\epsilon\gamma_{k-2} = 0}
\gamma_{k}-\gamma_{k-1}+\tfrac{1}{4}(k-1)(k-2\ell-2)\epsilon\gamma_{k-2} = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | gamma[k]- gamma[k - 1]+(1)/(4)*(k - 1)*(k - 2*ell - 2)*epsilon*gamma[k - 2] = 0 |
Subscript[\[Gamma], k]- Subscript[\[Gamma], k - 1]+Divide[1,4]*(k - 1)*(k - 2*\[ScriptL]- 2)*\[Epsilon]*Subscript[\[Gamma], k - 2] == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 33.19.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle k(k+2\ell+1)\delta_{k}+2\delta_{k-1}+\epsilon\delta_{k-2}+2(2k+2\ell+1)A(\epsilon,\ell)\alpha_{k} = 0}
k(k+2\ell+1)\delta_{k}+2\delta_{k-1}+\epsilon\delta_{k-2}+2(2k+2\ell+1)A(\epsilon,\ell)\alpha_{k} = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | k*(k + 2*ell + 1)*delta[k]+ 2*delta[k - 1]+ epsilon*delta[k - 2]+ 2*(2*k + 2*ell + 1)*(product(1 + epsilon*(k)^(2), k = 0..ell))*alpha[k] = 0 |
k*(k + 2*\[ScriptL]+ 1)*Subscript[\[Delta], k]+ 2*Subscript[\[Delta], k - 1]+ \[Epsilon]*Subscript[\[Delta], k - 2]+ 2*(2*k + 2*\[ScriptL]+ 1)*(Product[1 + \[Epsilon]*(k)^(2), {k, 0, \[ScriptL]}, GenerateConditions->None])*Subscript[\[Alpha], k] == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 33.19.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \beta_{k}-\beta_{k-1}+\tfrac{1}{4}(k-1)(k-2\ell-2)\epsilon\beta_{k-2}+\tfrac{1}{2}(k-1)\epsilon\gamma_{k-2} = 0}
\beta_{k}-\beta_{k-1}+\tfrac{1}{4}(k-1)(k-2\ell-2)\epsilon\beta_{k-2}+\tfrac{1}{2}(k-1)\epsilon\gamma_{k-2} = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | beta[k]- beta[k - 1]+(1)/(4)*(k - 1)*(k - 2*ell - 2)*epsilon*beta[k - 2]+(1)/(2)*(k - 1)*epsilon*gamma[k - 2] = 0 |
Subscript[\[Beta], k]- Subscript[\[Beta], k - 1]+Divide[1,4]*(k - 1)*(k - 2*\[ScriptL]- 2)*\[Epsilon]*Subscript[\[Beta], k - 2]+Divide[1,2]*(k - 1)*\[Epsilon]*Subscript[\[Gamma], k - 2] == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |