27.8: 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/27.8.E1 27.8.E1] | | | [https://dlmf.nist.gov/27.8.E1 27.8.E1] || <math qid="Q8047">\Dirichletchar[]@@{1}{k} = 1</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Dirichletchar[]@@{1}{k} = 1</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>DirichletCharacter[1, k, 1] == 1</syntaxhighlight> || Missing Macro Error || Missing Macro Error || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/27.8.E2 27.8.E2] | | | [https://dlmf.nist.gov/27.8.E2 27.8.E2] || <math qid="Q8048">\Dirichletchar[]@@{mn}{k} = \Dirichletchar[]@@{m}{k}\Dirichletchar[]@@{n}{k}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Dirichletchar[]@@{mn}{k} = \Dirichletchar[]@@{m}{k}\Dirichletchar[]@@{n}{k}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>DirichletCharacter[1, k, m*n] == DirichletCharacter[1, k, m]*DirichletCharacter[1, k, n]</syntaxhighlight> || Missing Macro Error || Missing Macro Error || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/27.8.E3 27.8.E3] | | | [https://dlmf.nist.gov/27.8.E3 27.8.E3] || <math qid="Q8049">\Dirichletchar[]@@{n+k}{k} = \Dirichletchar[]@@{n}{k}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Dirichletchar[]@@{n+k}{k} = \Dirichletchar[]@@{n}{k}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>DirichletCharacter[1, k, n + k] == DirichletCharacter[1, k, n]</syntaxhighlight> || Missing Macro Error || Missing Macro Error || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/27.8.E4 27.8.E4] | | | [https://dlmf.nist.gov/27.8.E4 27.8.E4] || <math qid="Q8050">\Dirichletchar[]@@{n}{k} = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Dirichletchar[]@@{n}{k} = 0</syntaxhighlight> || <math>\pgcd{n > 1, k} > 1</math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>DirichletCharacter[1, k, n] == 0</syntaxhighlight> || Missing Macro Error || Missing Macro Error || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/27.8.E8 27.8.E8] | | | [https://dlmf.nist.gov/27.8.E8 27.8.E8] || <math qid="Q8054">\Dirichletchar[]@@{n}{k} = \Dirichletchar[0]@@{n}{k}\Dirichletchar[1]@@{n}{k}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Dirichletchar[]@@{n}{k} = \Dirichletchar[0]@@{n}{k}\Dirichletchar[1]@@{n}{k}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || <syntaxhighlight lang=mathematica>DirichletCharacter[1, k, n] == DirichletCharacter[0, k, n]*DirichletCharacter[1, k, n]</syntaxhighlight> || Missing Macro Error || Missing Macro Error || - || - | ||
|} | |} | ||
</div> | </div> | ||
Latest revision as of 12:06, 28 June 2021
| DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
|---|---|---|---|---|---|---|---|---|
| 27.8.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Dirichletchar[]@@{1}{k} = 1}
\Dirichletchar[]@@{1}{k} = 1 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
DirichletCharacter[1, k, 1] == 1
|
Missing Macro Error | Missing Macro Error | - | - |
| 27.8.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Dirichletchar[]@@{mn}{k} = \Dirichletchar[]@@{m}{k}\Dirichletchar[]@@{n}{k}}
\Dirichletchar[]@@{mn}{k} = \Dirichletchar[]@@{m}{k}\Dirichletchar[]@@{n}{k} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
DirichletCharacter[1, k, m*n] == DirichletCharacter[1, k, m]*DirichletCharacter[1, k, n]
|
Missing Macro Error | Missing Macro Error | - | - |
| 27.8.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Dirichletchar[]@@{n+k}{k} = \Dirichletchar[]@@{n}{k}}
\Dirichletchar[]@@{n+k}{k} = \Dirichletchar[]@@{n}{k} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
DirichletCharacter[1, k, n + k] == DirichletCharacter[1, k, n]
|
Missing Macro Error | Missing Macro Error | - | - |
| 27.8.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Dirichletchar[]@@{n}{k} = 0}
\Dirichletchar[]@@{n}{k} = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \pgcd{n > 1, k} > 1} | Error
|
DirichletCharacter[1, k, n] == 0
|
Missing Macro Error | Missing Macro Error | - | - |
| 27.8.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Dirichletchar[]@@{n}{k} = \Dirichletchar[0]@@{n}{k}\Dirichletchar[1]@@{n}{k}}
\Dirichletchar[]@@{n}{k} = \Dirichletchar[0]@@{n}{k}\Dirichletchar[1]@@{n}{k} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Error
|
DirichletCharacter[1, k, n] == DirichletCharacter[0, k, n]*DirichletCharacter[1, k, n]
|
Missing Macro Error | Missing Macro Error | - | - |