19.27: 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/19.27#Ex1 19.27#Ex1] | | | [https://dlmf.nist.gov/19.27#Ex1 19.27#Ex1] || <math qid="Q6588">a = \tfrac{1}{2}(x+y)</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>a = \tfrac{1}{2}(x+y)</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">a = (1)/(2)*(x + y)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">a == Divide[1,2]*(x + y)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/19.27#Ex2 19.27#Ex2] | | | [https://dlmf.nist.gov/19.27#Ex2 19.27#Ex2] || <math qid="Q6589">b = \tfrac{1}{2}(y+z)</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>b = \tfrac{1}{2}(y+z)</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">b = (1)/(2)*(y +(x + y*I))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">b == Divide[1,2]*(y +(x + y*I))</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/19.27#Ex3 19.27#Ex3] | | | [https://dlmf.nist.gov/19.27#Ex3 19.27#Ex3] || <math qid="Q6590">c = \tfrac{1}{3}(x+y+z)</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>c = \tfrac{1}{3}(x+y+z)</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c = (1)/(3)*(x + y +(x + y*I))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">c == Divide[1,3]*(x + y +(x + y*I))</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/19.27#Ex4 19.27#Ex4] | | | [https://dlmf.nist.gov/19.27#Ex4 19.27#Ex4] || <math qid="Q6591">f = (xyz)^{1/3}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>f = (xyz)^{1/3}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">f = (x*y*(x + y*I))^(1/3)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">f == (x*y*(x + y*I))^(1/3)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/19.27#Ex5 19.27#Ex5] | | | [https://dlmf.nist.gov/19.27#Ex5 19.27#Ex5] || <math qid="Q6592">g = (xy)^{1/2}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>g = (xy)^{1/2}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">g = (x*y)^(1/2)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">g == (x*y)^(1/2)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/19.27#Ex6 19.27#Ex6] | | | [https://dlmf.nist.gov/19.27#Ex6 19.27#Ex6] || <math qid="Q6593">h = (yz)^{1/2}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>h = (yz)^{1/2}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">h = (y*(x + y*I))^(1/2)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">h == (y*(x + y*I))^(1/2)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|} | |} | ||
</div> | </div> |
Latest revision as of 11:53, 28 June 2021
DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
---|---|---|---|---|---|---|---|---|
19.27#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle a = \tfrac{1}{2}(x+y)}
a = \tfrac{1}{2}(x+y) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | a = (1)/(2)*(x + y) |
a == Divide[1,2]*(x + y) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
19.27#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle b = \tfrac{1}{2}(y+z)}
b = \tfrac{1}{2}(y+z) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | b = (1)/(2)*(y +(x + y*I)) |
b == Divide[1,2]*(y +(x + y*I)) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
19.27#Ex3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c = \tfrac{1}{3}(x+y+z)}
c = \tfrac{1}{3}(x+y+z) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | c = (1)/(3)*(x + y +(x + y*I)) |
c == Divide[1,3]*(x + y +(x + y*I)) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
19.27#Ex4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle f = (xyz)^{1/3}}
f = (xyz)^{1/3} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | f = (x*y*(x + y*I))^(1/3) |
f == (x*y*(x + y*I))^(1/3) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
19.27#Ex5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle g = (xy)^{1/2}}
g = (xy)^{1/2} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | g = (x*y)^(1/2) |
g == (x*y)^(1/2) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
19.27#Ex6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle h = (yz)^{1/2}}
h = (yz)^{1/2} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | h = (y*(x + y*I))^(1/2) |
h == (y*(x + y*I))^(1/2) |
Skipped - no semantic math | Skipped - no semantic math | - | - |