16.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/16.8.E4 16.8.E4] | | | [https://dlmf.nist.gov/16.8.E4 16.8.E4] || <math qid="Q5222">z^{q}D^{q+1}w+\sum_{j=1}^{q}z^{j-1}(\alpha_{j}z+\beta_{j})D^{j}w+\alpha_{0}w = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>z^{q}D^{q+1}w+\sum_{j=1}^{q}z^{j-1}(\alpha_{j}z+\beta_{j})D^{j}w+\alpha_{0}w = 0</syntaxhighlight> || <math>p \leq q</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(z)^(q)* (D)^(q + 1)* w + sum((z)^(j - 1)*(alpha[j]*z + beta[j])*(D)^(j)* w , j = 1..q)+ alpha[0]*w = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(z)^(q)* (D)^(q + 1)* w + Sum[(z)^(j - 1)*(Subscript[\[Alpha], j]*z + Subscript[\[Beta], j])*(D)^(j)* w , {j, 1, q}, GenerateConditions->None]+ Subscript[\[Alpha], 0]*w == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/16.8.E5 16.8.E5] | | | [https://dlmf.nist.gov/16.8.E5 16.8.E5] || <math qid="Q5223">z^{q}(1-z)D^{q+1}w+\sum_{j=1}^{q}z^{j-1}(\alpha_{j}z+\beta_{j})D^{j}w+\alpha_{0}w = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>z^{q}(1-z)D^{q+1}w+\sum_{j=1}^{q}z^{j-1}(\alpha_{j}z+\beta_{j})D^{j}w+\alpha_{0}w = 0</syntaxhighlight> || <math>p = q+1</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(z)^(q)*(1 - z)*(D)^(q + 1)* w + sum((z)^(j - 1)*(alpha[j]*z + beta[j])*(D)^(j)* w , j = 1..q)+ alpha[0]*w = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(z)^(q)*(1 - z)*(D)^(q + 1)* w + Sum[(z)^(j - 1)*(Subscript[\[Alpha], j]*z + Subscript[\[Beta], j])*(D)^(j)* w , {j, 1, q}, GenerateConditions->None]+ Subscript[\[Alpha], 0]*w == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|} | |} | ||
</div> | </div> | ||
Latest revision as of 11:41, 28 June 2021
| DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
|---|---|---|---|---|---|---|---|---|
| 16.8.E4 | z^{q}D^{q+1}w+\sum_{j=1}^{q}z^{j-1}(\alpha_{j}z+\beta_{j})D^{j}w+\alpha_{0}w = 0 |
(z)^(q)* (D)^(q + 1)* w + sum((z)^(j - 1)*(alpha[j]*z + beta[j])*(D)^(j)* w , j = 1..q)+ alpha[0]*w = 0 |
(z)^(q)* (D)^(q + 1)* w + Sum[(z)^(j - 1)*(Subscript[\[Alpha], j]*z + Subscript[\[Beta], j])*(D)^(j)* w , {j, 1, q}, GenerateConditions->None]+ Subscript[\[Alpha], 0]*w == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - | |
| 16.8.E5 | z^{q}(1-z)D^{q+1}w+\sum_{j=1}^{q}z^{j-1}(\alpha_{j}z+\beta_{j})D^{j}w+\alpha_{0}w = 0 |
(z)^(q)*(1 - z)*(D)^(q + 1)* w + sum((z)^(j - 1)*(alpha[j]*z + beta[j])*(D)^(j)* w , j = 1..q)+ alpha[0]*w = 0 |
(z)^(q)*(1 - z)*(D)^(q + 1)* w + Sum[(z)^(j - 1)*(Subscript[\[Alpha], j]*z + Subscript[\[Beta], j])*(D)^(j)* w , {j, 1, q}, GenerateConditions->None]+ Subscript[\[Alpha], 0]*w == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |