3.9: 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/3.9.E1 3.9.E1] | | | [https://dlmf.nist.gov/3.9.E1 3.9.E1] || <math qid="Q1386">\lim_{n\to\infty}\frac{t_{n}-\sigma}{s_{n}-\sigma} = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\lim_{n\to\infty}\frac{t_{n}-\sigma}{s_{n}-\sigma} = 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">limit((t[n]- sigma)/(s[n]- sigma), n = infinity) = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Limit[Divide[Subscript[t, n]- \[Sigma],Subscript[s, n]- \[Sigma]], n -> Infinity, GenerateConditions->None] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/3.9.E7 3.9.E7] | | | [https://dlmf.nist.gov/3.9.E7 3.9.E7] || <math qid="Q1392">t_{n} = s_{n}-\frac{(\Delta s_{n})^{2}}{\Delta^{2}s_{n}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>t_{n} = s_{n}-\frac{(\Delta s_{n})^{2}}{\Delta^{2}s_{n}}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">t[n] = s[n]-((Delta*s[n])^(2))/((Delta)^(2)* s[n])</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[t, n] == Subscript[s, n]-Divide[(\[CapitalDelta]*Subscript[s, n])^(2),\[CapitalDelta]^(2)* Subscript[s, n]]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/3.9.E8 3.9.E8] | | | [https://dlmf.nist.gov/3.9.E8 3.9.E8] || <math qid="Q1393">\lim_{n\to\infty}\frac{s_{n+1}-\sigma}{s_{n}-\sigma} = \rho</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\lim_{n\to\infty}\frac{s_{n+1}-\sigma}{s_{n}-\sigma} = \rho</syntaxhighlight> || <math>\abs{\rho} < 1</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">limit((s[n + 1]- sigma)/(s[n]- sigma), n = infinity) = rho</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Limit[Divide[Subscript[s, n + 1]- \[Sigma],Subscript[s, n]- \[Sigma]], n -> Infinity, GenerateConditions->None] == \[Rho]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/3.9.E9 3.9.E9] | | | [https://dlmf.nist.gov/3.9.E9 3.9.E9] || <math qid="Q1394">t_{n,2k} = \frac{H_{k+1}(s_{n})}{H_{k}(\Delta^{2}s_{n})}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>t_{n,2k} = \frac{H_{k+1}(s_{n})}{H_{k}(\Delta^{2}s_{n})}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">t[n , 2*k] = (H[k + 1](s[n]))/(H[k]((Delta)^(2)* s[n]))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[t, n , 2*k] == Divide[Subscript[H, k + 1][Subscript[s, n]],Subscript[H, k][\[CapitalDelta]^(2)* Subscript[s, n]]]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/3.9#Ex1 3.9#Ex1] | | | [https://dlmf.nist.gov/3.9#Ex1 3.9#Ex1] || <math qid="Q1396">\varepsilon_{-1}^{(n)} = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\varepsilon_{-1}^{(n)} = 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(varepsilon[- 1])^(n) = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(Subscript[\[CurlyEpsilon], - 1])^(n) == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/3.9#Ex2 3.9#Ex2] | | | [https://dlmf.nist.gov/3.9#Ex2 3.9#Ex2] || <math qid="Q1397">\varepsilon_{0}^{(n)} = s_{n}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\varepsilon_{0}^{(n)} = s_{n}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(varepsilon[0])^(n) = s[n]</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(Subscript[\[CurlyEpsilon], 0])^(n) == Subscript[s, n]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/3.9#Ex3 3.9#Ex3] | | | [https://dlmf.nist.gov/3.9#Ex3 3.9#Ex3] || <math qid="Q1398">\varepsilon_{m+1}^{(n)} = \varepsilon_{m-1}^{(n+1)}+\frac{1}{\varepsilon_{m}^{(n+1)}-\varepsilon_{m}^{(n)}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\varepsilon_{m+1}^{(n)} = \varepsilon_{m-1}^{(n+1)}+\frac{1}{\varepsilon_{m}^{(n+1)}-\varepsilon_{m}^{(n)}}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(varepsilon[m + 1])^(n) = (varepsilon[m - 1])^(n + 1)+(1)/((varepsilon[m])^(n + 1)- (varepsilon[m])^(n))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(Subscript[\[CurlyEpsilon], m + 1])^(n) == (Subscript[\[CurlyEpsilon], m - 1])^(n + 1)+Divide[1,(Subscript[\[CurlyEpsilon], m])^(n + 1)- (Subscript[\[CurlyEpsilon], m])^(n)]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/3.9.E12 3.9.E12] | | | [https://dlmf.nist.gov/3.9.E12 3.9.E12] || <math qid="Q1399">s_{n} = \sum_{j=1}^{n}\frac{(-1)^{j+1}}{j^{2}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>s_{n} = \sum_{j=1}^{n}\frac{(-1)^{j+1}}{j^{2}}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">s[n] = sum(((- 1)^(j + 1))/((j)^(2)), j = 1..n)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[s, n] == Sum[Divide[(- 1)^(j + 1),(j)^(2)], {j, 1, n}, GenerateConditions->None]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/3.9.E13 3.9.E13] | | | [https://dlmf.nist.gov/3.9.E13 3.9.E13] || <math qid="Q1400">{\cal L}_{k}^{(n)}(s) = \frac{\sum_{j=0}^{k}(-1)^{j}\binom{k}{j}c_{j,k,n}\ifrac{s_{n+j}}{a_{n+j+1}}}{\sum_{j=0}^{k}(-1)^{j}\binom{k}{j}c_{j,k,n}/a_{n+j+1}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>{\cal L}_{k}^{(n)}(s) = \frac{\sum_{j=0}^{k}(-1)^{j}\binom{k}{j}c_{j,k,n}\ifrac{s_{n+j}}{a_{n+j+1}}}{\sum_{j=0}^{k}(-1)^{j}\binom{k}{j}c_{j,k,n}/a_{n+j+1}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(L[k])^(n)(s) = (sum((- 1)^(j)*binomial(k,j)*(((n + j + 1)^(k - 1))/((n + k + 1)^(k - 1)))*(s[n + j])/(a[n + j + 1]), j = 0..k))/(sum((- 1)^(j)*binomial(k,j)*(((n + j + 1)^(k - 1))/((n + k + 1)^(k - 1)))/a[n + j + 1], j = 0..k))</syntaxhighlight> || <syntaxhighlight lang=mathematica>(Subscript[L, k])^(n)[s] == Divide[Sum[(- 1)^(j)*Binomial[k,j]*(Divide[(n + j + 1)^(k - 1),(n + k + 1)^(k - 1)])*Divide[Subscript[s, n + j],Subscript[a, n + j + 1]], {j, 0, k}, GenerateConditions->None],Sum[(- 1)^(j)*Binomial[k,j]*(Divide[(n + j + 1)^(k - 1),(n + k + 1)^(k - 1)])/Subscript[a, n + j + 1], {j, 0, k}, GenerateConditions->None]]</syntaxhighlight> || Failure || Failure || Error || Skipped - Because timed out | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/3.9.E15 3.9.E15] | | | [https://dlmf.nist.gov/3.9.E15 3.9.E15] || <math qid="Q1402">\lim_{n\to\infty}\frac{s_{n+1}-\sigma}{s_{n}-\sigma} = 1</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\lim_{n\to\infty}\frac{s_{n+1}-\sigma}{s_{n}-\sigma} = 1</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">limit((s[n + 1]- sigma)/(s[n]- sigma), n = infinity) = 1</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Limit[Divide[Subscript[s, n + 1]- \[Sigma],Subscript[s, n]- \[Sigma]], n -> Infinity, GenerateConditions->None] == 1</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/3.9.E16 3.9.E16] | | | [https://dlmf.nist.gov/3.9.E16 3.9.E16] || <math qid="Q1403">c_{j,k,n} = \frac{\Pochhammersym{\beta+n+j}{k-1}}{\Pochhammersym{\beta+n+k}{k-1}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>c_{j,k,n} = \frac{\Pochhammersym{\beta+n+j}{k-1}}{\Pochhammersym{\beta+n+k}{k-1}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(((n + j + 1)^(k - 1))/((n + k + 1)^(k - 1))) = (pochhammer(beta + n + j, k - 1))/(pochhammer(beta + n + k, k - 1))</syntaxhighlight> || <syntaxhighlight lang=mathematica>(Divide[(n + j + 1)^(k - 1),(n + k + 1)^(k - 1)]) == Divide[Pochhammer[\[Beta]+ n + j, k - 1],Pochhammer[\[Beta]+ n + k, k - 1]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [36 / 81]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -.277777778e-1 | ||
Test Values: {beta = 1.5, j = 1, k = 2, n = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.181818182e-1 | Test Values: {beta = 1.5, j = 1, k = 2, n = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.181818182e-1 | ||
Test Values: {beta = 1.5, j = 1, k = 2, n = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.128205129e-1 | Test Values: {beta = 1.5, j = 1, k = 2, n = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.128205129e-1 | ||
Line 42: | Line 42: | ||
Test Values: {Rule[j, 1], Rule[k, 2], Rule[n, 2], Rule[β, 1.5]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[j, 1], Rule[k, 2], Rule[n, 2], Rule[β, 1.5]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/3.9.E17 3.9.E17] | | | [https://dlmf.nist.gov/3.9.E17 3.9.E17] || <math qid="Q1404">c_{j,k,n} = \frac{\Pochhammersym{-\gamma-n-j}{k-1}}{\Pochhammersym{-\gamma-n-k}{k-1}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>c_{j,k,n} = \frac{\Pochhammersym{-\gamma-n-j}{k-1}}{\Pochhammersym{-\gamma-n-k}{k-1}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(((n + j + 1)^(k - 1))/((n + k + 1)^(k - 1))) = (pochhammer(- gamma - n - j, k - 1))/(pochhammer(- gamma - n - k, k - 1))</syntaxhighlight> || <syntaxhighlight lang=mathematica>(Divide[(n + j + 1)^(k - 1),(n + k + 1)^(k - 1)]) == Divide[Pochhammer[- \[Gamma]- n - j, k - 1],Pochhammer[- \[Gamma]- n - k, k - 1]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [120 / 270]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .295470259e-1 | ||
Test Values: {gamma = 1/2*3^(1/2)+1/2*I, j = 1, k = 2, n = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .184734286e-1 | Test Values: {gamma = 1/2*3^(1/2)+1/2*I, j = 1, k = 2, n = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .184734286e-1 | ||
Test Values: {gamma = 1/2*3^(1/2)+1/2*I, j = 1, k = 2, n = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .126342713e-1 | Test Values: {gamma = 1/2*3^(1/2)+1/2*I, j = 1, k = 2, n = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .126342713e-1 |
Latest revision as of 11:04, 28 June 2021
DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
---|---|---|---|---|---|---|---|---|
3.9.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \lim_{n\to\infty}\frac{t_{n}-\sigma}{s_{n}-\sigma} = 0}
\lim_{n\to\infty}\frac{t_{n}-\sigma}{s_{n}-\sigma} = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | limit((t[n]- sigma)/(s[n]- sigma), n = infinity) = 0 |
Limit[Divide[Subscript[t, n]- \[Sigma],Subscript[s, n]- \[Sigma]], n -> Infinity, GenerateConditions->None] == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
3.9.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle t_{n} = s_{n}-\frac{(\Delta s_{n})^{2}}{\Delta^{2}s_{n}}}
t_{n} = s_{n}-\frac{(\Delta s_{n})^{2}}{\Delta^{2}s_{n}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | t[n] = s[n]-((Delta*s[n])^(2))/((Delta)^(2)* s[n]) |
Subscript[t, n] == Subscript[s, n]-Divide[(\[CapitalDelta]*Subscript[s, n])^(2),\[CapitalDelta]^(2)* Subscript[s, n]] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
3.9.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \lim_{n\to\infty}\frac{s_{n+1}-\sigma}{s_{n}-\sigma} = \rho}
\lim_{n\to\infty}\frac{s_{n+1}-\sigma}{s_{n}-\sigma} = \rho |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \abs{\rho} < 1} | limit((s[n + 1]- sigma)/(s[n]- sigma), n = infinity) = rho |
Limit[Divide[Subscript[s, n + 1]- \[Sigma],Subscript[s, n]- \[Sigma]], n -> Infinity, GenerateConditions->None] == \[Rho] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
3.9.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle t_{n,2k} = \frac{H_{k+1}(s_{n})}{H_{k}(\Delta^{2}s_{n})}}
t_{n,2k} = \frac{H_{k+1}(s_{n})}{H_{k}(\Delta^{2}s_{n})} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | t[n , 2*k] = (H[k + 1](s[n]))/(H[k]((Delta)^(2)* s[n])) |
Subscript[t, n , 2*k] == Divide[Subscript[H, k + 1][Subscript[s, n]],Subscript[H, k][\[CapitalDelta]^(2)* Subscript[s, n]]] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
3.9#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \varepsilon_{-1}^{(n)} = 0}
\varepsilon_{-1}^{(n)} = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (varepsilon[- 1])^(n) = 0 |
(Subscript[\[CurlyEpsilon], - 1])^(n) == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
3.9#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \varepsilon_{0}^{(n)} = s_{n}}
\varepsilon_{0}^{(n)} = s_{n} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (varepsilon[0])^(n) = s[n] |
(Subscript[\[CurlyEpsilon], 0])^(n) == Subscript[s, n] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
3.9#Ex3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \varepsilon_{m+1}^{(n)} = \varepsilon_{m-1}^{(n+1)}+\frac{1}{\varepsilon_{m}^{(n+1)}-\varepsilon_{m}^{(n)}}}
\varepsilon_{m+1}^{(n)} = \varepsilon_{m-1}^{(n+1)}+\frac{1}{\varepsilon_{m}^{(n+1)}-\varepsilon_{m}^{(n)}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (varepsilon[m + 1])^(n) = (varepsilon[m - 1])^(n + 1)+(1)/((varepsilon[m])^(n + 1)- (varepsilon[m])^(n)) |
(Subscript[\[CurlyEpsilon], m + 1])^(n) == (Subscript[\[CurlyEpsilon], m - 1])^(n + 1)+Divide[1,(Subscript[\[CurlyEpsilon], m])^(n + 1)- (Subscript[\[CurlyEpsilon], m])^(n)] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
3.9.E12 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle s_{n} = \sum_{j=1}^{n}\frac{(-1)^{j+1}}{j^{2}}}
s_{n} = \sum_{j=1}^{n}\frac{(-1)^{j+1}}{j^{2}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | s[n] = sum(((- 1)^(j + 1))/((j)^(2)), j = 1..n) |
Subscript[s, n] == Sum[Divide[(- 1)^(j + 1),(j)^(2)], {j, 1, n}, GenerateConditions->None] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
3.9.E13 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle {\cal L}_{k}^{(n)}(s) = \frac{\sum_{j=0}^{k}(-1)^{j}\binom{k}{j}c_{j,k,n}\ifrac{s_{n+j}}{a_{n+j+1}}}{\sum_{j=0}^{k}(-1)^{j}\binom{k}{j}c_{j,k,n}/a_{n+j+1}}}
{\cal L}_{k}^{(n)}(s) = \frac{\sum_{j=0}^{k}(-1)^{j}\binom{k}{j}c_{j,k,n}\ifrac{s_{n+j}}{a_{n+j+1}}}{\sum_{j=0}^{k}(-1)^{j}\binom{k}{j}c_{j,k,n}/a_{n+j+1}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (L[k])^(n)(s) = (sum((- 1)^(j)*binomial(k,j)*(((n + j + 1)^(k - 1))/((n + k + 1)^(k - 1)))*(s[n + j])/(a[n + j + 1]), j = 0..k))/(sum((- 1)^(j)*binomial(k,j)*(((n + j + 1)^(k - 1))/((n + k + 1)^(k - 1)))/a[n + j + 1], j = 0..k))
|
(Subscript[L, k])^(n)[s] == Divide[Sum[(- 1)^(j)*Binomial[k,j]*(Divide[(n + j + 1)^(k - 1),(n + k + 1)^(k - 1)])*Divide[Subscript[s, n + j],Subscript[a, n + j + 1]], {j, 0, k}, GenerateConditions->None],Sum[(- 1)^(j)*Binomial[k,j]*(Divide[(n + j + 1)^(k - 1),(n + k + 1)^(k - 1)])/Subscript[a, n + j + 1], {j, 0, k}, GenerateConditions->None]]
|
Failure | Failure | Error | Skipped - Because timed out |
3.9.E15 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \lim_{n\to\infty}\frac{s_{n+1}-\sigma}{s_{n}-\sigma} = 1}
\lim_{n\to\infty}\frac{s_{n+1}-\sigma}{s_{n}-\sigma} = 1 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | limit((s[n + 1]- sigma)/(s[n]- sigma), n = infinity) = 1 |
Limit[Divide[Subscript[s, n + 1]- \[Sigma],Subscript[s, n]- \[Sigma]], n -> Infinity, GenerateConditions->None] == 1 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
3.9.E16 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{j,k,n} = \frac{\Pochhammersym{\beta+n+j}{k-1}}{\Pochhammersym{\beta+n+k}{k-1}}}
c_{j,k,n} = \frac{\Pochhammersym{\beta+n+j}{k-1}}{\Pochhammersym{\beta+n+k}{k-1}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (((n + j + 1)^(k - 1))/((n + k + 1)^(k - 1))) = (pochhammer(beta + n + j, k - 1))/(pochhammer(beta + n + k, k - 1))
|
(Divide[(n + j + 1)^(k - 1),(n + k + 1)^(k - 1)]) == Divide[Pochhammer[\[Beta]+ n + j, k - 1],Pochhammer[\[Beta]+ n + k, k - 1]]
|
Failure | Failure | Failed [36 / 81] Result: -.277777778e-1
Test Values: {beta = 1.5, j = 1, k = 2, n = 1}
Result: -.181818182e-1
Test Values: {beta = 1.5, j = 1, k = 2, n = 2}
Result: -.128205129e-1
Test Values: {beta = 1.5, j = 1, k = 2, n = 3}
Result: -.805594406e-1
Test Values: {beta = 1.5, j = 1, k = 3, n = 1}
... skip entries to safe data |
Failed [36 / 81]
Result: -0.02777777777777768
Test Values: {Rule[j, 1], Rule[k, 2], Rule[n, 1], Rule[β, 1.5]}
Result: -0.018181818181818188
Test Values: {Rule[j, 1], Rule[k, 2], Rule[n, 2], Rule[β, 1.5]}
... skip entries to safe data |
3.9.E17 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{j,k,n} = \frac{\Pochhammersym{-\gamma-n-j}{k-1}}{\Pochhammersym{-\gamma-n-k}{k-1}}}
c_{j,k,n} = \frac{\Pochhammersym{-\gamma-n-j}{k-1}}{\Pochhammersym{-\gamma-n-k}{k-1}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (((n + j + 1)^(k - 1))/((n + k + 1)^(k - 1))) = (pochhammer(- gamma - n - j, k - 1))/(pochhammer(- gamma - n - k, k - 1))
|
(Divide[(n + j + 1)^(k - 1),(n + k + 1)^(k - 1)]) == Divide[Pochhammer[- \[Gamma]- n - j, k - 1],Pochhammer[- \[Gamma]- n - k, k - 1]]
|
Failure | Failure | Failed [120 / 270] Result: .295470259e-1
Test Values: {gamma = 1/2*3^(1/2)+1/2*I, j = 1, k = 2, n = 1}
Result: .184734286e-1
Test Values: {gamma = 1/2*3^(1/2)+1/2*I, j = 1, k = 2, n = 2}
Result: .126342713e-1
Test Values: {gamma = 1/2*3^(1/2)+1/2*I, j = 1, k = 2, n = 3}
Result: .1117465202
Test Values: {gamma = 1/2*3^(1/2)+1/2*I, j = 1, k = 3, n = 1}
... skip entries to safe data |
Failed [120 / 270]
Result: Complex[0.004408174927732822, -0.03290306559789975]
Test Values: {Rule[j, 1], Rule[k, 2], Rule[n, 1], Rule[γ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[0.003359414702213348, -0.020895843920590226]
Test Values: {Rule[j, 1], Rule[k, 2], Rule[n, 2], Rule[γ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
... skip entries to safe data |