20.6: 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/20.6.E3 20.6.E3] | | | [https://dlmf.nist.gov/20.6.E3 20.6.E3] || <math qid="Q6787">\Jacobithetatau{2}@{\pi z}{\tau} = \Jacobithetatau{2}@{0}{\tau}\exp@{-\sum_{j=1}^{\infty}\frac{1}{2j}\alpha_{2j}(\tau)z^{2j}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Jacobithetatau{2}@{\pi z}{\tau} = \Jacobithetatau{2}@{0}{\tau}\exp@{-\sum_{j=1}^{\infty}\frac{1}{2j}\alpha_{2j}(\tau)z^{2j}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>JacobiTheta2(Pi*z,exp(I*Pi*tau)) = JacobiTheta2(0,exp(I*Pi*tau))*exp(- sum((1)/(2*j)*(sum(sum((m -(1)/(2)+ n*tau)^(- 2*j), m = - infinity..infinity), n = - infinity..infinity))*(z)^(2*j), j = 1..infinity))</syntaxhighlight> || <syntaxhighlight lang=mathematica>EllipticTheta[2, Pi*z, Exp[I*Pi*(\[Tau])]] == EllipticTheta[2, 0, Exp[I*Pi*(\[Tau])]]*Exp[- Sum[Divide[1,2*j]*(Sum[Sum[(m -Divide[1,2]+ n*\[Tau])^(- 2*j), {m, - Infinity, Infinity}, GenerateConditions->None], {n, - Infinity, Infinity}, GenerateConditions->None])*(z)^(2*j), {j, 1, Infinity}, GenerateConditions->None]]</syntaxhighlight> || Aborted || Aborted || Skipped - Because timed out || Skipped - Because timed out | ||
|- | |- | ||
| [https://dlmf.nist.gov/20.6.E4 20.6.E4] | | | [https://dlmf.nist.gov/20.6.E4 20.6.E4] || <math qid="Q6788">\Jacobithetatau{3}@{\pi z}{\tau} = \Jacobithetatau{3}@{0}{\tau}\exp@{-\sum_{j=1}^{\infty}\frac{1}{2j}\beta_{2j}(\tau)z^{2j}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Jacobithetatau{3}@{\pi z}{\tau} = \Jacobithetatau{3}@{0}{\tau}\exp@{-\sum_{j=1}^{\infty}\frac{1}{2j}\beta_{2j}(\tau)z^{2j}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>JacobiTheta3(Pi*z,exp(I*Pi*tau)) = JacobiTheta3(0,exp(I*Pi*tau))*exp(- sum((1)/(2*j)*(sum(sum((m -(1)/(2)+(n -(1)/(2))*tau)^(- 2*j), m = - infinity..infinity), n = - infinity..infinity))*(z)^(2*j), j = 1..infinity))</syntaxhighlight> || <syntaxhighlight lang=mathematica>EllipticTheta[3, Pi*z, Exp[I*Pi*(\[Tau])]] == EllipticTheta[3, 0, Exp[I*Pi*(\[Tau])]]*Exp[- Sum[Divide[1,2*j]*(Sum[Sum[(m -Divide[1,2]+(n -Divide[1,2])*\[Tau])^(- 2*j), {m, - Infinity, Infinity}, GenerateConditions->None], {n, - Infinity, Infinity}, GenerateConditions->None])*(z)^(2*j), {j, 1, Infinity}, GenerateConditions->None]]</syntaxhighlight> || Aborted || Aborted || Skipped - Because timed out || Skipped - Because timed out | ||
|- | |- | ||
| [https://dlmf.nist.gov/20.6.E5 20.6.E5] | | | [https://dlmf.nist.gov/20.6.E5 20.6.E5] || <math qid="Q6789">\Jacobithetatau{4}@{\pi z}{\tau} = \Jacobithetatau{4}@{0}{\tau}\exp@{-\sum_{j=1}^{\infty}\frac{1}{2j}\gamma_{2j}(\tau)z^{2j}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Jacobithetatau{4}@{\pi z}{\tau} = \Jacobithetatau{4}@{0}{\tau}\exp@{-\sum_{j=1}^{\infty}\frac{1}{2j}\gamma_{2j}(\tau)z^{2j}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>JacobiTheta4(Pi*z,exp(I*Pi*tau)) = JacobiTheta4(0,exp(I*Pi*tau))*exp(- sum((1)/(2*j)*(sum(sum((m +(n -(1)/(2))*tau)^(- 2*j), m = - infinity..infinity), n = - infinity..infinity))*(z)^(2*j), j = 1..infinity))</syntaxhighlight> || <syntaxhighlight lang=mathematica>EllipticTheta[4, Pi*z, Exp[I*Pi*(\[Tau])]] == EllipticTheta[4, 0, Exp[I*Pi*(\[Tau])]]*Exp[- Sum[Divide[1,2*j]*(Sum[Sum[(m +(n -Divide[1,2])*\[Tau])^(- 2*j), {m, - Infinity, Infinity}, GenerateConditions->None], {n, - Infinity, Infinity}, GenerateConditions->None])*(z)^(2*j), {j, 1, Infinity}, GenerateConditions->None]]</syntaxhighlight> || Aborted || Aborted || Skipped - Because timed out || Skipped - Because timed out | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/20.6#Ex2 20.6#Ex2] | | | [https://dlmf.nist.gov/20.6#Ex2 20.6#Ex2] || <math qid="Q6795">\beta_{2j}(\tau) = 2^{2j}\gamma_{2j}(2\tau)-\gamma_{2j}(\tau)</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\beta_{2j}(\tau) = 2^{2j}\gamma_{2j}(2\tau)-\gamma_{2j}(\tau)</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(sum(sum((m -(1)/(2)+(n -(1)/(2))*tau)^(- 2*j), m = - infinity..infinity), n = - infinity..infinity)) = (2)^(2*j)* gamma[2*j](2*tau)-(sum(sum((m +(n -(1)/(2))*tau)^(- 2*j), m = - infinity..infinity), n = - infinity..infinity))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(Sum[Sum[(m -Divide[1,2]+(n -Divide[1,2])*\[Tau])^(- 2*j), {m, - Infinity, Infinity}, GenerateConditions->None], {n, - Infinity, Infinity}, GenerateConditions->None]) == (2)^(2*j)* Subscript[\[Gamma], 2*j][2*\[Tau]]-(Sum[Sum[(m +(n -Divide[1,2])*\[Tau])^(- 2*j), {m, - Infinity, Infinity}, GenerateConditions->None], {n, - Infinity, Infinity}, GenerateConditions->None])</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|} | |} | ||
</div> | </div> | ||
Latest revision as of 11:56, 28 June 2021
| DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
|---|---|---|---|---|---|---|---|---|
| 20.6.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Jacobithetatau{2}@{\pi z}{\tau} = \Jacobithetatau{2}@{0}{\tau}\exp@{-\sum_{j=1}^{\infty}\frac{1}{2j}\alpha_{2j}(\tau)z^{2j}}}
\Jacobithetatau{2}@{\pi z}{\tau} = \Jacobithetatau{2}@{0}{\tau}\exp@{-\sum_{j=1}^{\infty}\frac{1}{2j}\alpha_{2j}(\tau)z^{2j}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | JacobiTheta2(Pi*z,exp(I*Pi*tau)) = JacobiTheta2(0,exp(I*Pi*tau))*exp(- sum((1)/(2*j)*(sum(sum((m -(1)/(2)+ n*tau)^(- 2*j), m = - infinity..infinity), n = - infinity..infinity))*(z)^(2*j), j = 1..infinity))
|
EllipticTheta[2, Pi*z, Exp[I*Pi*(\[Tau])]] == EllipticTheta[2, 0, Exp[I*Pi*(\[Tau])]]*Exp[- Sum[Divide[1,2*j]*(Sum[Sum[(m -Divide[1,2]+ n*\[Tau])^(- 2*j), {m, - Infinity, Infinity}, GenerateConditions->None], {n, - Infinity, Infinity}, GenerateConditions->None])*(z)^(2*j), {j, 1, Infinity}, GenerateConditions->None]]
|
Aborted | Aborted | Skipped - Because timed out | Skipped - Because timed out |
| 20.6.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Jacobithetatau{3}@{\pi z}{\tau} = \Jacobithetatau{3}@{0}{\tau}\exp@{-\sum_{j=1}^{\infty}\frac{1}{2j}\beta_{2j}(\tau)z^{2j}}}
\Jacobithetatau{3}@{\pi z}{\tau} = \Jacobithetatau{3}@{0}{\tau}\exp@{-\sum_{j=1}^{\infty}\frac{1}{2j}\beta_{2j}(\tau)z^{2j}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | JacobiTheta3(Pi*z,exp(I*Pi*tau)) = JacobiTheta3(0,exp(I*Pi*tau))*exp(- sum((1)/(2*j)*(sum(sum((m -(1)/(2)+(n -(1)/(2))*tau)^(- 2*j), m = - infinity..infinity), n = - infinity..infinity))*(z)^(2*j), j = 1..infinity))
|
EllipticTheta[3, Pi*z, Exp[I*Pi*(\[Tau])]] == EllipticTheta[3, 0, Exp[I*Pi*(\[Tau])]]*Exp[- Sum[Divide[1,2*j]*(Sum[Sum[(m -Divide[1,2]+(n -Divide[1,2])*\[Tau])^(- 2*j), {m, - Infinity, Infinity}, GenerateConditions->None], {n, - Infinity, Infinity}, GenerateConditions->None])*(z)^(2*j), {j, 1, Infinity}, GenerateConditions->None]]
|
Aborted | Aborted | Skipped - Because timed out | Skipped - Because timed out |
| 20.6.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Jacobithetatau{4}@{\pi z}{\tau} = \Jacobithetatau{4}@{0}{\tau}\exp@{-\sum_{j=1}^{\infty}\frac{1}{2j}\gamma_{2j}(\tau)z^{2j}}}
\Jacobithetatau{4}@{\pi z}{\tau} = \Jacobithetatau{4}@{0}{\tau}\exp@{-\sum_{j=1}^{\infty}\frac{1}{2j}\gamma_{2j}(\tau)z^{2j}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | JacobiTheta4(Pi*z,exp(I*Pi*tau)) = JacobiTheta4(0,exp(I*Pi*tau))*exp(- sum((1)/(2*j)*(sum(sum((m +(n -(1)/(2))*tau)^(- 2*j), m = - infinity..infinity), n = - infinity..infinity))*(z)^(2*j), j = 1..infinity))
|
EllipticTheta[4, Pi*z, Exp[I*Pi*(\[Tau])]] == EllipticTheta[4, 0, Exp[I*Pi*(\[Tau])]]*Exp[- Sum[Divide[1,2*j]*(Sum[Sum[(m +(n -Divide[1,2])*\[Tau])^(- 2*j), {m, - Infinity, Infinity}, GenerateConditions->None], {n, - Infinity, Infinity}, GenerateConditions->None])*(z)^(2*j), {j, 1, Infinity}, GenerateConditions->None]]
|
Aborted | Aborted | Skipped - Because timed out | Skipped - Because timed out |
| 20.6#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \beta_{2j}(\tau) = 2^{2j}\gamma_{2j}(2\tau)-\gamma_{2j}(\tau)}
\beta_{2j}(\tau) = 2^{2j}\gamma_{2j}(2\tau)-\gamma_{2j}(\tau) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (sum(sum((m -(1)/(2)+(n -(1)/(2))*tau)^(- 2*j), m = - infinity..infinity), n = - infinity..infinity)) = (2)^(2*j)* gamma[2*j](2*tau)-(sum(sum((m +(n -(1)/(2))*tau)^(- 2*j), m = - infinity..infinity), n = - infinity..infinity)) |
(Sum[Sum[(m -Divide[1,2]+(n -Divide[1,2])*\[Tau])^(- 2*j), {m, - Infinity, Infinity}, GenerateConditions->None], {n, - Infinity, Infinity}, GenerateConditions->None]) == (2)^(2*j)* Subscript[\[Gamma], 2*j][2*\[Tau]]-(Sum[Sum[(m +(n -Divide[1,2])*\[Tau])^(- 2*j), {m, - Infinity, Infinity}, GenerateConditions->None], {n, - Infinity, Infinity}, GenerateConditions->None]) |
Skipped - no semantic math | Skipped - no semantic math | - | - |