Results of Multidimensional Theta Functions: 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 11: | Line 11: | ||
! scope="col" style="position: sticky; top: 0;" | Numeric<br>Maple | ! scope="col" style="position: sticky; top: 0;" | Numeric<br>Maple | ||
! scope="col" style="position: sticky; top: 0;" | Numeric<br>Mathematica | ! scope="col" style="position: sticky; top: 0;" | Numeric<br>Mathematica | ||
|- | |- | ||
| [https://dlmf.nist.gov/21.2.E1 21.2.E1] || [[Item:Q6857|<math>\Riemanntheta@{\mathbf{z}}{\boldsymbol{{\Omega}}} = \sum_{\mathbf{n}\in\Integers^{g}}e^{2\pi i\left(\frac{1}{2}\mathbf{n}\cdot\boldsymbol{{\Omega}}\cdot\mathbf{n}+\mathbf{n}\cdot\mathbf{z}\right)}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Riemanntheta@{\mathbf{z}}{\boldsymbol{{\Omega}}} = \sum_{\mathbf{n}\in\Integers^{g}}e^{2\pi i\left(\frac{1}{2}\mathbf{n}\cdot\boldsymbol{{\Omega}}\cdot\mathbf{n}+\mathbf{n}\cdot\mathbf{z}\right)}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>RiemannTheta(z, Omega) = sum(exp(2*Pi*I*((1)/(2)*n * Omega * n + n * z)), = ..infinity)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || Missing Macro Error || Missing Macro Error || - || - | | [https://dlmf.nist.gov/21.2.E1 21.2.E1] || [[Item:Q6857|<math>\Riemanntheta@{\mathbf{z}}{\boldsymbol{{\Omega}}} = \sum_{\mathbf{n}\in\Integers^{g}}e^{2\pi i\left(\frac{1}{2}\mathbf{n}\cdot\boldsymbol{{\Omega}}\cdot\mathbf{n}+\mathbf{n}\cdot\mathbf{z}\right)}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Riemanntheta@{\mathbf{z}}{\boldsymbol{{\Omega}}} = \sum_{\mathbf{n}\in\Integers^{g}}e^{2\pi i\left(\frac{1}{2}\mathbf{n}\cdot\boldsymbol{{\Omega}}\cdot\mathbf{n}+\mathbf{n}\cdot\mathbf{z}\right)}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>RiemannTheta(z, Omega) = sum(exp(2*Pi*I*((1)/(2)*n * Omega * n + n * z)), = ..infinity)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || Missing Macro Error || Missing Macro Error || - || - |
Revision as of 13:27, 22 May 2021
DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
---|---|---|---|---|---|---|---|---|
21.2.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Riemanntheta@{\mathbf{z}}{\boldsymbol{{\Omega}}} = \sum_{\mathbf{n}\in\Integers^{g}}e^{2\pi i\left(\frac{1}{2}\mathbf{n}\cdot\boldsymbol{{\Omega}}\cdot\mathbf{n}+\mathbf{n}\cdot\mathbf{z}\right)}}
\Riemanntheta@{\mathbf{z}}{\boldsymbol{{\Omega}}} = \sum_{\mathbf{n}\in\Integers^{g}}e^{2\pi i\left(\frac{1}{2}\mathbf{n}\cdot\boldsymbol{{\Omega}}\cdot\mathbf{n}+\mathbf{n}\cdot\mathbf{z}\right)} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | RiemannTheta(z, Omega) = sum(exp(2*Pi*I*((1)/(2)*n * Omega * n + n * z)), = ..infinity)
|
Error
|
Missing Macro Error | Missing Macro Error | - | - |
21.2.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Riemanntheta@{z}{\Omega} = \Jacobithetatau{3}@{\pi z}{\Omega}}
\Riemanntheta@{z}{\Omega} = \Jacobithetatau{3}@{\pi z}{\Omega} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | RiemannTheta(z, Omega) = JacobiTheta3(Pi*z,exp(I*Pi*Omega))
|
Error
|
Missing Macro Error | Missing Macro Error | - | - |
21.3.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Riemanntheta@{-\mathbf{z}}{\boldsymbol{{\Omega}}} = \Riemanntheta@{\mathbf{z}}{\boldsymbol{{\Omega}}}}
\Riemanntheta@{-\mathbf{z}}{\boldsymbol{{\Omega}}} = \Riemanntheta@{\mathbf{z}}{\boldsymbol{{\Omega}}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | RiemannTheta(- z, Omega) = RiemannTheta(z, Omega)
|
Error
|
Missing Macro Error | Missing Macro Error | - | - |
21.3.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Riemanntheta@{\mathbf{z}+\mathbf{m}_{1}}{\boldsymbol{{\Omega}}} = \Riemanntheta@{\mathbf{z}}{\boldsymbol{{\Omega}}}}
\Riemanntheta@{\mathbf{z}+\mathbf{m}_{1}}{\boldsymbol{{\Omega}}} = \Riemanntheta@{\mathbf{z}}{\boldsymbol{{\Omega}}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | RiemannTheta(z + m[1], Omega) = RiemannTheta(z, Omega)
|
Error
|
Missing Macro Error | Missing Macro Error | - | - |
21.3.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Riemanntheta@{\mathbf{z}+\mathbf{m}_{1}+\boldsymbol{{\Omega}}\mathbf{m}_{2}}{\boldsymbol{{\Omega}}} = e^{-2\pi i\left(\frac{1}{2}\mathbf{m}_{2}\cdot\boldsymbol{{\Omega}}\cdot\mathbf{m}_{2}+\mathbf{m}_{2}\cdot\mathbf{z}\right)}\Riemanntheta@{\mathbf{z}}{\boldsymbol{{\Omega}}}}
\Riemanntheta@{\mathbf{z}+\mathbf{m}_{1}+\boldsymbol{{\Omega}}\mathbf{m}_{2}}{\boldsymbol{{\Omega}}} = e^{-2\pi i\left(\frac{1}{2}\mathbf{m}_{2}\cdot\boldsymbol{{\Omega}}\cdot\mathbf{m}_{2}+\mathbf{m}_{2}\cdot\mathbf{z}\right)}\Riemanntheta@{\mathbf{z}}{\boldsymbol{{\Omega}}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | RiemannTheta(z + m[1]+ Omega*m[2], Omega) = exp(- 2*Pi*I*((1)/(2)*m[2] * Omega * m[2]+ m[2] * z))*RiemannTheta(z, Omega)
|
Error
|
Missing Macro Error | Missing Macro Error | - | - |
21.6.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Riemanntheta@{\frac{\mathbf{x}+\mathbf{y}+\mathbf{u}+\mathbf{v}}{2}}{\boldsymbol{{\Omega}}}\Riemanntheta@{\frac{\mathbf{x}+\mathbf{y}-\mathbf{u}-\mathbf{v}}{2}}{\boldsymbol{{\Omega}}}\Riemanntheta@{\frac{\mathbf{x}-\mathbf{y}+\mathbf{u}-\mathbf{v}}{2}}{\boldsymbol{{\Omega}}}\Riemanntheta@{\frac{\mathbf{x}-\mathbf{y}-\mathbf{u}+\mathbf{v}}{2}}{\boldsymbol{{\Omega}}} = \frac{1}{2^{g}}\sum_{\boldsymbol{{\alpha}}\in\frac{1}{2}\Integers^{g}/\Integers^{g}}\,\sum_{\boldsymbol{{\beta}}\in\frac{1}{2}\Integers^{g}/\Integers^{g}}e^{2\pi i\left(2\boldsymbol{{\alpha}}\cdot\boldsymbol{{\Omega}}\cdot\boldsymbol{{\alpha}}+\boldsymbol{{\alpha}}\cdot[\mathbf{x}+\mathbf{y}+\mathbf{u}+\mathbf{v}]\right)}\*\Riemanntheta@{\mathbf{x}+\boldsymbol{{\Omega}}\boldsymbol{{\alpha}}+\boldsymbol{{\beta}}}{\boldsymbol{{\Omega}}}\Riemanntheta@{\mathbf{y}+\boldsymbol{{\Omega}}\boldsymbol{{\alpha}}+\boldsymbol{{\beta}}}{\boldsymbol{{\Omega}}}\Riemanntheta@{\mathbf{u}+\boldsymbol{{\Omega}}\boldsymbol{{\alpha}}+\boldsymbol{{\beta}}}{\boldsymbol{{\Omega}}}\Riemanntheta@{\mathbf{v}+\boldsymbol{{\Omega}}\boldsymbol{{\alpha}}+\boldsymbol{{\beta}}}{\boldsymbol{{\Omega}}}}
\Riemanntheta@{\frac{\mathbf{x}+\mathbf{y}+\mathbf{u}+\mathbf{v}}{2}}{\boldsymbol{{\Omega}}}\Riemanntheta@{\frac{\mathbf{x}+\mathbf{y}-\mathbf{u}-\mathbf{v}}{2}}{\boldsymbol{{\Omega}}}\Riemanntheta@{\frac{\mathbf{x}-\mathbf{y}+\mathbf{u}-\mathbf{v}}{2}}{\boldsymbol{{\Omega}}}\Riemanntheta@{\frac{\mathbf{x}-\mathbf{y}-\mathbf{u}+\mathbf{v}}{2}}{\boldsymbol{{\Omega}}} = \frac{1}{2^{g}}\sum_{\boldsymbol{{\alpha}}\in\frac{1}{2}\Integers^{g}/\Integers^{g}}\,\sum_{\boldsymbol{{\beta}}\in\frac{1}{2}\Integers^{g}/\Integers^{g}}e^{2\pi i\left(2\boldsymbol{{\alpha}}\cdot\boldsymbol{{\Omega}}\cdot\boldsymbol{{\alpha}}+\boldsymbol{{\alpha}}\cdot[\mathbf{x}+\mathbf{y}+\mathbf{u}+\mathbf{v}]\right)}\*\Riemanntheta@{\mathbf{x}+\boldsymbol{{\Omega}}\boldsymbol{{\alpha}}+\boldsymbol{{\beta}}}{\boldsymbol{{\Omega}}}\Riemanntheta@{\mathbf{y}+\boldsymbol{{\Omega}}\boldsymbol{{\alpha}}+\boldsymbol{{\beta}}}{\boldsymbol{{\Omega}}}\Riemanntheta@{\mathbf{u}+\boldsymbol{{\Omega}}\boldsymbol{{\alpha}}+\boldsymbol{{\beta}}}{\boldsymbol{{\Omega}}}\Riemanntheta@{\mathbf{v}+\boldsymbol{{\Omega}}\boldsymbol{{\alpha}}+\boldsymbol{{\beta}}}{\boldsymbol{{\Omega}}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | RiemannTheta((x + y + u + v)/(2), Omega)*RiemannTheta((x + y - u - v)/(2), Omega)*RiemannTheta((x - y + u - v)/(2), Omega)*RiemannTheta((x - y - u + v)/(2), Omega) = (1)/((2)^(g))*sum(sum(exp(2*Pi*I*(2*alpha * Omega * alpha + alpha *(x + y + u + v)))* RiemannTheta(x + Omega*alpha + beta, Omega)*RiemannTheta(y + Omega*alpha + beta, Omega)*RiemannTheta(u + Omega*alpha + beta, Omega)*RiemannTheta(v + Omega*alpha + beta, Omega), = ..infinity), = ..infinity)
|
Error
|
Missing Macro Error | Missing Macro Error | - | - |
21.7.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle P(\lambda,\mu) = 0}
P(\lambda,\mu) = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | P(lambda , mu) = 0 |
P[\[Lambda], \[Mu]] == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
21.7.E11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \mu^{2} = Q(\lambda)}
\mu^{2} = Q(\lambda) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (mu)^(2) = Q(lambda) |
\[Mu]^(2) == Q[\[Lambda]] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
21.7.E13 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \boldsymbol{{\eta}}(T) = \boldsymbol{{\eta}}(T^{c})}
\boldsymbol{{\eta}}(T) = \boldsymbol{{\eta}}(T^{c}) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | eta(T) = eta((T)^(c)) |
\[Eta][T] == \[Eta][(T)^(c)] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
21.9.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle 4u_{t} = 6uu_{x}+u_{xxx}}
4u_{t} = 6uu_{x}+u_{xxx} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | 4*u[t] = 6*u*u[x]+ u[x, x, x] |
4*Subscript[u, t] == 6*u*Subscript[u, x]+ Subscript[u, x, x, x] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
21.9.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle iu_{t} = -\tfrac{1}{2}u_{xx}+|u|^{2}u}
iu_{t} = -\tfrac{1}{2}u_{xx}+|u|^{2}u |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | I*u[t] = -(1)/(2)*u[x, x]+(abs(u))^(2)* u |
I*Subscript[u, t] == -Divide[1,2]*Subscript[u, x, x]+(Abs[u])^(2)* u |
Skipped - no semantic math | Skipped - no semantic math | - | - |
21.9.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle (-4u_{t}+6uu_{x}+u_{xxx})_{x}+3u_{yy} = 0}
(-4u_{t}+6uu_{x}+u_{xxx})_{x}+3u_{yy} = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | - 4*u[t]+ 6*u*u[x]+ u[x, x, x][x]+ 3*u[y, y] = 0 |
Subscript[- 4*Subscript[u, t]+ 6*u*Subscript[u, x]+ Subscript[u, x, x, x], x]+ 3*Subscript[u, y, y] == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
21.9.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle u(x,y,t) = c+2\pderiv[2]{}{x}\ln@{\Riemanntheta@{\mathbf{k}x+\mathbf{l}y+\boldsymbol{{\omega}}t+\boldsymbol{{\phi}}}{\boldsymbol{{\Omega}}}}}
u(x,y,t) = c+2\pderiv[2]{}{x}\ln@{\Riemanntheta@{\mathbf{k}x+\mathbf{l}y+\boldsymbol{{\omega}}t+\boldsymbol{{\phi}}}{\boldsymbol{{\Omega}}}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | u(x , y , t) = c + 2*diff(ln(RiemannTheta(k*x + l*y + omega*t + phi, Omega)), [x$(2)])
|
Error
|
Missing Macro Error | Missing Macro Error | - | - |