18.2: 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/18.2.E1 18.2.E1] | | | [https://dlmf.nist.gov/18.2.E1 18.2.E1] || <math qid="Q5490">\int_{a}^{b}p_{n}(x)p_{m}(x)w(x)\diff{x} = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{a}^{b}p_{n}(x)p_{m}(x)w(x)\diff{x} = 0</syntaxhighlight> || <math>n \neq m</math> || <syntaxhighlight lang=mathematica>int(p[n](x)* p[m](x)* w(x), x = a..b) = 0</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Subscript[p, n][x]* Subscript[p, m][x]* w[x], {x, a, b}, GenerateConditions->None] == 0</syntaxhighlight> || Failure || Failure || Successful [Tested: 300] || Successful [Tested: 300] | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/18.2.E2 18.2.E2] | | | [https://dlmf.nist.gov/18.2.E2 18.2.E2] || <math qid="Q5491">\sum_{x\in X}p_{n}(x)p_{m}(x)w_{x} = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\sum_{x\in X}p_{n}(x)p_{m}(x)w_{x} = 0</syntaxhighlight> || <math>n \neq m</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">sum(p[n](x)* p[m](x)* w[x], x in X) = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Sum[Subscript[p, n][x]* Subscript[p, m][x]* Subscript[w, x], {x, X}, GenerateConditions->None] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/18.2.E3 18.2.E3] | | | [https://dlmf.nist.gov/18.2.E3 18.2.E3] || <math qid="Q5492">\sum_{x\in X}p_{n}(x)p_{m}(x)w_{x} = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\sum_{x\in X}p_{n}(x)p_{m}(x)w_{x} = 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">sum(p[n](x)* p[m](x)* w[x], x in X) = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Sum[Subscript[p, n][x]* Subscript[p, m][x]* Subscript[w, x], {x, X}, GenerateConditions->None] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/18.2.E4 18.2.E4] | | | [https://dlmf.nist.gov/18.2.E4 18.2.E4] || <math qid="Q5493">\sum_{x\in X}x^{2n}w_{x} < \infty</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\sum_{x\in X}x^{2n}w_{x} < \infty</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">sum((x)^(2*n)* w[x](<)*infinity, x in X)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Sum[(x)^(2*n)* Subscript[w, x][<]*Infinity, {x, X}, GenerateConditions->None]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/18.2.E8 18.2.E8] | | | [https://dlmf.nist.gov/18.2.E8 18.2.E8] || <math qid="Q5497">p_{n+1}(x) = (A_{n}x+B_{n})p_{n}(x)-C_{n}p_{n-1}(x)</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>p_{n+1}(x) = (A_{n}x+B_{n})p_{n}(x)-C_{n}p_{n-1}(x)</syntaxhighlight> || <math>n \geq 0</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">p[n + 1](x) = (((k[n + 1])/(k[n]))*x + B[n])*p[n](x)- C[n]*p[n - 1](x)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[p, n + 1][x] == ((Divide[Subscript[k, n + 1],Subscript[k, n]])*x + Subscript[B, n])*Subscript[p, n][x]- Subscript[C, n]*Subscript[p, n - 1][x]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|} | |} | ||
</div> | </div> | ||
Latest revision as of 11:44, 28 June 2021
| DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
|---|---|---|---|---|---|---|---|---|
| 18.2.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{a}^{b}p_{n}(x)p_{m}(x)w(x)\diff{x} = 0}
\int_{a}^{b}p_{n}(x)p_{m}(x)w(x)\diff{x} = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle n \neq m} | int(p[n](x)* p[m](x)* w(x), x = a..b) = 0
|
Integrate[Subscript[p, n][x]* Subscript[p, m][x]* w[x], {x, a, b}, GenerateConditions->None] == 0
|
Failure | Failure | Successful [Tested: 300] | Successful [Tested: 300] |
| 18.2.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{x\in X}p_{n}(x)p_{m}(x)w_{x} = 0}
\sum_{x\in X}p_{n}(x)p_{m}(x)w_{x} = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle n \neq m} | sum(p[n](x)* p[m](x)* w[x], x in X) = 0 |
Sum[Subscript[p, n][x]* Subscript[p, m][x]* Subscript[w, x], {x, X}, GenerateConditions->None] == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 18.2.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{x\in X}p_{n}(x)p_{m}(x)w_{x} = 0}
\sum_{x\in X}p_{n}(x)p_{m}(x)w_{x} = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | sum(p[n](x)* p[m](x)* w[x], x in X) = 0 |
Sum[Subscript[p, n][x]* Subscript[p, m][x]* Subscript[w, x], {x, X}, GenerateConditions->None] == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 18.2.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{x\in X}x^{2n}w_{x} < \infty}
\sum_{x\in X}x^{2n}w_{x} < \infty |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | sum((x)^(2*n)* w[x](<)*infinity, x in X) |
Sum[(x)^(2*n)* Subscript[w, x][<]*Infinity, {x, X}, GenerateConditions->None] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 18.2.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle p_{n+1}(x) = (A_{n}x+B_{n})p_{n}(x)-C_{n}p_{n-1}(x)}
p_{n+1}(x) = (A_{n}x+B_{n})p_{n}(x)-C_{n}p_{n-1}(x) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle n \geq 0} | p[n + 1](x) = (((k[n + 1])/(k[n]))*x + B[n])*p[n](x)- C[n]*p[n - 1](x) |
Subscript[p, n + 1][x] == ((Divide[Subscript[k, n + 1],Subscript[k, n]])*x + Subscript[B, n])*Subscript[p, n][x]- Subscript[C, n]*Subscript[p, n - 1][x] |
Skipped - no semantic math | Skipped - no semantic math | - | - |