23.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 | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/23.2.E1 23.2.E1] | | | [https://dlmf.nist.gov/23.2.E1 23.2.E1] || <math qid="Q7195">\omega_{1}+\omega_{2}+\omega_{3} = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\omega_{1}+\omega_{2}+\omega_{3} = 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">omega[1]+ omega[2]+ omega[3] = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Omega], 1]+ Subscript[\[Omega], 2]+ Subscript[\[Omega], 3] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/23.2#Ex1 23.2#Ex1] | | | [https://dlmf.nist.gov/23.2#Ex1 23.2#Ex1] || <math qid="Q7196">\chi_{1} = a\omega_{1}+b\omega_{3}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\chi_{1} = a\omega_{1}+b\omega_{3}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">chi[1] = a*omega[1]+ b*omega[3]</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Chi], 1] == a*Subscript[\[Omega], 1]+ b*Subscript[\[Omega], 3]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/23.2#Ex2 23.2#Ex2] | | | [https://dlmf.nist.gov/23.2#Ex2 23.2#Ex2] || <math qid="Q7197">\chi_{3} = c\omega_{1}+d\omega_{3}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\chi_{3} = c\omega_{1}+d\omega_{3}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">chi[3] = c*omega[1]+ d*omega[3]</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Chi], 3] == c*Subscript[\[Omega], 1]+ d*Subscript[\[Omega], 3]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/23.2.E3 23.2.E3] | | | [https://dlmf.nist.gov/23.2.E3 23.2.E3] || <math qid="Q7198">ad-bc = 1</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>ad-bc = 1</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">a*d - b*c = 1</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">a*d - b*c == 1</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/23.2.E13 23.2.E13] | | | [https://dlmf.nist.gov/23.2.E13 23.2.E13] || <math qid="Q7208">\eta_{1}+\eta_{2}+\eta_{3} = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\eta_{1}+\eta_{2}+\eta_{3} = 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">eta[1]+ eta[2]+ eta[3] = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Eta], 1]+ Subscript[\[Eta], 2]+ Subscript[\[Eta], 3] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/23.2.E14 23.2.E14] | | | [https://dlmf.nist.gov/23.2.E14 23.2.E14] || <math qid="Q7209">\eta_{3}\omega_{2}-\eta_{2}\omega_{3} = \eta_{2}\omega_{1}-\eta_{1}\omega_{2}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\eta_{3}\omega_{2}-\eta_{2}\omega_{3} = \eta_{2}\omega_{1}-\eta_{1}\omega_{2}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">eta[3]*omega[2]- eta[2]*omega[3] = eta[2]*omega[1]- eta[1]*omega[2]</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Eta], 3]*Subscript[\[Omega], 2]- Subscript[\[Eta], 2]*Subscript[\[Omega], 3] == Subscript[\[Eta], 2]*Subscript[\[Omega], 1]- Subscript[\[Eta], 1]*Subscript[\[Omega], 2]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|} | |} | ||
</div> | </div> | ||
Latest revision as of 12:00, 28 June 2021
| DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
|---|---|---|---|---|---|---|---|---|
| 23.2.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \omega_{1}+\omega_{2}+\omega_{3} = 0}
\omega_{1}+\omega_{2}+\omega_{3} = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | omega[1]+ omega[2]+ omega[3] = 0 |
Subscript[\[Omega], 1]+ Subscript[\[Omega], 2]+ Subscript[\[Omega], 3] == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 23.2#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \chi_{1} = a\omega_{1}+b\omega_{3}}
\chi_{1} = a\omega_{1}+b\omega_{3} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | chi[1] = a*omega[1]+ b*omega[3] |
Subscript[\[Chi], 1] == a*Subscript[\[Omega], 1]+ b*Subscript[\[Omega], 3] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 23.2#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \chi_{3} = c\omega_{1}+d\omega_{3}}
\chi_{3} = c\omega_{1}+d\omega_{3} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | chi[3] = c*omega[1]+ d*omega[3] |
Subscript[\[Chi], 3] == c*Subscript[\[Omega], 1]+ d*Subscript[\[Omega], 3] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 23.2.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle ad-bc = 1}
ad-bc = 1 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | a*d - b*c = 1 |
a*d - b*c == 1 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 23.2.E13 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \eta_{1}+\eta_{2}+\eta_{3} = 0}
\eta_{1}+\eta_{2}+\eta_{3} = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | eta[1]+ eta[2]+ eta[3] = 0 |
Subscript[\[Eta], 1]+ Subscript[\[Eta], 2]+ Subscript[\[Eta], 3] == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 23.2.E14 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \eta_{3}\omega_{2}-\eta_{2}\omega_{3} = \eta_{2}\omega_{1}-\eta_{1}\omega_{2}}
\eta_{3}\omega_{2}-\eta_{2}\omega_{3} = \eta_{2}\omega_{1}-\eta_{1}\omega_{2} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | eta[3]*omega[2]- eta[2]*omega[3] = eta[2]*omega[1]- eta[1]*omega[2] |
Subscript[\[Eta], 3]*Subscript[\[Omega], 2]- Subscript[\[Eta], 2]*Subscript[\[Omega], 3] == Subscript[\[Eta], 2]*Subscript[\[Omega], 1]- Subscript[\[Eta], 1]*Subscript[\[Omega], 2] |
Skipped - no semantic math | Skipped - no semantic math | - | - |