4.12: 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/4.12.E1 4.12.E1] | | | [https://dlmf.nist.gov/4.12.E1 4.12.E1] || <math qid="Q1629">\phi(x+1) = e^{\phi(x)}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\phi(x+1) = e^{\phi(x)}</syntaxhighlight> || <math>-1 < x, x < \infty</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">phi(x + 1) = exp(phi(x))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Phi][x + 1] == Exp[\[Phi][x]]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/4.12.E2 4.12.E2] | | | [https://dlmf.nist.gov/4.12.E2 4.12.E2] || <math qid="Q1630">\phi(0) = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\phi(0) = 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">phi(0) = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Phi][0] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/4.12.E3 4.12.E3] | | | [https://dlmf.nist.gov/4.12.E3 4.12.E3] || <math qid="Q1631">\psi(e^{x}) = 1+\psi(x)</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\psi(e^{x}) = 1+\psi(x)</syntaxhighlight> || <math>-\infty < x, x < \infty</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">psi(exp(x)) = 1 + psi(x)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Psi][Exp[x]] == 1 + \[Psi][x]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/4.12.E4 4.12.E4] | | | [https://dlmf.nist.gov/4.12.E4 4.12.E4] || <math qid="Q1632">\psi(0) = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\psi(0) = 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">psi(0) = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Psi][0] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/4.12.E5 4.12.E5] | | | [https://dlmf.nist.gov/4.12.E5 4.12.E5] || <math qid="Q1633">\phi(x) = \psi(x)</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\phi(x) = \psi(x)</syntaxhighlight> || <math>0 \leq x, x \leq 1</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">phi(x) = psi(x)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Phi][x] == \[Psi][x]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/4.12.E6 4.12.E6] | | | [https://dlmf.nist.gov/4.12.E6 4.12.E6] || <math qid="Q1634">\phi(x) = \ln@{x+1}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\phi(x) = \ln@{x+1}</syntaxhighlight> || <math>-1 < x, x < 0</math> || <syntaxhighlight lang=mathematica>phi(x) = ln(x + 1)</syntaxhighlight> || <syntaxhighlight lang=mathematica>\[Phi][x] == Log[x + 1]</syntaxhighlight> || Failure || Failure || Error || Skip - No test values generated | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/4.12.E8 4.12.E8] | | | [https://dlmf.nist.gov/4.12.E8 4.12.E8] || <math qid="Q1636">\psi(x) = e^{x}-1</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\psi(x) = e^{x}-1</syntaxhighlight> || <math>-\infty < x, x < 0</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">psi(x) = exp(x)- 1</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Psi][x] == Exp[x]- 1</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|} | |} | ||
</div> | </div> | ||
Latest revision as of 11:05, 28 June 2021
| DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
|---|---|---|---|---|---|---|---|---|
| 4.12.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \phi(x+1) = e^{\phi(x)}}
\phi(x+1) = e^{\phi(x)} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -1 < x, x < \infty} | phi(x + 1) = exp(phi(x)) |
\[Phi][x + 1] == Exp[\[Phi][x]] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 4.12.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \phi(0) = 0}
\phi(0) = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | phi(0) = 0 |
\[Phi][0] == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 4.12.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \psi(e^{x}) = 1+\psi(x)}
\psi(e^{x}) = 1+\psi(x) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -\infty < x, x < \infty} | psi(exp(x)) = 1 + psi(x) |
\[Psi][Exp[x]] == 1 + \[Psi][x] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 4.12.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \psi(0) = 0}
\psi(0) = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | psi(0) = 0 |
\[Psi][0] == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 4.12.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \phi(x) = \psi(x)}
\phi(x) = \psi(x) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle 0 \leq x, x \leq 1} | phi(x) = psi(x) |
\[Phi][x] == \[Psi][x] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 4.12.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \phi(x) = \ln@{x+1}}
\phi(x) = \ln@{x+1} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -1 < x, x < 0} | phi(x) = ln(x + 1)
|
\[Phi][x] == Log[x + 1]
|
Failure | Failure | Error | Skip - No test values generated |
| 4.12.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \psi(x) = e^{x}-1}
\psi(x) = e^{x}-1 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -\infty < x, x < 0} | psi(x) = exp(x)- 1 |
\[Psi][x] == Exp[x]- 1 |
Skipped - no semantic math | Skipped - no semantic math | - | - |