26.11: 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/26.11.E2 26.11.E2] | | | [https://dlmf.nist.gov/26.11.E2 26.11.E2] || <math qid="Q7905">\ncompositions[m]@{0} = \Kroneckerdelta{0}{m}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\ncompositions[m]@{0} = \Kroneckerdelta{0}{m}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>numbcomp(0, m) = KroneckerDelta[0, m]</syntaxhighlight> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || Error || Missing Macro Error || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/26.11.E3 26.11.E3] | | | [https://dlmf.nist.gov/26.11.E3 26.11.E3] || <math qid="Q7906">\ncompositions[m]@{n} = \binom{n-1}{m-1}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\ncompositions[m]@{n} = \binom{n-1}{m-1}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>numbcomp(n, m) = binomial(n - 1,m - 1)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || Error || Missing Macro Error || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/26.11.E4 26.11.E4] | | | [https://dlmf.nist.gov/26.11.E4 26.11.E4] || <math qid="Q7907">\sum_{n=0}^{\infty}\ncompositions[m]@{n}q^{n} = \frac{q^{m}}{(1-q)^{m}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\sum_{n=0}^{\infty}\ncompositions[m]@{n}q^{n} = \frac{q^{m}}{(1-q)^{m}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>sum(numbcomp(n, m)*(q)^(n), n = 0..infinity) = ((q)^(m))/((1 - q)^(m))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || Error || Missing Macro Error || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/26.11#Ex1 26.11#Ex1] | | | [https://dlmf.nist.gov/26.11#Ex1 26.11#Ex1] || <math qid="Q7908">F_{0} = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>F_{0} = 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">F[0] = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[F, 0] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/26.11#Ex2 26.11#Ex2] | | | [https://dlmf.nist.gov/26.11#Ex2 26.11#Ex2] || <math qid="Q7909">F_{1} = 1</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>F_{1} = 1</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">F[1] = 1</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[F, 1] == 1</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/26.11#Ex3 26.11#Ex3] | | | [https://dlmf.nist.gov/26.11#Ex3 26.11#Ex3] || <math qid="Q7910">F_{n} = F_{n-1}+F_{n-2}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>F_{n} = F_{n-1}+F_{n-2}</syntaxhighlight> || <math>n \geq 2</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">F[n] = F[n - 1]+ F[n - 2]</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[F, n] == Subscript[F, n - 1]+ Subscript[F, n - 2]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/26.11.E7 26.11.E7] | | | [https://dlmf.nist.gov/26.11.E7 26.11.E7] || <math qid="Q7912">F_{n} = \frac{(1+\sqrt{5})^{n}-(1-\sqrt{5})^{n}}{2^{n}\,\sqrt{5}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>F_{n} = \frac{(1+\sqrt{5})^{n}-(1-\sqrt{5})^{n}}{2^{n}\,\sqrt{5}}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">F[n] = ((1 +sqrt(5))^(n)-(1 -sqrt(5))^(n))/((2)^(n)*sqrt(5))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[F, n] == Divide[(1 +Sqrt[5])^(n)-(1 -Sqrt[5])^(n),(2)^(n)*Sqrt[5]]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|} | |} | ||
</div> | </div> |
Latest revision as of 12:06, 28 June 2021
DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
---|---|---|---|---|---|---|---|---|
26.11.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \ncompositions[m]@{0} = \Kroneckerdelta{0}{m}}
\ncompositions[m]@{0} = \Kroneckerdelta{0}{m} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | numbcomp(0, m) = KroneckerDelta[0, m]
|
Error
|
Error | Missing Macro Error | - | - |
26.11.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \ncompositions[m]@{n} = \binom{n-1}{m-1}}
\ncompositions[m]@{n} = \binom{n-1}{m-1} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | numbcomp(n, m) = binomial(n - 1,m - 1)
|
Error
|
Error | Missing Macro Error | - | - |
26.11.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{n=0}^{\infty}\ncompositions[m]@{n}q^{n} = \frac{q^{m}}{(1-q)^{m}}}
\sum_{n=0}^{\infty}\ncompositions[m]@{n}q^{n} = \frac{q^{m}}{(1-q)^{m}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | sum(numbcomp(n, m)*(q)^(n), n = 0..infinity) = ((q)^(m))/((1 - q)^(m))
|
Error
|
Error | Missing Macro Error | - | - |
26.11#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle F_{0} = 0}
F_{0} = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | F[0] = 0 |
Subscript[F, 0] == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
26.11#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle F_{1} = 1}
F_{1} = 1 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | F[1] = 1 |
Subscript[F, 1] == 1 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
26.11#Ex3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle F_{n} = F_{n-1}+F_{n-2}}
F_{n} = F_{n-1}+F_{n-2} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle n \geq 2} | F[n] = F[n - 1]+ F[n - 2] |
Subscript[F, n] == Subscript[F, n - 1]+ Subscript[F, n - 2] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
26.11.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle F_{n} = \frac{(1+\sqrt{5})^{n}-(1-\sqrt{5})^{n}}{2^{n}\,\sqrt{5}}}
F_{n} = \frac{(1+\sqrt{5})^{n}-(1-\sqrt{5})^{n}}{2^{n}\,\sqrt{5}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | F[n] = ((1 +sqrt(5))^(n)-(1 -sqrt(5))^(n))/((2)^(n)*sqrt(5)) |
Subscript[F, n] == Divide[(1 +Sqrt[5])^(n)-(1 -Sqrt[5])^(n),(2)^(n)*Sqrt[5]] |
Skipped - no semantic math | Skipped - no semantic math | - | - |