|
|
| (One intermediate revision by the same user not shown) |
| Line 1: |
Line 1: |
| <div style="width: 100%; height: 75vh; overflow: auto;"> | | <div style="-moz-column-count:2; column-count:2;"> |
| {| class="wikitable sortable" style="margin: 0;"
| | ; Notation : [[31.1|31.1 Special Notation]]<br> |
| |-
| | ; Properties : [[31.2|31.2 Differential Equations]]<br>[[31.3|31.3 Basic Solutions]]<br>[[31.4|31.4 Solutions Analytic at Two Singularities: Heun Functions]]<br>[[31.5|31.5 Solutions Analytic at Three Singularities: Heun Polynomials]]<br>[[31.6|31.6 Path-Multiplicative Solutions]]<br>[[31.7|31.7 Relations to Other Functions]]<br>[[31.8|31.8 Solutions via Quadratures]]<br>[[31.9|31.9 Orthogonality]]<br>[[31.10|31.10 Integral Equations and Representations]]<br>[[31.11|31.11 Expansions in Series of Hypergeometric Functions]]<br>[[31.12|31.12 Confluent Forms of Heun’s Equation]]<br>[[31.13|31.13 Asymptotic Approximations]]<br>[[31.14|31.14 General Fuchsian Equation]]<br>[[31.15|31.15 Stieltjes Polynomials]]<br> |
| ! scope="col" style="position: sticky; top: 0;" | DLMF
| | ; Applications : [[31.16|31.16 Mathematical Applications]]<br>[[31.17|31.17 Physical Applications]]<br> |
| ! scope="col" style="position: sticky; top: 0;" | Formula
| | ; Computation : [[31.18|31.18 Methods of Computation]]<br> |
| ! scope="col" style="position: sticky; top: 0;" | Constraints
| |
| ! scope="col" style="position: sticky; top: 0;" | Maple
| |
| ! scope="col" style="position: sticky; top: 0;" | Mathematica
| |
| ! scope="col" style="position: sticky; top: 0;" | Symbolic<br>Maple
| |
| ! scope="col" style="position: sticky; top: 0;" | Symbolic<br>Mathematica
| |
| ! scope="col" style="position: sticky; top: 0;" | Numeric<br>Maple
| |
| ! scope="col" style="position: sticky; top: 0;" | Numeric<br>Mathematica
| |
| |-
| |
| |-
| |
| | [https://dlmf.nist.gov/31.2.E1 31.2.E1] || [[Item:Q8976|<math>\deriv[2]{w}{z}+\left(\frac{\gamma}{z}+\frac{\delta}{z-1}+\frac{\epsilon}{z-a}\right)\deriv{w}{z}+\frac{\alpha\beta z-q}{z(z-1)(z-a)}w = 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv[2]{w}{z}+\left(\frac{\gamma}{z}+\frac{\delta}{z-1}+\frac{\epsilon}{z-a}\right)\deriv{w}{z}+\frac{\alpha\beta z-q}{z(z-1)(z-a)}w = 0</syntaxhighlight> || <math>\alpha+\beta+1 = \gamma+\delta+\epsilon</math> || <syntaxhighlight lang=mathematica>diff(w, [z$(2)])+((gamma)/(z)+(delta)/(z - 1)+(epsilon)/(z - a))*diff(w, z)+(alpha*beta*z - q)/(z*(z - 1)*(z - a))*w = 0</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[w, {z, 2}]+(Divide[\[Gamma],z]+Divide[\[Delta],z - 1]+Divide[\[Epsilon],z - a])*D[w, z]+Divide[\[Alpha]*\[Beta]*z - q,z*(z - 1)*(z - a)]*w == 0</syntaxhighlight> || Failure || Failure || Manual Skip! || Skipped - Because timed out | |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.2.E2 31.2.E2] || [[Item:Q8977|<math>w(z) = z^{-\gamma/2}(z-1)^{-\delta/2}(z-a)^{-\epsilon/2}W(z)</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>w(z) = z^{-\gamma/2}(z-1)^{-\delta/2}(z-a)^{-\epsilon/2}W(z)</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">w(z) = (z)^(- gamma/2)*(z - 1)^(- delta/2)*(z - a)^(- epsilon/2)* W(z)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">w[z] == (z)^(- \[Gamma]/2)*(z - 1)^(- \[Delta]/2)*(z - a)^(- \[Epsilon]/2)* W[z]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |-
| |
| | [https://dlmf.nist.gov/31.2.E5 31.2.E5] || [[Item:Q8985|<math>z = \sin^{2}@@{\theta}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>z = \sin^{2}@@{\theta}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>z = (sin(theta))^(2)</syntaxhighlight> || <syntaxhighlight lang=mathematica>z == (Sin[\[Theta]])^(2)</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [70 / 70]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .2421495608-.799774456e-1*I
| |
| Test Values: {theta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -1.123875843+.2860479584*I
| |
| Test Values: {theta = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [70 / 70]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.24214956105065266, -0.07997744567545023]
| |
| Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[1.1534018595635964, 1.651829143585053]
| |
| Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[θ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
| |
| |-
| |
| | [https://dlmf.nist.gov/31.2.E6 31.2.E6] || [[Item:Q8986|<math>\deriv[2]{w}{\theta}+\left({(2\gamma-1)\cot@@{\theta}-(2\delta-1)\tan@@{\theta}}-\frac{\epsilon\sin@{2\theta}}{a-\sin^{2}@@{\theta}}\right)\deriv{w}{\theta}+4\frac{\alpha\beta\sin^{2}@@{\theta}-q}{a-\sin^{2}@@{\theta}}w = 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv[2]{w}{\theta}+\left({(2\gamma-1)\cot@@{\theta}-(2\delta-1)\tan@@{\theta}}-\frac{\epsilon\sin@{2\theta}}{a-\sin^{2}@@{\theta}}\right)\deriv{w}{\theta}+4\frac{\alpha\beta\sin^{2}@@{\theta}-q}{a-\sin^{2}@@{\theta}}w = 0</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(w, [theta$(2)])+((2*gamma - 1)*cot(theta)-(2*delta - 1)*tan(theta)-(epsilon*sin(2*theta))/(a - (sin(theta))^(2)))*diff(w, theta)+ 4*(alpha*beta*(sin(theta))^(2)- q)/(a - (sin(theta))^(2))*w = 0</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[w, {\[Theta], 2}]+((2*\[Gamma]- 1)*Cot[\[Theta]]-(2*\[Delta]- 1)*Tan[\[Theta]]-Divide[\[Epsilon]*Sin[2*\[Theta]],a - (Sin[\[Theta]])^(2)])*D[w, \[Theta]]+ 4*Divide[\[Alpha]*\[Beta]*(Sin[\[Theta]])^(2)- q,a - (Sin[\[Theta]])^(2)]*w == 0</syntaxhighlight> || Failure || Failure || Manual Skip! || Skipped - Because timed out
| |
| |-
| |
| | [https://dlmf.nist.gov/31.3.E1 31.3.E1] || [[Item:Q9003|<math>\HeunHl@{a}{q}{\alpha}{\beta}{\gamma}{\delta}{z} = \sum_{j=0}^{\infty}c_{j}z^{j}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\HeunHl@{a}{q}{\alpha}{\beta}{\gamma}{\delta}{z} = \sum_{j=0}^{\infty}c_{j}z^{j}</syntaxhighlight> || <math>|z| < 1</math> || <syntaxhighlight lang=mathematica>HeunG(a, q, alpha, beta, gamma, delta, z) = sum(c[j]*(z)^(j), j = 0..infinity)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || Failure || Missing Macro Error || Manual Skip! || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.3.E2 31.3.E2] || [[Item:Q9004|<math>a\gamma c_{1}-qc_{0} = 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>a\gamma c_{1}-qc_{0} = 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">a*gamma*c[1]- q*c[0] = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">a*\[Gamma]*Subscript[c, 1]- q*Subscript[c, 0] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.3.E3 31.3.E3] || [[Item:Q9005|<math>R_{j}c_{j+1}-(Q_{j}+q)c_{j}+P_{j}c_{j-1} = 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>R_{j}c_{j+1}-(Q_{j}+q)c_{j}+P_{j}c_{j-1} = 0</syntaxhighlight> || <math>j \geq 1</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(a*(j + 1)*(j + gamma))*c[j + 1]-(Q[j]+ q)*c[j]+ P[j]*c[j - 1] = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(a*(j + 1)*(j + \[Gamma]))*Subscript[c, j + 1]-(Subscript[Q, j]+ q)*Subscript[c, j]+ Subscript[P, j]*Subscript[c, j - 1] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |-
| |
| | [https://dlmf.nist.gov/31.7.E1 31.7.E1] || [[Item:Q9024|<math>\genhyperF{2}{1}@{\alpha,\beta}{\gamma}{z} = \HeunHl@{1}{\alpha\beta}{\alpha}{\beta}{\gamma}{\delta}{z}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\genhyperF{2}{1}@{\alpha,\beta}{\gamma}{z} = \HeunHl@{1}{\alpha\beta}{\alpha}{\beta}{\gamma}{\delta}{z}</syntaxhighlight> || <math>|z| < 1</math> || <syntaxhighlight lang=mathematica>hypergeom([alpha , beta], [gamma], z) = HeunG(1, alpha*beta, alpha, beta, gamma, delta, z)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || Successful || Missing Macro Error || - || -
| |
| |-
| |
| | [https://dlmf.nist.gov/31.7.E1 31.7.E1] || [[Item:Q9024|<math>\HeunHl@{1}{\alpha\beta}{\alpha}{\beta}{\gamma}{\delta}{z} = \HeunHl@{0}{0}{\alpha}{\beta}{\gamma}{\alpha+\beta+1-\gamma}{z}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\HeunHl@{1}{\alpha\beta}{\alpha}{\beta}{\gamma}{\delta}{z} = \HeunHl@{0}{0}{\alpha}{\beta}{\gamma}{\alpha+\beta+1-\gamma}{z}</syntaxhighlight> || <math>|z| < 1</math> || <syntaxhighlight lang=mathematica>HeunG(1, alpha*beta, alpha, beta, gamma, delta, z) = HeunG(0, 0, alpha, beta, gamma, alpha + beta + 1 - gamma, z)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || Successful || Missing Macro Error || - || -
| |
| |-
| |
| | [https://dlmf.nist.gov/31.7.E1 31.7.E1] || [[Item:Q9024|<math>\HeunHl@{0}{0}{\alpha}{\beta}{\gamma}{\alpha+\beta+1-\gamma}{z} = \HeunHl@{a}{a\alpha\beta}{\alpha}{\beta}{\gamma}{\alpha+\beta+1-\gamma}{z}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\HeunHl@{0}{0}{\alpha}{\beta}{\gamma}{\alpha+\beta+1-\gamma}{z} = \HeunHl@{a}{a\alpha\beta}{\alpha}{\beta}{\gamma}{\alpha+\beta+1-\gamma}{z}</syntaxhighlight> || <math>|z| < 1</math> || <syntaxhighlight lang=mathematica>HeunG(0, 0, alpha, beta, gamma, alpha + beta + 1 - gamma, z) = HeunG(a, a*alpha*beta, alpha, beta, gamma, alpha + beta + 1 - gamma, z)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || Successful || Missing Macro Error || - || -
| |
| |-
| |
| | [https://dlmf.nist.gov/31.7.E2 31.7.E2] || [[Item:Q9025|<math>\HeunHl@{2}{\alpha\beta}{\alpha}{\beta}{\gamma}{\alpha+\beta-2\gamma+1}{z} = \genhyperF{2}{1}@{\tfrac{1}{2}\alpha,\tfrac{1}{2}\beta}{\gamma}{1-(1-z)^{2}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\HeunHl@{2}{\alpha\beta}{\alpha}{\beta}{\gamma}{\alpha+\beta-2\gamma+1}{z} = \genhyperF{2}{1}@{\tfrac{1}{2}\alpha,\tfrac{1}{2}\beta}{\gamma}{1-(1-z)^{2}}</syntaxhighlight> || <math>|z| < 1</math> || <syntaxhighlight lang=mathematica>HeunG(2, alpha*beta, alpha, beta, gamma, alpha + beta - 2*gamma + 1, z) = hypergeom([(1)/(2)*alpha ,(1)/(2)*beta], [gamma], 1 -(1 - z)^(2))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || Failure || Missing Macro Error || Successful [Tested: 90] || -
| |
| |-
| |
| | [https://dlmf.nist.gov/31.7.E3 31.7.E3] || [[Item:Q9026|<math>\HeunHl@{4}{\alpha\beta}{\alpha}{\beta}{\tfrac{1}{2}}{\tfrac{2}{3}(\alpha+\beta)}{z} = \genhyperF{2}{1}@{\tfrac{1}{3}\alpha,\tfrac{1}{3}\beta}{\tfrac{1}{2}}{1-(1-z)^{2}(1-\tfrac{1}{4}z)}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\HeunHl@{4}{\alpha\beta}{\alpha}{\beta}{\tfrac{1}{2}}{\tfrac{2}{3}(\alpha+\beta)}{z} = \genhyperF{2}{1}@{\tfrac{1}{3}\alpha,\tfrac{1}{3}\beta}{\tfrac{1}{2}}{1-(1-z)^{2}(1-\tfrac{1}{4}z)}</syntaxhighlight> || <math>|z| < 1</math> || <syntaxhighlight lang=mathematica>HeunG(4, alpha*beta, alpha, beta, (1)/(2), (2)/(3)*(alpha + beta), z) = hypergeom([(1)/(3)*alpha ,(1)/(3)*beta], [(1)/(2)], 1 -(1 - z)^(2)*(1 -(1)/(4)*z))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || Failure || Missing Macro Error || Successful [Tested: 9] || -
| |
| |-
| |
| | [https://dlmf.nist.gov/31.7.E4 31.7.E4] || [[Item:Q9027|<math>\HeunHl@{\tfrac{1}{2}+i\tfrac{\sqrt{3}}{2}}{\alpha\beta(\tfrac{1}{2}+i\tfrac{\sqrt{3}}{6})}{\alpha}{\beta}{\tfrac{1}{3}(\alpha+\beta+1)}{\tfrac{1}{3}(\alpha+\beta+1)}{z} = \genhyperF{2}{1}@{\tfrac{1}{3}\alpha,\tfrac{1}{3}\beta}{\tfrac{1}{3}(\alpha+\beta+1)}{1-\left(1-\left(\tfrac{3}{2}-i\tfrac{\sqrt{3}}{2}\right)z\right)^{3}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\HeunHl@{\tfrac{1}{2}+i\tfrac{\sqrt{3}}{2}}{\alpha\beta(\tfrac{1}{2}+i\tfrac{\sqrt{3}}{6})}{\alpha}{\beta}{\tfrac{1}{3}(\alpha+\beta+1)}{\tfrac{1}{3}(\alpha+\beta+1)}{z} = \genhyperF{2}{1}@{\tfrac{1}{3}\alpha,\tfrac{1}{3}\beta}{\tfrac{1}{3}(\alpha+\beta+1)}{1-\left(1-\left(\tfrac{3}{2}-i\tfrac{\sqrt{3}}{2}\right)z\right)^{3}}</syntaxhighlight> || <math>|z| < 1</math> || <syntaxhighlight lang=mathematica>HeunG((1)/(2)+ I*(sqrt(3))/(2), alpha*beta*((1)/(2)+ I*(sqrt(3))/(6)), alpha, beta, (1)/(3)*(alpha + beta + 1), (1)/(3)*(alpha + beta + 1), z) = hypergeom([(1)/(3)*alpha ,(1)/(3)*beta], [(1)/(3)*(alpha + beta + 1)], 1 -(1 -((3)/(2)- I*(sqrt(3))/(2))*z)^(3))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Error</syntaxhighlight> || Failure || Missing Macro Error || <div class="toccolours mw-collapsible mw-collapsed">Failed [9 / 9]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 0.-.9402251684*I
| |
| Test Values: {alpha = 3/2, beta = 3/2, z = 1/2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 0.-.3436010475*I
| |
| Test Values: {alpha = 3/2, beta = 1/2, z = 1/2}</syntaxhighlight><br>... skip entries to safe data</div></div> || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.8#Ex1 31.8#Ex1] || [[Item:Q9033|<math>\beta-\alpha = m_{0}+\tfrac{1}{2}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\beta-\alpha = m_{0}+\tfrac{1}{2}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">beta - alpha = m[0]+(1)/(2)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Beta]- \[Alpha] == Subscript[m, 0]+Divide[1,2]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.8#Ex2 31.8#Ex2] || [[Item:Q9034|<math>\gamma = -m_{1}+\tfrac{1}{2}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\gamma = -m_{1}+\tfrac{1}{2}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">gamma = - m[1]+(1)/(2)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Gamma] == - Subscript[m, 1]+Divide[1,2]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.8#Ex3 31.8#Ex3] || [[Item:Q9035|<math>\delta = -m_{2}+\tfrac{1}{2}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\delta = -m_{2}+\tfrac{1}{2}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">delta = - m[2]+(1)/(2)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Delta] == - Subscript[m, 2]+Divide[1,2]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.8#Ex4 31.8#Ex4] || [[Item:Q9036|<math>\epsilon = -m_{3}+\tfrac{1}{2}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\epsilon = -m_{3}+\tfrac{1}{2}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">epsilon = - m[3]+(1)/(2)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Epsilon] == - Subscript[m, 3]+Divide[1,2]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |-
| |
| | [https://dlmf.nist.gov/31.8.E2 31.8.E2] || [[Item:Q9037|<math>w_{+}(\mathbf{m};\lambda;z) = \sqrt{\Psi_{g,N}(\lambda,z)}\*\exp@{+\frac{i\nu(\lambda)}{2}\int_{z_{0}}^{z}\frac{t^{m_{1}}(t-1)^{m_{2}}(t-a)^{m_{3}}\diff{t}}{\Psi_{g,N}(\lambda,t)\sqrt{t(t-1)(t-a)}}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>w_{+}(\mathbf{m};\lambda;z) = \sqrt{\Psi_{g,N}(\lambda,z)}\*\exp@{+\frac{i\nu(\lambda)}{2}\int_{z_{0}}^{z}\frac{t^{m_{1}}(t-1)^{m_{2}}(t-a)^{m_{3}}\diff{t}}{\Psi_{g,N}(\lambda,t)\sqrt{t(t-1)(t-a)}}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>w[+](m ; lambda ; z) = sqrt(Psi[g , N](lambda , z))* exp(+(I*nu(lambda))/(2)*int(((t)^(m[1])*(t - 1)^(m[2])*(t - a)^(m[3]))/(Psi[g , N](lambda , t)*sqrt(t*(t - 1)*(t - a))), t = z[0]..z))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Subscript[w, +][m ; \[Lambda]; z] == Sqrt[Subscript[\[CapitalPsi], g , N][\[Lambda], z]]* Exp[+Divide[I*\[Nu][\[Lambda]],2]*Integrate[Divide[(t)^(Subscript[m, 1])*(t - 1)^(Subscript[m, 2])*(t - a)^(Subscript[m, 3]),Subscript[\[CapitalPsi], g , N][\[Lambda], t]*Sqrt[t*(t - 1)*(t - a)]], {t, Subscript[z, 0], z}, GenerateConditions->None]]</syntaxhighlight> || Translation Error || Translation Error || - || -
| |
| |-
| |
| | [https://dlmf.nist.gov/31.8.E2 31.8.E2] || [[Item:Q9037|<math>w_{-}(\mathbf{m};\lambda;z) = \sqrt{\Psi_{g,N}(\lambda,z)}\*\exp@{-\frac{i\nu(\lambda)}{2}\int_{z_{0}}^{z}\frac{t^{m_{1}}(t-1)^{m_{2}}(t-a)^{m_{3}}\diff{t}}{\Psi_{g,N}(\lambda,t)\sqrt{t(t-1)(t-a)}}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>w_{-}(\mathbf{m};\lambda;z) = \sqrt{\Psi_{g,N}(\lambda,z)}\*\exp@{-\frac{i\nu(\lambda)}{2}\int_{z_{0}}^{z}\frac{t^{m_{1}}(t-1)^{m_{2}}(t-a)^{m_{3}}\diff{t}}{\Psi_{g,N}(\lambda,t)\sqrt{t(t-1)(t-a)}}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>w[-](m ; lambda ; z) = sqrt(Psi[g , N](lambda , z))* exp(-(I*nu(lambda))/(2)*int(((t)^(m[1])*(t - 1)^(m[2])*(t - a)^(m[3]))/(Psi[g , N](lambda , t)*sqrt(t*(t - 1)*(t - a))), t = z[0]..z))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Subscript[w, -][m ; \[Lambda]; z] == Sqrt[Subscript[\[CapitalPsi], g , N][\[Lambda], z]]* Exp[-Divide[I*\[Nu][\[Lambda]],2]*Integrate[Divide[(t)^(Subscript[m, 1])*(t - 1)^(Subscript[m, 2])*(t - a)^(Subscript[m, 3]),Subscript[\[CapitalPsi], g , N][\[Lambda], t]*Sqrt[t*(t - 1)*(t - a)]], {t, Subscript[z, 0], z}, GenerateConditions->None]]</syntaxhighlight> || Translation Error || Translation Error || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.8#Ex5 31.8#Ex5] || [[Item:Q9039|<math>\Psi_{1,2} = z^{2}+\lambda z+a</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\Psi_{1,2} = z^{2}+\lambda z+a</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Psi[1 , 2] = (z)^(2)+ lambda*z + a</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[CapitalPsi], 1 , 2] == (z)^(2)+ \[Lambda]*z + a</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.8#Ex6 31.8#Ex6] || [[Item:Q9040|<math>\nu^{2} = (\lambda+a+1)(\lambda^{2}-4a)</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\nu^{2} = (\lambda+a+1)(\lambda^{2}-4a)</syntaxhighlight> || <math>\mathbf{m} = (1</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(nu)^(2) = (lambda + a + 1)*((lambda)^(2)- 4*a)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Nu]^(2) == (\[Lambda]+ a + 1)*(\[Lambda]^(2)- 4*a)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.8#Ex7 31.8#Ex7] || [[Item:Q9041|<math>\Psi_{1,-1} = \left(z^{2}+(\lambda+3a+3)z+a\right)/z^{3}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\Psi_{1,-1} = \left(z^{2}+(\lambda+3a+3)z+a\right)/z^{3}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Psi[1 , - 1] = ((z)^(2)+(lambda + 3*a + 3)*z + a)/(z)^(3)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[CapitalPsi], 1 , - 1] == ((z)^(2)+(\[Lambda]+ 3*a + 3)*z + a)/(z)^(3)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.8#Ex8 31.8#Ex8] || [[Item:Q9042|<math>\nu^{2} = (\lambda+4a+4)\left((\lambda+3a+3)^{2}-4a\right)</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\nu^{2} = (\lambda+4a+4)\left((\lambda+3a+3)^{2}-4a\right)</syntaxhighlight> || <math>\mathbf{m} = (1</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(nu)^(2) = (lambda + 4*a + 4)*((lambda + 3*a + 3)^(2)- 4*a)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Nu]^(2) == (\[Lambda]+ 4*a + 4)*((\[Lambda]+ 3*a + 3)^(2)- 4*a)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.10.E6 31.10.E6] || [[Item:Q9055|<math>p(t) = t^{\gamma}(t-1)^{\delta}(t-a)^{\epsilon}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>p(t) = t^{\gamma}(t-1)^{\delta}(t-a)^{\epsilon}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">p(t) = (t)^(gamma)*(t - 1)^(delta)*(t - a)^(epsilon)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">p[t] == (t)^\[Gamma]*(t - 1)^\[Delta]*(t - a)^\[Epsilon]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |-
| |
| | [https://dlmf.nist.gov/31.10.E8 31.10.E8] || [[Item:Q9059|<math>\sin^{2}@@{\theta}\left(\pderiv[2]{\mathcal{K}}{\theta}+\left((1-2\gamma)\tan@@{\theta}+2(\delta+\epsilon-\tfrac{1}{2})\cot@@{\theta}\right)\pderiv{\mathcal{K}}{\theta}-4\alpha\beta\mathcal{K}\right)+\pderiv[2]{\mathcal{K}}{\phi}+\left((1-2\delta)\cot@@{\phi}-(1-2\epsilon)\tan@@{\phi}\right)\pderiv{\mathcal{K}}{\phi} = 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\sin^{2}@@{\theta}\left(\pderiv[2]{\mathcal{K}}{\theta}+\left((1-2\gamma)\tan@@{\theta}+2(\delta+\epsilon-\tfrac{1}{2})\cot@@{\theta}\right)\pderiv{\mathcal{K}}{\theta}-4\alpha\beta\mathcal{K}\right)+\pderiv[2]{\mathcal{K}}{\phi}+\left((1-2\delta)\cot@@{\phi}-(1-2\epsilon)\tan@@{\phi}\right)\pderiv{\mathcal{K}}{\phi} = 0</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(sin(theta))^(2)*(diff(K, [theta$(2)])+((1 - 2*gamma)*tan(theta)+ 2*(delta + epsilon -(1)/(2))*cot(theta))*diff(K, theta)- 4*alpha*beta*K)+ diff(K, [phi$(2)])+((1 - 2*delta)*cot(phi)-(1 - 2*epsilon)*tan(phi))*diff(K, phi) = 0</syntaxhighlight> || <syntaxhighlight lang=mathematica>(Sin[\[Theta]])^(2)*(D[K, {\[Theta], 2}]+((1 - 2*\[Gamma])*Tan[\[Theta]]+ 2*(\[Delta]+ \[Epsilon]-Divide[1,2])*Cot[\[Theta]])*D[K, \[Theta]]- 4*\[Alpha]*\[Beta]*K)+ D[K, {\[Phi], 2}]+((1 - 2*\[Delta])*Cot[\[Phi]]-(1 - 2*\[Epsilon])*Tan[\[Phi]])*D[K, \[Phi]] == 0</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -2.252732458-7.327918109*I
| |
| Test Values: {K = 1/2*3^(1/2)+1/2*I, alpha = 3/2, beta = 3/2, delta = 1/2*3^(1/2)+1/2*I, gamma = 1/2*3^(1/2)+1/2*I, phi = 1/2*3^(1/2)+1/2*I, theta = 1/2*3^(1/2)+1/2*I, epsilon = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -2.252732458-7.327918109*I
| |
| Test Values: {K = 1/2*3^(1/2)+1/2*I, alpha = 3/2, beta = 3/2, delta = 1/2*3^(1/2)+1/2*I, gamma = 1/2*3^(1/2)+1/2*I, phi = 1/2*3^(1/2)+1/2*I, theta = 1/2*3^(1/2)+1/2*I, epsilon = 2}</syntaxhighlight><br>... skip entries to safe data</div></div> || Skipped - Because timed out
| |
| |-
| |
| | [https://dlmf.nist.gov/31.10.E10 31.10.E10] || [[Item:Q9061|<math>\mathcal{K}(z,t) = (zt-a)^{\frac{1}{2}-\delta-\sigma}\*\genhyperF{2}{1}@@{\frac{1}{2}-\delta-\sigma+\alpha,\frac{1}{2}-\delta-\sigma+\beta}{\gamma}{\frac{zt}{a}}\*\genhyperF{2}{1}@@{-\frac{1}{2}+\delta+\sigma,-\frac{1}{2}+\epsilon-\sigma}{\delta}{\frac{a(z-1)(t-1)}{(a-1)(zt-a)}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\mathcal{K}(z,t) = (zt-a)^{\frac{1}{2}-\delta-\sigma}\*\genhyperF{2}{1}@@{\frac{1}{2}-\delta-\sigma+\alpha,\frac{1}{2}-\delta-\sigma+\beta}{\gamma}{\frac{zt}{a}}\*\genhyperF{2}{1}@@{-\frac{1}{2}+\delta+\sigma,-\frac{1}{2}+\epsilon-\sigma}{\delta}{\frac{a(z-1)(t-1)}{(a-1)(zt-a)}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>K(z , t) = (z*t - a)^((1)/(2)- delta - sigma)* hypergeom([(1)/(2)- delta - sigma + alpha ,(1)/(2)- delta - sigma + beta], [gamma], (z*t)/(a))* hypergeom([-(1)/(2)+ delta + sigma , -(1)/(2)+ epsilon - sigma], [delta], (a*(z - 1)*(t - 1))/((a - 1)*(z*t - a)))</syntaxhighlight> || <syntaxhighlight lang=mathematica>K[z , t] == (z*t - a)^(Divide[1,2]- \[Delta]- \[Sigma])* HypergeometricPFQ[{Divide[1,2]- \[Delta]- \[Sigma]+ \[Alpha],Divide[1,2]- \[Delta]- \[Sigma]+ \[Beta]}, {\[Gamma]}, Divide[z*t,a]]* HypergeometricPFQ[{-Divide[1,2]+ \[Delta]+ \[Sigma], -Divide[1,2]+ \[Epsilon]- \[Sigma]}, {\[Delta]}, Divide[a*(z - 1)*(t - 1),(a - 1)*(z*t - a)]]</syntaxhighlight> || Failure || Failure || Error || Skipped - Because timed out
| |
| |-
| |
| | [https://dlmf.nist.gov/31.10.E18 31.10.E18] || [[Item:Q9071|<math>\pderiv[2]{\mathcal{K}}{u}+\pderiv[2]{\mathcal{K}}{v}+\pderiv[2]{\mathcal{K}}{w}+\frac{2\gamma-1}{u}\pderiv{\mathcal{K}}{u}+\frac{2\delta-1}{v}\pderiv{\mathcal{K}}{v}+\frac{2\epsilon-1}{w}\pderiv{\mathcal{K}}{w} = 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\pderiv[2]{\mathcal{K}}{u}+\pderiv[2]{\mathcal{K}}{v}+\pderiv[2]{\mathcal{K}}{w}+\frac{2\gamma-1}{u}\pderiv{\mathcal{K}}{u}+\frac{2\delta-1}{v}\pderiv{\mathcal{K}}{v}+\frac{2\epsilon-1}{w}\pderiv{\mathcal{K}}{w} = 0</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(K, [u$(2)])+ diff(K, [v$(2)])+ subs( temp=(I*(((s - a)*(t - a)*(z - a))/(a*(1 - a)))^(1/2)), diff( K, temp$(2) ) )+(2*gamma - 1)/(u)*diff(K, u)+(2*delta - 1)/(v)*diff(K, v)+(2*epsilon - 1)/(I*(((s - a)*(t - a)*(z - a))/(a*(1 - a)))^(1/2))*subs( temp=(I*(((s - a)*(t - a)*(z - a))/(a*(1 - a)))^(1/2)), diff( K, temp$(1) ) ) = 0</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[K, {u, 2}]+ D[K, {v, 2}]+ (D[K, {temp, 2}]/.temp-> (I*(Divide[(s - a)*(t - a)*(z - a),a*(1 - a)])^(1/2)))+Divide[2*\[Gamma]- 1,u]*D[K, u]+Divide[2*\[Delta]- 1,v]*D[K, v]+Divide[2*\[Epsilon]- 1,I*(Divide[(s - a)*(t - a)*(z - a),a*(1 - a)])^(1/2)]*(D[K, {temp, 1}]/.temp-> (I*(Divide[(s - a)*(t - a)*(z - a),a*(1 - a)])^(1/2))) == 0</syntaxhighlight> || Successful || Successful || - || -
| |
| |-
| |
| | [https://dlmf.nist.gov/31.10#Ex7 31.10#Ex7] || [[Item:Q9073|<math>u = r\cos@@{\theta}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>u = r\cos@@{\theta}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>u = r*cos(theta)</syntaxhighlight> || <syntaxhighlight lang=mathematica>u == r*Cos[\[Theta]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 1.961839932-.954243254e-1*I
| |
| Test Values: {r = -3/2, theta = 1/2*3^(1/2)+1/2*I, u = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .5958145280+.2706010786*I
| |
| Test Values: {r = -3/2, theta = 1/2*3^(1/2)+1/2*I, u = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[1.9618399323702764, -0.09542432534354878]
| |
| Test Values: {Rule[r, -1.5], Rule[u, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[2.7076736790806044, 1.2036130644027554]
| |
| Test Values: {Rule[r, -1.5], Rule[u, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[θ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
| |
| |-
| |
| | [https://dlmf.nist.gov/31.10#Ex8 31.10#Ex8] || [[Item:Q9074|<math>v = r\sin@@{\theta}\sin@@{\phi}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>v = r\sin@@{\theta}\sin@@{\phi}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>v = r*sin(theta)*sin(phi)</syntaxhighlight> || <syntaxhighlight lang=mathematica>v == r*Sin[\[Theta]]*Sin[\[Phi]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 1.801839169+1.369966168*I
| |
| Test Values: {phi = 1/2*3^(1/2)+1/2*I, r = -3/2, theta = 1/2*3^(1/2)+1/2*I, v = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .4358137648+1.735991572*I
| |
| Test Values: {phi = 1/2*3^(1/2)+1/2*I, r = -3/2, theta = 1/2*3^(1/2)+1/2*I, v = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[1.801839167885118, 1.3699661685131752]
| |
| Test Values: {Rule[r, -1.5], Rule[v, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ϕ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[-0.4330012446224153, 1.2666732793219693]
| |
| Test Values: {Rule[r, -1.5], Rule[v, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ϕ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
| |
| |-
| |
| | [https://dlmf.nist.gov/31.10#Ex9 31.10#Ex9] || [[Item:Q9075|<math>w = r\sin@@{\theta}\cos@@{\phi}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>w = r\sin@@{\theta}\cos@@{\phi}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>(I*(((s - a)*(t - a)*(z - a))/(a*(1 - a)))^(1/2)) = r*sin(theta)*cos(phi)</syntaxhighlight> || <syntaxhighlight lang=mathematica>(I*(Divide[(s - a)*(t - a)*(z - a),a*(1 - a)])^(1/2)) == r*Sin[\[Theta]]*Cos[\[Phi]]</syntaxhighlight> || Failure || Failure || Manual Skip! || Skipped - Because timed out
| |
| |-
| |
| | [https://dlmf.nist.gov/31.10.E21 31.10.E21] || [[Item:Q9076|<math>\pderiv[2]{\mathcal{K}}{r}+\frac{2(\gamma+\delta+\epsilon)-1}{r}\pderiv{\mathcal{K}}{r}+\frac{1}{r^{2}}\pderiv[2]{\mathcal{K}}{\theta}+\frac{(2(\delta+\epsilon)-1)\cot@@{\theta}-(2\gamma-1)\tan@@{\theta}}{r^{2}}\pderiv{\mathcal{K}}{\theta}+\frac{1}{r^{2}\sin^{2}@@{\theta}}\pderiv[2]{\mathcal{K}}{\phi}+\frac{(2\delta-1)\cot@@{\phi}-(2\epsilon-1)\tan@@{\phi}}{r^{2}\sin^{2}@@{\theta}}\pderiv{\mathcal{K}}{\phi} = 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\pderiv[2]{\mathcal{K}}{r}+\frac{2(\gamma+\delta+\epsilon)-1}{r}\pderiv{\mathcal{K}}{r}+\frac{1}{r^{2}}\pderiv[2]{\mathcal{K}}{\theta}+\frac{(2(\delta+\epsilon)-1)\cot@@{\theta}-(2\gamma-1)\tan@@{\theta}}{r^{2}}\pderiv{\mathcal{K}}{\theta}+\frac{1}{r^{2}\sin^{2}@@{\theta}}\pderiv[2]{\mathcal{K}}{\phi}+\frac{(2\delta-1)\cot@@{\phi}-(2\epsilon-1)\tan@@{\phi}}{r^{2}\sin^{2}@@{\theta}}\pderiv{\mathcal{K}}{\phi} = 0</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(K, [r$(2)])+(2*(gamma + delta + epsilon)- 1)/(r)*diff(K, r)+(1)/((r)^(2))*diff(K, [theta$(2)])+((2*(delta + epsilon)- 1)*cot(theta)-(2*gamma - 1)*tan(theta))/((r)^(2))*diff(K, theta)+(1)/((r)^(2)* (sin(theta))^(2))*diff(K, [phi$(2)])+((2*delta - 1)*cot(phi)-(2*epsilon - 1)*tan(phi))/((r)^(2)* (sin(theta))^(2))*diff(K, phi) = 0</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[K, {r, 2}]+Divide[2*(\[Gamma]+ \[Delta]+ \[Epsilon])- 1,r]*D[K, r]+Divide[1,(r)^(2)]*D[K, {\[Theta], 2}]+Divide[(2*(\[Delta]+ \[Epsilon])- 1)*Cot[\[Theta]]-(2*\[Gamma]- 1)*Tan[\[Theta]],(r)^(2)]*D[K, \[Theta]]+Divide[1,(r)^(2)* (Sin[\[Theta]])^(2)]*D[K, {\[Phi], 2}]+Divide[(2*\[Delta]- 1)*Cot[\[Phi]]-(2*\[Epsilon]- 1)*Tan[\[Phi]],(r)^(2)* (Sin[\[Theta]])^(2)]*D[K, \[Phi]] == 0</syntaxhighlight> || Successful || Successful || - || Successful [Tested: 300]
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.11.E4 31.11.E4] || [[Item:Q9088|<math>L_{0}c_{0}+M_{0}c_{1} = 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>L_{0}c_{0}+M_{0}c_{1} = 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">L[0]*c[0]+ M[0]*c[1] = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[L, 0]*Subscript[c, 0]+ Subscript[M, 0]*Subscript[c, 1] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.11.E5 31.11.E5] || [[Item:Q9089|<math>K_{j}c_{j-1}+L_{j}c_{j}+M_{j}c_{j+1} = 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>K_{j}c_{j-1}+L_{j}c_{j}+M_{j}c_{j+1} = 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">K[j]*c[j - 1]+ L[j]*c[j]+ M[j]*c[j + 1] = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[K, j]*Subscript[c, j - 1]+ Subscript[L, j]*Subscript[c, j]+ Subscript[M, j]*Subscript[c, j + 1] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.11.E6 31.11.E6] || [[Item:Q9090|<math>K_{j} = -\frac{(j+\alpha-\mu-1)(j+\beta-\mu-1)(j+\gamma-\mu-1)(j+\lambda-1)}{(2j+\lambda-\mu-1)(2j+\lambda-\mu-2)}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>K_{j} = -\frac{(j+\alpha-\mu-1)(j+\beta-\mu-1)(j+\gamma-\mu-1)(j+\lambda-1)}{(2j+\lambda-\mu-1)(2j+\lambda-\mu-2)}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">K[j] = -((j + alpha - mu - 1)*(j + beta - mu - 1)*(j + gamma - mu - 1)*(j + lambda - 1))/((2*j + lambda - mu - 1)*(2*j + lambda - mu - 2))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[K, j] == -Divide[(j + \[Alpha]- \[Mu]- 1)*(j + \[Beta]- \[Mu]- 1)*(j + \[Gamma]- \[Mu]- 1)*(j + \[Lambda]- 1),(2*j + \[Lambda]- \[Mu]- 1)*(2*j + \[Lambda]- \[Mu]- 2)]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.11.E7 31.11.E7] || [[Item:Q9091|<math>L_{j} = a(\lambda+j)(\mu-j)-q+\frac{(j+\alpha-\mu)(j+\beta-\mu)(j+\gamma-\mu)(j+\lambda)}{(2j+\lambda-\mu)(2j+\lambda-\mu+1)}+\frac{(j-\alpha+\lambda)(j-\beta+\lambda)(j-\gamma+\lambda)(j-\mu)}{(2j+\lambda-\mu)(2j+\lambda-\mu-1)}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>L_{j} = a(\lambda+j)(\mu-j)-q+\frac{(j+\alpha-\mu)(j+\beta-\mu)(j+\gamma-\mu)(j+\lambda)}{(2j+\lambda-\mu)(2j+\lambda-\mu+1)}+\frac{(j-\alpha+\lambda)(j-\beta+\lambda)(j-\gamma+\lambda)(j-\mu)}{(2j+\lambda-\mu)(2j+\lambda-\mu-1)}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">L[j] = a*(lambda + j)*(mu - j)- q +((j + alpha - mu)*(j + beta - mu)*(j + gamma - mu)*(j + lambda))/((2*j + lambda - mu)*(2*j + lambda - mu + 1))+((j - alpha + lambda)*(j - beta + lambda)*(j - gamma + lambda)*(j - mu))/((2*j + lambda - mu)*(2*j + lambda - mu - 1))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[L, j] == a*(\[Lambda]+ j)*(\[Mu]- j)- q +Divide[(j + \[Alpha]- \[Mu])*(j + \[Beta]- \[Mu])*(j + \[Gamma]- \[Mu])*(j + \[Lambda]),(2*j + \[Lambda]- \[Mu])*(2*j + \[Lambda]- \[Mu]+ 1)]+Divide[(j - \[Alpha]+ \[Lambda])*(j - \[Beta]+ \[Lambda])*(j - \[Gamma]+ \[Lambda])*(j - \[Mu]),(2*j + \[Lambda]- \[Mu])*(2*j + \[Lambda]- \[Mu]- 1)]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.11.E8 31.11.E8] || [[Item:Q9092|<math>M_{j} = -\frac{(j-\alpha+\lambda+1)(j-\beta+\lambda+1)(j-\gamma+\lambda+1)(j-\mu+1)}{(2j+\lambda-\mu+1)(2j+\lambda-\mu+2)}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>M_{j} = -\frac{(j-\alpha+\lambda+1)(j-\beta+\lambda+1)(j-\gamma+\lambda+1)(j-\mu+1)}{(2j+\lambda-\mu+1)(2j+\lambda-\mu+2)}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">M[j] = -((j - alpha + lambda + 1)*(j - beta + lambda + 1)*(j - gamma + lambda + 1)*(j - mu + 1))/((2*j + lambda - mu + 1)*(2*j + lambda - mu + 2))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[M, j] == -Divide[(j - \[Alpha]+ \[Lambda]+ 1)*(j - \[Beta]+ \[Lambda]+ 1)*(j - \[Gamma]+ \[Lambda]+ 1)*(j - \[Mu]+ 1),(2*j + \[Lambda]- \[Mu]+ 1)*(2*j + \[Lambda]- \[Mu]+ 2)]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.11.E9 31.11.E9] || [[Item:Q9093|<math>M_{-1}P_{-1} = 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>M_{-1}P_{-1} = 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">M[- 1]*P[- 1] = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[M, - 1]*Subscript[P, - 1] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.11#Ex1 31.11#Ex1] || [[Item:Q9094|<math>\lambda = \alpha</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\lambda = \alpha</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">lambda = alpha</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Lambda] == \[Alpha]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.11#Ex2 31.11#Ex2] || [[Item:Q9095|<math>\mu = \beta-\epsilon</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\mu = \beta-\epsilon</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">mu = beta - epsilon</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Mu] == \[Beta]- \[Epsilon]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.11#Ex3 31.11#Ex3] || [[Item:Q9096|<math>\lambda = \beta</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\lambda = \beta</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">lambda = beta</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Lambda] == \[Beta]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.11#Ex4 31.11#Ex4] || [[Item:Q9097|<math>\mu = \alpha-\epsilon</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\mu = \alpha-\epsilon</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">mu = alpha - epsilon</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Mu] == \[Alpha]- \[Epsilon]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.11#Ex5 31.11#Ex5] || [[Item:Q9100|<math>\lambda = \gamma+\delta-1</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\lambda = \gamma+\delta-1</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">lambda = gamma + delta - 1</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Lambda] == \[Gamma]+ \[Delta]- 1</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.11#Ex6 31.11#Ex6] || [[Item:Q9101|<math>\mu = 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\mu = 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">mu = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Mu] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.11#Ex7 31.11#Ex7] || [[Item:Q9102|<math>\lambda = \gamma</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\lambda = \gamma</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">lambda = gamma</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Lambda] == \[Gamma]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.11#Ex8 31.11#Ex8] || [[Item:Q9103|<math>\mu = \delta-1</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\mu = \delta-1</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">mu = delta - 1</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Mu] == \[Delta]- 1</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.11#Ex9 31.11#Ex9] || [[Item:Q9104|<math>\lambda = \delta</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\lambda = \delta</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">lambda = delta</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Lambda] == \[Delta]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.11#Ex10 31.11#Ex10] || [[Item:Q9105|<math>\mu = \gamma-1</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\mu = \gamma-1</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">mu = gamma - 1</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Mu] == \[Gamma]- 1</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.11#Ex11 31.11#Ex11] || [[Item:Q9106|<math>\lambda = 1</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\lambda = 1</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">lambda = 1</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Lambda] == 1</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.11#Ex12 31.11#Ex12] || [[Item:Q9107|<math>\mu = \gamma+\delta-2</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\mu = \gamma+\delta-2</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">mu = gamma + delta - 2</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Mu] == \[Gamma]+ \[Delta]- 2</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |-
| |
| | [https://dlmf.nist.gov/31.12.E1 31.12.E1] || [[Item:Q9108|<math>\deriv[2]{w}{z}+\left(\frac{\gamma}{z}+\frac{\delta}{z-1}+\epsilon\right)\deriv{w}{z}+\frac{\alpha z-q}{z(z-1)}w = 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv[2]{w}{z}+\left(\frac{\gamma}{z}+\frac{\delta}{z-1}+\epsilon\right)\deriv{w}{z}+\frac{\alpha z-q}{z(z-1)}w = 0</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(w, [z$(2)])+((gamma)/(z)+(delta)/(z - 1)+ epsilon)*diff(w, z)+(alpha*z - q)/(z*(z - 1))*w = 0</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[w, {z, 2}]+(Divide[\[Gamma],z]+Divide[\[Delta],z - 1]+ \[Epsilon])*D[w, z]+Divide[\[Alpha]*z - q,z*(z - 1)]*w == 0</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .2500000003-.9330127021*I
| |
| Test Values: {alpha = 3/2, delta = 1/2*3^(1/2)+1/2*I, gamma = 1/2*3^(1/2)+1/2*I, q = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, epsilon = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .2500000003-.9330127021*I
| |
| Test Values: {alpha = 3/2, delta = 1/2*3^(1/2)+1/2*I, gamma = 1/2*3^(1/2)+1/2*I, q = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, epsilon = 2}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.25, -0.9330127018922194]
| |
| Test Values: {Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[α, 1.5], Rule[γ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[δ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ϵ, 1]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[0.25, -0.9330127018922194]
| |
| Test Values: {Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[α, 1.5], Rule[γ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[δ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ϵ, 2]}</syntaxhighlight><br>... skip entries to safe data</div></div>
| |
| |-
| |
| | [https://dlmf.nist.gov/31.12.E2 31.12.E2] || [[Item:Q9109|<math>\deriv[2]{w}{z}+\left(\frac{\delta}{z^{2}}+\frac{\gamma}{z}+1\right)\deriv{w}{z}+\frac{\alpha z-q}{z^{2}}w = 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv[2]{w}{z}+\left(\frac{\delta}{z^{2}}+\frac{\gamma}{z}+1\right)\deriv{w}{z}+\frac{\alpha z-q}{z^{2}}w = 0</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(w, [z$(2)])+((delta)/((z)^(2))+(gamma)/(z)+ 1)*diff(w, z)+(alpha*z - q)/((z)^(2))*w = 0</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[w, {z, 2}]+(Divide[\[Delta],(z)^(2)]+Divide[\[Gamma],z]+ 1)*D[w, z]+Divide[\[Alpha]*z - q,(z)^(2)]*w == 0</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .5000000000+0.*I
| |
| Test Values: {alpha = 3/2, delta = 1/2*3^(1/2)+1/2*I, gamma = 1/2*3^(1/2)+1/2*I, q = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .9999999998-1.500000000*I
| |
| Test Values: {alpha = 3/2, delta = 1/2*3^(1/2)+1/2*I, gamma = 1/2*3^(1/2)+1/2*I, q = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.49999999999999994, -2.7755575615628914*^-17]
| |
| Test Values: {Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[α, 1.5], Rule[γ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[δ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[0.49999999999999994, -2.7755575615628914*^-17]
| |
| Test Values: {Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[α, 1.5], Rule[γ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[δ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
| |
| |-
| |
| | [https://dlmf.nist.gov/31.12.E3 31.12.E3] || [[Item:Q9110|<math>\deriv[2]{w}{z}-\left(\frac{\gamma}{z}+\delta+z\right)\deriv{w}{z}+\frac{\alpha z-q}{z}w = 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv[2]{w}{z}-\left(\frac{\gamma}{z}+\delta+z\right)\deriv{w}{z}+\frac{\alpha z-q}{z}w = 0</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(w, [z$(2)])-((gamma)/(z)+ delta + z)*diff(w, z)+(alpha*z - q)/(z)*w = 0</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[w, {z, 2}]-(Divide[\[Gamma],z]+ \[Delta]+ z)*D[w, z]+Divide[\[Alpha]*z - q,z]*w == 0</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .4330127020+.2500000000*I
| |
| Test Values: {alpha = 3/2, delta = 1/2*3^(1/2)+1/2*I, gamma = 1/2*3^(1/2)+1/2*I, q = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .7990381058+1.616025404*I
| |
| Test Values: {alpha = 3/2, delta = 1/2*3^(1/2)+1/2*I, gamma = 1/2*3^(1/2)+1/2*I, q = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.4330127018922193, 0.24999999999999994]
| |
| Test Values: {Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[α, 1.5], Rule[γ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[δ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[0.4330127018922193, 0.24999999999999994]
| |
| Test Values: {Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[α, 1.5], Rule[γ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[δ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
| |
| |-
| |
| | [https://dlmf.nist.gov/31.12.E4 31.12.E4] || [[Item:Q9111|<math>\deriv[2]{w}{z}+\left(\gamma+z\right)z\deriv{w}{z}+\left(\alpha z-q\right)w = 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv[2]{w}{z}+\left(\gamma+z\right)z\deriv{w}{z}+\left(\alpha z-q\right)w = 0</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(w, [z$(2)])+(gamma + z)*z*diff(w, z)+(alpha*z - q)*w = 0</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[w, {z, 2}]+(\[Gamma]+ z)*z*D[w, z]+(\[Alpha]*z - q)*w == 0</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .2500000002+.4330127020*I
| |
| Test Values: {alpha = 3/2, gamma = 1/2*3^(1/2)+1/2*I, q = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -1.799038106-.1160254034*I
| |
| Test Values: {alpha = 3/2, gamma = 1/2*3^(1/2)+1/2*I, q = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[0.25000000000000006, 0.43301270189221924]
| |
| Test Values: {Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[α, 1.5], Rule[γ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[0.25000000000000006, 0.43301270189221924]
| |
| Test Values: {Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[α, 1.5], Rule[γ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
| |
| |-
| |
| | [https://dlmf.nist.gov/31.14.E1 31.14.E1] || [[Item:Q9112|<math>\deriv[2]{w}{z}+\left(\sum_{j=1}^{N}\frac{\gamma_{j}}{z-a_{j}}\right)\deriv{w}{z}+\left(\sum_{j=1}^{N}\frac{q_{j}}{z-a_{j}}\right)w = 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv[2]{w}{z}+\left(\sum_{j=1}^{N}\frac{\gamma_{j}}{z-a_{j}}\right)\deriv{w}{z}+\left(\sum_{j=1}^{N}\frac{q_{j}}{z-a_{j}}\right)w = 0</syntaxhighlight> || <math>\sum_{j=1}^{N}q_{j} = 0</math> || <syntaxhighlight lang=mathematica>diff(w, [z$(2)])+(sum((gamma[j])/(z - a[j]), j = 1..N))*diff(w, z)+(sum((q[j])/(z - a[j]), j = 1..N))*w = 0</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[w, {z, 2}]+(Sum[Divide[Subscript[\[Gamma], j],z - Subscript[a, j]], {j, 1, N}, GenerateConditions->None])*D[w, z]+(Sum[Divide[Subscript[q, j],z - Subscript[a, j]], {j, 1, N}, GenerateConditions->None])*w == 0</syntaxhighlight> || Skipped - Unable to analyze test case: Null || Skipped - Unable to analyze test case: Null || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.14#Ex1 31.14#Ex1] || [[Item:Q9113|<math>\alpha+\beta+1 = \sum_{j=1}^{N}\gamma_{j}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha+\beta+1 = \sum_{j=1}^{N}\gamma_{j}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha + beta + 1 = sum(gamma[j], j = 1..N)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Alpha]+ \[Beta]+ 1 == Sum[Subscript[\[Gamma], j], {j, 1, N}, GenerateConditions->None]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.14#Ex2 31.14#Ex2] || [[Item:Q9114|<math>\alpha\beta = \sum_{j=1}^{N}a_{j}q_{j}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha\beta = \sum_{j=1}^{N}a_{j}q_{j}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha*beta = sum(a[j]*q[j], j = 1..N)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Alpha]*\[Beta] == Sum[Subscript[a, j]*Subscript[q, j], {j, 1, N}, GenerateConditions->None]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.14.E3 31.14.E3] || [[Item:Q9115|<math>w(z) = \left(\prod_{j=1}^{N}(z-a_{j})^{-\gamma_{j}/2}\right)W(z)</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>w(z) = \left(\prod_{j=1}^{N}(z-a_{j})^{-\gamma_{j}/2}\right)W(z)</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">w(z) = (product((z - a[j])^(- gamma[j]/2), j = 1..N))*W(z)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">w[z] == (Product[(z - Subscript[a, j])^(- Subscript[\[Gamma], j]/2), {j, 1, N}, GenerateConditions->None])*W[z]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |-
| |
| | [https://dlmf.nist.gov/31.15.E1 31.15.E1] || [[Item:Q9119|<math>\deriv[2]{w}{z}+\left(\sum_{j=1}^{N}\frac{\gamma_{j}}{z-a_{j}}\right)\deriv{w}{z}+\frac{\Phi(z)}{\prod_{j=1}^{N}(z-a_{j})}w = 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\deriv[2]{w}{z}+\left(\sum_{j=1}^{N}\frac{\gamma_{j}}{z-a_{j}}\right)\deriv{w}{z}+\frac{\Phi(z)}{\prod_{j=1}^{N}(z-a_{j})}w = 0</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff(w, [z$(2)])+(sum((gamma[j])/(z - a[j]), j = 1..N))*diff(w, z)+(Phi(z))/(product(z - a[j], j = 1..N))*w = 0</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[w, {z, 2}]+(Sum[Divide[Subscript[\[Gamma], j],z - Subscript[a, j]], {j, 1, N}, GenerateConditions->None])*D[w, z]+Divide[\[CapitalPhi][z],Product[z - Subscript[a, j], {j, 1, N}, GenerateConditions->None]]*w == 0</syntaxhighlight> || Failure || Failure || Error || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Times[Complex[0.0, 1.0], Power[NProduct[0
| |
| Test Values: {j, 1, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]}, Rule[GenerateConditions, None]], -1]], {Rule[N, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[γ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Φ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, j], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[γ, j], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Times[Complex[0.0, 1.0], Power[NProduct[0
| |
| Test Values: {j, 1, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]}, Rule[GenerateConditions, None]], -1]], {Rule[N, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[γ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Φ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[a, j], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[γ, j], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.15#Ex1 31.15#Ex1] || [[Item:Q9123|<math>\gamma_{j} > 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\gamma_{j} > 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">gamma[j] > 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[\[Gamma], j] > 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.15.E7 31.15.E7] || [[Item:Q9126|<math>q_{j} = \gamma_{j}\sum_{k=1}^{n}\frac{1}{z_{k}-a_{j}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>q_{j} = \gamma_{j}\sum_{k=1}^{n}\frac{1}{z_{k}-a_{j}}</syntaxhighlight> || <math>j = 1</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">q[j] = gamma[j]*sum((1)/(z[k]- a[j]), k = 1..n)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[q, j] == Subscript[\[Gamma], j]*Sum[Divide[1,Subscript[z, k]- Subscript[a, j]], {k, 1, n}, GenerateConditions->None]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.16.E4 31.16.E4] || [[Item:Q9137|<math>P_{j}A_{j-1}+Q_{j}A_{j}+R_{j}A_{j+1} = 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>P_{j}A_{j-1}+Q_{j}A_{j}+R_{j}A_{j+1} = 0</syntaxhighlight> || <math>j = 1</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(((epsilon - j + n)*j*(beta + j - 1)*(gamma + delta + j - 2))/((gamma + delta + 2*j - 3)*(gamma + delta + 2*j - 2)))*A[j - 1]+(- a*j*(j + gamma + delta - 1)- q +((j - n)*(j + beta)*(j + gamma)*(j + gamma + delta - 1))/((2*j + gamma + delta)*(2*j + gamma + delta - 1))+((j + n + gamma + delta - 1)*j*(j + delta - 1)*(j - beta + gamma + delta - 1))/((2*j + gamma + delta - 1)*(2*j + gamma + delta - 2)))*A[j]+(((n - j)*(j + n + gamma + delta)*(j + gamma)*(j + delta))/((gamma + delta + 2*j)*(gamma + delta + 2*j + 1)))*A[j + 1] = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(Divide[(\[Epsilon]- j + n)*j*(\[Beta]+ j - 1)*(\[Gamma]+ \[Delta]+ j - 2),(\[Gamma]+ \[Delta]+ 2*j - 3)*(\[Gamma]+ \[Delta]+ 2*j - 2)])*Subscript[A, j - 1]+(- a*j*(j + \[Gamma]+ \[Delta]- 1)- q +Divide[(j - n)*(j + \[Beta])*(j + \[Gamma])*(j + \[Gamma]+ \[Delta]- 1),(2*j + \[Gamma]+ \[Delta])*(2*j + \[Gamma]+ \[Delta]- 1)]+Divide[(j + n + \[Gamma]+ \[Delta]- 1)*j*(j + \[Delta]- 1)*(j - \[Beta]+ \[Gamma]+ \[Delta]- 1),(2*j + \[Gamma]+ \[Delta]- 1)*(2*j + \[Gamma]+ \[Delta]- 2)])*Subscript[A, j]+(Divide[(n - j)*(j + n + \[Gamma]+ \[Delta])*(j + \[Gamma])*(j + \[Delta]),(\[Gamma]+ \[Delta]+ 2*j)*(\[Gamma]+ \[Delta]+ 2*j + 1)])*Subscript[A, j + 1] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.17.E2 31.17.E2] || [[Item:Q9143|<math>\frac{x_{s}^{2}}{z_{k}}+\frac{x_{t}^{2}}{z_{k}-1}+\frac{x_{u}^{2}}{z_{k}-a} = 0</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\frac{x_{s}^{2}}{z_{k}}+\frac{x_{t}^{2}}{z_{k}-1}+\frac{x_{u}^{2}}{z_{k}-a} = 0</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">((x[s])^(2))/(x + y*I[k])+((x[t])^(2))/(x + y*I[k]- 1)+((x[u])^(2))/(x + y*I[k]- a) = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Divide[(Subscript[x, s])^(2),Subscript[x + y*I, k]]+Divide[(Subscript[x, t])^(2),Subscript[x + y*I, k]- 1]+Divide[(Subscript[x, u])^(2),Subscript[x + y*I, k]- a] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.17.E4 31.17.E4] || [[Item:Q9147|<math>\Psi(\mathbf{x}) = (z_{1}z_{2})^{-s-\frac{1}{4}}((z_{1}-1)(z_{2}-1))^{-t-\frac{1}{4}}\*((z_{1}-a)(z_{2}-a))^{-u-\frac{1}{4}}w(z_{1})w(z_{2})</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\Psi(\mathbf{x}) = (z_{1}z_{2})^{-s-\frac{1}{4}}((z_{1}-1)(z_{2}-1))^{-t-\frac{1}{4}}\*((z_{1}-a)(z_{2}-a))^{-u-\frac{1}{4}}w(z_{1})w(z_{2})</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Psi(x) = (x + y*I[1]*x + y*I[2])^(- s -(1)/(4))*((x + y*I[1]- 1)*(x + y*I[2]- 1))^(- t -(1)/(4))*((x + y*I[1]- a)*(x + y*I[2]- a))^(- u -(1)/(4))* w*(x + y*I[1])*w*(x + y*I[2])</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[CapitalPsi][x] == (Subscript[x + y*I, 1]*Subscript[x + y*I, 2])^(- s -Divide[1,4])*((Subscript[x + y*I, 1]- 1)*(Subscript[x + y*I, 2]- 1))^(- t -Divide[1,4])*((Subscript[x + y*I, 1]- a)*(Subscript[x + y*I, 2]- a))^(- u -Divide[1,4])* w*(Subscript[x + y*I, 1])*w*(Subscript[x + y*I, 2])</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.17#Ex6 31.17#Ex6] || [[Item:Q9148|<math>\alpha = -s-t-u-j-1</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\alpha = -s-t-u-j-1</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">alpha = - s - t - u - j - 1</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Alpha] == - s - t - u - j - 1</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.17#Ex7 31.17#Ex7] || [[Item:Q9149|<math>\beta = j-s-t-u</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\beta = j-s-t-u</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">beta = j - s - t - u</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Beta] == j - s - t - u</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.17#Ex8 31.17#Ex8] || [[Item:Q9150|<math>\gamma = -2s</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\gamma = -2s</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">gamma = - 2*s</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Gamma] == - 2*s</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.17#Ex9 31.17#Ex9] || [[Item:Q9151|<math>\delta = -2t</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\delta = -2t</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">delta = - 2*t</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Delta] == - 2*t</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.17#Ex10 31.17#Ex10] || [[Item:Q9152|<math>\epsilon = -2u</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\epsilon = -2u</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">epsilon = - 2*u</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Epsilon] == - 2*u</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |- style="background: #dfe6e9;"
| |
| | [https://dlmf.nist.gov/31.17#Ex11 31.17#Ex11] || [[Item:Q9153|<math>q = ah_{s}+2s(at+u)</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>q = ah_{s}+2s(at+u)</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">q = a*h[s]+ 2*s*(a*t + u)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">q == a*Subscript[h, s]+ 2*s*(a*t + u)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| |
| |}
| |
| </div> | | </div> |