20.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/20.8.E1 20.8.E1] | | | [https://dlmf.nist.gov/20.8.E1 20.8.E1] || <math qid="Q6830">\frac{\Jacobithetaq{2}@{0}{q}\Jacobithetaq{3}@{z}{q}\Jacobithetaq{4}@{z}{q}}{\Jacobithetaq{2}@{z}{q}} = 2\sum_{n=-\infty}^{\infty}\frac{(-1)^{n}q^{n^{2}}e^{i2nz}}{q^{-n}e^{-iz}+q^{n}e^{iz}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\frac{\Jacobithetaq{2}@{0}{q}\Jacobithetaq{3}@{z}{q}\Jacobithetaq{4}@{z}{q}}{\Jacobithetaq{2}@{z}{q}} = 2\sum_{n=-\infty}^{\infty}\frac{(-1)^{n}q^{n^{2}}e^{i2nz}}{q^{-n}e^{-iz}+q^{n}e^{iz}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(JacobiTheta2(0, q)*JacobiTheta3(z, q)*JacobiTheta4(z, q))/(JacobiTheta2(z, q)) = 2*sum(((- 1)^(n)* (q)^((n)^(2))* exp(I*2*n*z))/((q)^(- n)* exp(- I*z)+ (q)^(n)* exp(I*z)), n = - infinity..infinity)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Divide[EllipticTheta[2, 0, q]*EllipticTheta[3, z, q]*EllipticTheta[4, z, q],EllipticTheta[2, z, q]] == 2*Sum[Divide[(- 1)^(n)* (q)^((n)^(2))* Exp[I*2*n*z],(q)^(- n)* Exp[- I*z]+ (q)^(n)* Exp[I*z]], {n, - Infinity, Infinity}, GenerateConditions->None]</syntaxhighlight> || Failure || Aborted || Skipped - Because timed out || Skipped - Because timed out | ||
|} | |} | ||
</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.8.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{\Jacobithetaq{2}@{0}{q}\Jacobithetaq{3}@{z}{q}\Jacobithetaq{4}@{z}{q}}{\Jacobithetaq{2}@{z}{q}} = 2\sum_{n=-\infty}^{\infty}\frac{(-1)^{n}q^{n^{2}}e^{i2nz}}{q^{-n}e^{-iz}+q^{n}e^{iz}}}
\frac{\Jacobithetaq{2}@{0}{q}\Jacobithetaq{3}@{z}{q}\Jacobithetaq{4}@{z}{q}}{\Jacobithetaq{2}@{z}{q}} = 2\sum_{n=-\infty}^{\infty}\frac{(-1)^{n}q^{n^{2}}e^{i2nz}}{q^{-n}e^{-iz}+q^{n}e^{iz}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (JacobiTheta2(0, q)*JacobiTheta3(z, q)*JacobiTheta4(z, q))/(JacobiTheta2(z, q)) = 2*sum(((- 1)^(n)* (q)^((n)^(2))* exp(I*2*n*z))/((q)^(- n)* exp(- I*z)+ (q)^(n)* exp(I*z)), n = - infinity..infinity)
|
Divide[EllipticTheta[2, 0, q]*EllipticTheta[3, z, q]*EllipticTheta[4, z, q],EllipticTheta[2, z, q]] == 2*Sum[Divide[(- 1)^(n)* (q)^((n)^(2))* Exp[I*2*n*z],(q)^(- n)* Exp[- I*z]+ (q)^(n)* Exp[I*z]], {n, - Infinity, Infinity}, GenerateConditions->None]
|
Failure | Aborted | Skipped - Because timed out | Skipped - Because timed out |