Results of Struve and Related 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 35: | Line 35: | ||
| [https://dlmf.nist.gov/11.2.E17 11.2.E17] || [[Item:Q3932|<math>w = \modStruveM{\nu}@{z}+A\modBesselK{\nu}@{z}+B\modBesselI{\nu}@{z}</math>]] || <code>w = StruveL(nu, z) - BesselI(nu, z)+ A*BesselK(nu, z)+ B*BesselI(nu, z)</code> || <code>w == StruveL[\[Nu], z] - BesselI[\[Nu], z]+ A*BesselK[\[Nu], z]+ B*BesselI[\[Nu], z]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[.876284277e-1+.1517241441*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 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}</code><br><code>.9234962821+3.599925727*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 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)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[0.08762842754807953, 0.15172414402816306] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, 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]]]}</code><br><code>Complex[-0.09828151494898707, -0.22324970290386212] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, 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[2, 3]], Pi]]]}</code><br></div></div> | | [https://dlmf.nist.gov/11.2.E17 11.2.E17] || [[Item:Q3932|<math>w = \modStruveM{\nu}@{z}+A\modBesselK{\nu}@{z}+B\modBesselI{\nu}@{z}</math>]] || <code>w = StruveL(nu, z) - BesselI(nu, z)+ A*BesselK(nu, z)+ B*BesselI(nu, z)</code> || <code>w == StruveL[\[Nu], z] - BesselI[\[Nu], z]+ A*BesselK[\[Nu], z]+ B*BesselI[\[Nu], z]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[.876284277e-1+.1517241441*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 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}</code><br><code>.9234962821+3.599925727*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 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)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[0.08762842754807953, 0.15172414402816306] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, 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]]]}</code><br><code>Complex[-0.09828151494898707, -0.22324970290386212] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, 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[2, 3]], Pi]]]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.4.E1 11.4.E1] || [[Item:Q3933|<math>\StruveK{n+\frac{1}{2}}@{z} = \left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\sum_{m=0}^{n}\frac{(2m)!\,2^{-2m}}{m!\,(n-m)!}\,(\tfrac{1}{2}z)^{n-2m}</math>]] || <code>StruveH(n +(1)/(2), z) - BesselY(n +(1)/(2), z) = ((2)/(Pi*z))^((1)/(2))* sum((factorial(2*m)*(2)^(- 2*m))/(factorial(m)*factorial(n - m))*((1)/(2)*z)^(n - 2*m), m = 0..n)</code> || <code>StruveH[n +Divide[1,2], z] - BesselY[n +Divide[1,2], z] == (Divide[2,Pi*z])^(Divide[1,2])* Sum[Divide[(2*m)!*(2)^(- 2*m),(m)!*(n - m)!]*(Divide[1,2]*z)^(n - 2*m), {m, 0, n}, GenerateConditions->None]</code> || Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [6 / 21]<div class="mw-collapsible-content"><code>{Plus[0.9229158558166265, Times[-0.4886025119029198, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[4, []], Times[Plus[-18, Times[-8, ]], [Plus[1, ]]], Times[Plus[30, Times[22, ], Times[4, Power[, 2]], Power[1.5, 2]], [Plus[2, ]]], Times[-1, Plus[3, ], Power[1.5, 2], [Plus[3, ]]]], 0], Equal[[1], Plus[1, Times[2, Power[1.5, -2]]]], Equal[[2], Plus[Rational[1, 2], Times[12, Power[1.5, -4]], Times[2, Power[1.5, -2]]]], Equal[[3], Plus[Rational[1, 6], Times[120, Power[1.5, -6]], Times[12, Power[1.5, -4]], Power[1.5, -2]]], Equal[[4], Plus[Rational[1, 24], Times[1680, Power[1.5, -8]], Times[120, Power[1.5, -6]], Times[6, Power[1.5, -4]], Times[Rational[1, 3], Power[1.5, -2]]]]}]][1.0]]], {Rule[n, 1], Rule[z, 1.5]}</code><br><code>Plus[1.3775876377262881, Times[-0.36645188392718997, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[4, []], Times[Plus[-18, Times[-8, ]], [Plus[1, ]]], Times[Plus[30, Times[22, ], Times[4, Power[, 2]], Power[1.5, 2]], [Plus[ | | [https://dlmf.nist.gov/11.4.E1 11.4.E1] || [[Item:Q3933|<math>\StruveK{n+\frac{1}{2}}@{z} = \left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\sum_{m=0}^{n}\frac{(2m)!\,2^{-2m}}{m!\,(n-m)!}\,(\tfrac{1}{2}z)^{n-2m}</math>]] || <code>StruveH(n +(1)/(2), z) - BesselY(n +(1)/(2), z) = ((2)/(Pi*z))^((1)/(2))* sum((factorial(2*m)*(2)^(- 2*m))/(factorial(m)*factorial(n - m))*((1)/(2)*z)^(n - 2*m), m = 0..n)</code> || <code>StruveH[n +Divide[1,2], z] - BesselY[n +Divide[1,2], z] == (Divide[2,Pi*z])^(Divide[1,2])* Sum[Divide[(2*m)!*(2)^(- 2*m),(m)!*(n - m)!]*(Divide[1,2]*z)^(n - 2*m), {m, 0, n}, GenerateConditions->None]</code> || Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [6 / 21]<div class="mw-collapsible-content"><code>{Plus[0.9229158558166265, Times[-0.4886025119029198, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[4, []], Times[Plus[-18, Times[-8, ]], [Plus[1, ]]], Times[Plus[30, Times[22, ], Times[4, Power[, 2]], Power[1.5, 2]], [Plus[2, ]]], Times[-1, Plus[3, ], Power[1.5, 2], [Plus[3, ]]]], 0], Equal[[1], Plus[1, Times[2, Power[1.5, -2]]]], Equal[[2], Plus[Rational[1, 2], Times[12, Power[1.5, -4]], Times[2, Power[1.5, -2]]]], Equal[[3], Plus[Rational[1, 6], Times[120, Power[1.5, -6]], Times[12, Power[1.5, -4]], Power[1.5, -2]]], Equal[[4], Plus[Rational[1, 24], Times[1680, Power[1.5, -8]], Times[120, Power[1.5, -6]], Times[6, Power[1.5, -4]], Times[Rational[1, 3], Power[1.5, -2]]]]}]][1.0]]], {Rule[n, 1], Rule[z, 1.5]}</code><br><code>Plus[1.3775876377262881, Times[-0.36645188392718997, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[4, []], Times[Plus[-18, Times[-8, ]], [Plus[1, ]]], Times[Plus[30, Times[22, ], Times[4, Power[, 2]], Power[1.5, 2]], [Plus[</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.4.E2 11.4.E2] || [[Item:Q3934|<math>\modStruveL{n+\frac{1}{2}}@{z} = \modBesselI{-n-\frac{1}{2}}@{z}-\left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\sum_{m=0}^{n}\frac{(-1)^{m}(2m)!\,2^{-2m}}{m!\,(n-m)!}\,(\tfrac{1}{2}z)^{n-2m}</math>]] || <code>StruveL(n +(1)/(2), z) = BesselI(- n -(1)/(2), z)-((2)/(Pi*z))^((1)/(2))* sum(((- 1)^(m)*factorial(2*m)*(2)^(- 2*m))/(factorial(m)*factorial(n - m))*((1)/(2)*z)^(n - 2*m), m = 0..n)</code> || <code>StruveL[n +Divide[1,2], z] == BesselI[- n -Divide[1,2], z]-(Divide[2,Pi*z])^(Divide[1,2])* Sum[Divide[(- 1)^(m)*(2*m)!*(2)^(- 2*m),(m)!*(n - m)!]*(Divide[1,2]*z)^(n - 2*m), {m, 0, n}, GenerateConditions->None]</code> || Failure || Failure || Successful [Tested: 21] || <div class="toccolours mw-collapsible mw-collapsed">Failed [6 / 21]<div class="mw-collapsible-content"><code>{Plus[-0.05428916798921324, Times[0.4886025119029198, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[4, []], Times[Plus[-18, Times[-8, ]], [Plus[1, ]]], Times[Plus[30, Times[22, ], Times[4, Power[, 2]], Times[-1, Power[1.5, 2]]], [Plus[2, ]]], Times[Plus[3, ], Power[1.5, 2], [Plus[3, ]]]], 0], Equal[[1], Plus[1, Times[-2, Power[1.5, -2]]]], Equal[[2], Plus[Rational[1, 2], Times[12, Power[1.5, -4]], Times[-2, Power[1.5, -2]]]], Equal[[3], Plus[Rational[1, 6], Times[-120, Power[1.5, -6]], Times[12, Power[1.5, -4]], Times[-1, Power[1.5, -2]]]], Equal[[4], Plus[Rational[1, 24], Times[1680, Power[1.5, -8]], Times[-120, Power[1.5, -6]], Times[6, Power[1.5, -4]], Times[Rational[-1, 3], Power[1.5, -2]]]]}]][1.0]]], {Rule[n, 1], Rule[z, 1.5]}</code><br><code>Plus[-0.726117621855728, Times[0.36645188392718997, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[4, []], Times[Plus[-18, Times[-8, ]], [Plus[1, ]]], Times[Plus[30, Times[22, ], Times[4, Power[, 2]], | | [https://dlmf.nist.gov/11.4.E2 11.4.E2] || [[Item:Q3934|<math>\modStruveL{n+\frac{1}{2}}@{z} = \modBesselI{-n-\frac{1}{2}}@{z}-\left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\sum_{m=0}^{n}\frac{(-1)^{m}(2m)!\,2^{-2m}}{m!\,(n-m)!}\,(\tfrac{1}{2}z)^{n-2m}</math>]] || <code>StruveL(n +(1)/(2), z) = BesselI(- n -(1)/(2), z)-((2)/(Pi*z))^((1)/(2))* sum(((- 1)^(m)*factorial(2*m)*(2)^(- 2*m))/(factorial(m)*factorial(n - m))*((1)/(2)*z)^(n - 2*m), m = 0..n)</code> || <code>StruveL[n +Divide[1,2], z] == BesselI[- n -Divide[1,2], z]-(Divide[2,Pi*z])^(Divide[1,2])* Sum[Divide[(- 1)^(m)*(2*m)!*(2)^(- 2*m),(m)!*(n - m)!]*(Divide[1,2]*z)^(n - 2*m), {m, 0, n}, GenerateConditions->None]</code> || Failure || Failure || Successful [Tested: 21] || <div class="toccolours mw-collapsible mw-collapsed">Failed [6 / 21]<div class="mw-collapsible-content"><code>{Plus[-0.05428916798921324, Times[0.4886025119029198, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[4, []], Times[Plus[-18, Times[-8, ]], [Plus[1, ]]], Times[Plus[30, Times[22, ], Times[4, Power[, 2]], Times[-1, Power[1.5, 2]]], [Plus[2, ]]], Times[Plus[3, ], Power[1.5, 2], [Plus[3, ]]]], 0], Equal[[1], Plus[1, Times[-2, Power[1.5, -2]]]], Equal[[2], Plus[Rational[1, 2], Times[12, Power[1.5, -4]], Times[-2, Power[1.5, -2]]]], Equal[[3], Plus[Rational[1, 6], Times[-120, Power[1.5, -6]], Times[12, Power[1.5, -4]], Times[-1, Power[1.5, -2]]]], Equal[[4], Plus[Rational[1, 24], Times[1680, Power[1.5, -8]], Times[-120, Power[1.5, -6]], Times[6, Power[1.5, -4]], Times[Rational[-1, 3], Power[1.5, -2]]]]}]][1.0]]], {Rule[n, 1], Rule[z, 1.5]}</code><br><code>Plus[-0.726117621855728, Times[0.36645188392718997, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[4, []], Times[Plus[-18, Times[-8, ]], [Plus[1, ]]], Times[Plus[30, Times[22, ], Times[4, Power[, 2]], </div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.4.E3 11.4.E3] || [[Item:Q3935|<math>\StruveH{-n-\frac{1}{2}}@{z} = (-1)^{n}\BesselJ{n+\frac{1}{2}}@{z}</math>]] || <code>StruveH(- n -(1)/(2), z) = (- 1)^(n)* BesselJ(n +(1)/(2), z)</code> || <code>StruveH[- n -Divide[1,2], z] == (- 1)^(n)* BesselJ[n +Divide[1,2], z]</code> || Failure || Failure || Successful [Tested: 21] || Successful [Tested: 21] | | [https://dlmf.nist.gov/11.4.E3 11.4.E3] || [[Item:Q3935|<math>\StruveH{-n-\frac{1}{2}}@{z} = (-1)^{n}\BesselJ{n+\frac{1}{2}}@{z}</math>]] || <code>StruveH(- n -(1)/(2), z) = (- 1)^(n)* BesselJ(n +(1)/(2), z)</code> || <code>StruveH[- n -Divide[1,2], z] == (- 1)^(n)* BesselJ[n +Divide[1,2], z]</code> || Failure || Failure || Successful [Tested: 21] || Successful [Tested: 21] | ||
Line 69: | Line 69: | ||
| [https://dlmf.nist.gov/11.4.E17 11.4.E17] || [[Item:Q3949|<math>\modStruveL{\nu}@{ze^{m\pi i}} = e^{m\pi i(\nu+1)}\modStruveL{\nu}@{z}</math>]] || <code>StruveL(nu, z*exp(m*Pi*I)) = exp(m*Pi*I*(nu + 1))*StruveL(nu, z)</code> || <code>StruveL[\[Nu], z*Exp[m*Pi*I]] == Exp[m*Pi*I*(\[Nu]+ 1)]*StruveL[\[Nu], z]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [36 / 70]<div class="mw-collapsible-content"><code>36/70]: [[.7484016339+.7418531852*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, m = 3}</code><br><code>-.3910618545-.1976660760*I <- {nu = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2), m = 3}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [48 / 70]<div class="mw-collapsible-content"><code>{Complex[0.7484016356562583, 0.741853184386289] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[0.1393494415684403, -14.42209495054837] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | | [https://dlmf.nist.gov/11.4.E17 11.4.E17] || [[Item:Q3949|<math>\modStruveL{\nu}@{ze^{m\pi i}} = e^{m\pi i(\nu+1)}\modStruveL{\nu}@{z}</math>]] || <code>StruveL(nu, z*exp(m*Pi*I)) = exp(m*Pi*I*(nu + 1))*StruveL(nu, z)</code> || <code>StruveL[\[Nu], z*Exp[m*Pi*I]] == Exp[m*Pi*I*(\[Nu]+ 1)]*StruveL[\[Nu], z]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [36 / 70]<div class="mw-collapsible-content"><code>36/70]: [[.7484016339+.7418531852*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, m = 3}</code><br><code>-.3910618545-.1976660760*I <- {nu = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2), m = 3}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [48 / 70]<div class="mw-collapsible-content"><code>{Complex[0.7484016356562583, 0.741853184386289] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[0.1393494415684403, -14.42209495054837] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.4.E18 11.4.E18] || [[Item:Q3950|<math>\StruveH{\nu}@{z} = \frac{4}{\pi^{1/2}\EulerGamma@{\nu+\tfrac{1}{2}}}\*\sum_{k=0}^{\infty}\frac{(2k+\nu+1)\EulerGamma@{k+\nu+1}}{k!(2k+1)(2k+2\nu+1)}\BesselJ{2k+\nu+1}@{z}</math>]] || <code>StruveH(nu, z) = (4)/((Pi)^(1/ 2)* GAMMA(nu +(1)/(2)))* sum(((2*k + nu + 1)* GAMMA(k + nu + 1))/(factorial(k)*(2*k + 1)*(2*k + 2*nu + 1))*BesselJ(2*k + nu + 1, z), k = 0..infinity)</code> || <code>StruveH[\[Nu], z] == Divide[4,(Pi)^(1/ 2)* Gamma[\[Nu]+Divide[1,2]]]* Sum[Divide[(2*k + \[Nu]+ 1)* Gamma[k + \[Nu]+ 1],(k)!*(2*k + 1)*(2*k + 2*\[Nu]+ 1)]*BesselJ[2*k + \[Nu]+ 1, z], {k, 0, Infinity}, GenerateConditions->None]</code> || Failure || Failure || Successful [Tested: 7] || <div class="toccolours mw-collapsible mw-collapsed">Failed [35 / 35]<div class="mw-collapsible-content"><code>{Plus[Complex[0.19324594490102928, 0.050519652606000824], Times[Complex[-2.8810800784728325, -0.07996643500485433], NSum[Times[Power[Plus[1, Times[2, k]], -1], Plus[1, Power[E, Times[Complex[0, Rational[1, 6]], Pi]], Times[2, k]], Power[Plus[1, Times[2, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Times[2, k]], -1], BesselJ[Plus[1, Power[E, Times[Complex[0, Rational[1, 6]], Pi]], Times[2, k]], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[Factorial[k], -1], Gamma[Plus[1, Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k]]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[-0.11400577441337441, 0.7764453237975459], Times[Complex[-3.5865453830779916, 1.1372180444285063], NSum[Times[Power[Plus[1, Times[2, k]], -1], Plus[1, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]], Times[2, k]], Power[Plus[1, Times[2 | | [https://dlmf.nist.gov/11.4.E18 11.4.E18] || [[Item:Q3950|<math>\StruveH{\nu}@{z} = \frac{4}{\pi^{1/2}\EulerGamma@{\nu+\tfrac{1}{2}}}\*\sum_{k=0}^{\infty}\frac{(2k+\nu+1)\EulerGamma@{k+\nu+1}}{k!(2k+1)(2k+2\nu+1)}\BesselJ{2k+\nu+1}@{z}</math>]] || <code>StruveH(nu, z) = (4)/((Pi)^(1/ 2)* GAMMA(nu +(1)/(2)))* sum(((2*k + nu + 1)* GAMMA(k + nu + 1))/(factorial(k)*(2*k + 1)*(2*k + 2*nu + 1))*BesselJ(2*k + nu + 1, z), k = 0..infinity)</code> || <code>StruveH[\[Nu], z] == Divide[4,(Pi)^(1/ 2)* Gamma[\[Nu]+Divide[1,2]]]* Sum[Divide[(2*k + \[Nu]+ 1)* Gamma[k + \[Nu]+ 1],(k)!*(2*k + 1)*(2*k + 2*\[Nu]+ 1)]*BesselJ[2*k + \[Nu]+ 1, z], {k, 0, Infinity}, GenerateConditions->None]</code> || Failure || Failure || Successful [Tested: 7] || <div class="toccolours mw-collapsible mw-collapsed">Failed [35 / 35]<div class="mw-collapsible-content"><code>{Plus[Complex[0.19324594490102928, 0.050519652606000824], Times[Complex[-2.8810800784728325, -0.07996643500485433], NSum[Times[Power[Plus[1, Times[2, k]], -1], Plus[1, Power[E, Times[Complex[0, Rational[1, 6]], Pi]], Times[2, k]], Power[Plus[1, Times[2, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Times[2, k]], -1], BesselJ[Plus[1, Power[E, Times[Complex[0, Rational[1, 6]], Pi]], Times[2, k]], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[Factorial[k], -1], Gamma[Plus[1, Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k]]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[-0.11400577441337441, 0.7764453237975459], Times[Complex[-3.5865453830779916, 1.1372180444285063], NSum[Times[Power[Plus[1, Times[2, k]], -1], Plus[1, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]], Times[2, k]], Power[Plus[1, Times[2</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.4.E19 11.4.E19] || [[Item:Q3951|<math>\StruveH{\nu}@{z} = \left(\frac{z}{2\pi}\right)^{1/2}\sum_{k=0}^{\infty}\frac{(\tfrac{1}{2}z)^{k}}{k!(k+\tfrac{1}{2})}\BesselJ{k+\nu+\frac{1}{2}}@{z}</math>]] || <code>StruveH(nu, z) = ((z)/(2*Pi))^(1/ 2)* sum((((1)/(2)*z)^(k))/(factorial(k)*(k +(1)/(2)))*BesselJ(k + nu +(1)/(2), z), k = 0..infinity)</code> || <code>StruveH[\[Nu], z] == (Divide[z,2*Pi])^(1/ 2)* Sum[Divide[(Divide[1,2]*z)^(k),(k)!*(k +Divide[1,2])]*BesselJ[k + \[Nu]+Divide[1,2], z], {k, 0, Infinity}, GenerateConditions->None]</code> || Failure || Failure || Skipped - Because timed out || <div class="toccolours mw-collapsible mw-collapsed">Failed [70 / 70]<div class="mw-collapsible-content"><code>{Plus[Complex[0.19324594490102928, 0.050519652606000824], Times[Complex[-0.38534865183839906, -0.10325386006452089], NSum[Times[Power[2, Times[-1, k]], Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[Plus[Rational[1, 2], k], -1], BesselJ[Plus[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[Factorial[k], -1]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[0.7460861755377195, -0.054406581179451755], Times[Complex[-0.38534865183839906, -0.10325386006452089], NSum[Times[Power[2, Times[-1, k]], Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[Plus[Rational[1, 2], k], -1], BesselJ[Plus[Rational[1, 2], Power[E, Times[Complex[0, Rational[2, 3]], Pi]], k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[ | | [https://dlmf.nist.gov/11.4.E19 11.4.E19] || [[Item:Q3951|<math>\StruveH{\nu}@{z} = \left(\frac{z}{2\pi}\right)^{1/2}\sum_{k=0}^{\infty}\frac{(\tfrac{1}{2}z)^{k}}{k!(k+\tfrac{1}{2})}\BesselJ{k+\nu+\frac{1}{2}}@{z}</math>]] || <code>StruveH(nu, z) = ((z)/(2*Pi))^(1/ 2)* sum((((1)/(2)*z)^(k))/(factorial(k)*(k +(1)/(2)))*BesselJ(k + nu +(1)/(2), z), k = 0..infinity)</code> || <code>StruveH[\[Nu], z] == (Divide[z,2*Pi])^(1/ 2)* Sum[Divide[(Divide[1,2]*z)^(k),(k)!*(k +Divide[1,2])]*BesselJ[k + \[Nu]+Divide[1,2], z], {k, 0, Infinity}, GenerateConditions->None]</code> || Failure || Failure || Skipped - Because timed out || <div class="toccolours mw-collapsible mw-collapsed">Failed [70 / 70]<div class="mw-collapsible-content"><code>{Plus[Complex[0.19324594490102928, 0.050519652606000824], Times[Complex[-0.38534865183839906, -0.10325386006452089], NSum[Times[Power[2, Times[-1, k]], Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[Plus[Rational[1, 2], k], -1], BesselJ[Plus[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[Factorial[k], -1]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[0.7460861755377195, -0.054406581179451755], Times[Complex[-0.38534865183839906, -0.10325386006452089], NSum[Times[Power[2, Times[-1, k]], Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[Plus[Rational[1, 2], k], -1], BesselJ[Plus[Rational[1, 2], Power[E, Times[Complex[0, Rational[2, 3]], Pi]], k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[Factor</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.4.E20 11.4.E20] || [[Item:Q3952|<math>\StruveH{\nu}@{z} = \frac{(\tfrac{1}{2}z)^{\nu+\frac{1}{2}}}{\EulerGamma@{\nu+\tfrac{1}{2}}}\sum_{k=0}^{\infty}\frac{(\tfrac{1}{2}z)^{k}}{k!(k+\nu+\tfrac{1}{2})}\BesselJ{k+\frac{1}{2}}@{z}</math>]] || <code>StruveH(nu, z) = (((1)/(2)*z)^(nu +(1)/(2)))/(GAMMA(nu +(1)/(2)))*sum((((1)/(2)*z)^(k))/(factorial(k)*(k + nu +(1)/(2)))*BesselJ(k +(1)/(2), z), k = 0..infinity)</code> || <code>StruveH[\[Nu], z] == Divide[(Divide[1,2]*z)^(\[Nu]+Divide[1,2]),Gamma[\[Nu]+Divide[1,2]]]*Sum[Divide[(Divide[1,2]*z)^(k),(k)!*(k + \[Nu]+Divide[1,2])]*BesselJ[k +Divide[1,2], z], {k, 0, Infinity}, GenerateConditions->None]</code> || Failure || Failure || Successful [Tested: 35] || <div class="toccolours mw-collapsible mw-collapsed">Failed [35 / 35]<div class="mw-collapsible-content"><code>{Plus[Complex[0.19324594490102928, 0.050519652606000824], Times[Complex[-0.35177626861232025, -0.14724813153619726], NSum[Times[Power[2, Times[-1, k]], Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[Plus[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], -1], BesselJ[Plus[Rational[1, 2], k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[Factorial[k], -1]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[-0.11400577441337441, 0.7764453237975459], Times[Complex[-0.8980289919269182, -0.9563358827585198], NSum[Times[Power[2, Times[-1, k]], Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[Plus[Rational[1, 2], Power[E, Times[Complex[0, Rational[-1, 3]], Pi]], k], -1], BesselJ[Plus[Rational[1, 2], k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[ | | [https://dlmf.nist.gov/11.4.E20 11.4.E20] || [[Item:Q3952|<math>\StruveH{\nu}@{z} = \frac{(\tfrac{1}{2}z)^{\nu+\frac{1}{2}}}{\EulerGamma@{\nu+\tfrac{1}{2}}}\sum_{k=0}^{\infty}\frac{(\tfrac{1}{2}z)^{k}}{k!(k+\nu+\tfrac{1}{2})}\BesselJ{k+\frac{1}{2}}@{z}</math>]] || <code>StruveH(nu, z) = (((1)/(2)*z)^(nu +(1)/(2)))/(GAMMA(nu +(1)/(2)))*sum((((1)/(2)*z)^(k))/(factorial(k)*(k + nu +(1)/(2)))*BesselJ(k +(1)/(2), z), k = 0..infinity)</code> || <code>StruveH[\[Nu], z] == Divide[(Divide[1,2]*z)^(\[Nu]+Divide[1,2]),Gamma[\[Nu]+Divide[1,2]]]*Sum[Divide[(Divide[1,2]*z)^(k),(k)!*(k + \[Nu]+Divide[1,2])]*BesselJ[k +Divide[1,2], z], {k, 0, Infinity}, GenerateConditions->None]</code> || Failure || Failure || Successful [Tested: 35] || <div class="toccolours mw-collapsible mw-collapsed">Failed [35 / 35]<div class="mw-collapsible-content"><code>{Plus[Complex[0.19324594490102928, 0.050519652606000824], Times[Complex[-0.35177626861232025, -0.14724813153619726], NSum[Times[Power[2, Times[-1, k]], Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[Plus[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], -1], BesselJ[Plus[Rational[1, 2], k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[Factorial[k], -1]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[-0.11400577441337441, 0.7764453237975459], Times[Complex[-0.8980289919269182, -0.9563358827585198], NSum[Times[Power[2, Times[-1, k]], Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[Plus[Rational[1, 2], Power[E, Times[Complex[0, Rational[-1, 3]], Pi]], k], -1], BesselJ[Plus[Rational[1, 2], k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[Factoria</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.4.E21 11.4.E21] || [[Item:Q3953|<math>\StruveH{0}@{z} = \frac{4}{\pi}\sum_{k=0}^{\infty}\frac{\BesselJ{2k+1}@{z}}{2k+1}</math>]] || <code>StruveH(0, z) = (4)/(Pi)*sum((BesselJ(2*k + 1, z))/(2*k + 1), k = 0..infinity)</code> || <code>StruveH[0, z] == Divide[4,Pi]*Sum[Divide[BesselJ[2*k + 1, z],2*k + 1], {k, 0, Infinity}, GenerateConditions->None]</code> || Failure || Successful || Successful [Tested: 7] || Successful [Tested: 7] | | [https://dlmf.nist.gov/11.4.E21 11.4.E21] || [[Item:Q3953|<math>\StruveH{0}@{z} = \frac{4}{\pi}\sum_{k=0}^{\infty}\frac{\BesselJ{2k+1}@{z}}{2k+1}</math>]] || <code>StruveH(0, z) = (4)/(Pi)*sum((BesselJ(2*k + 1, z))/(2*k + 1), k = 0..infinity)</code> || <code>StruveH[0, z] == Divide[4,Pi]*Sum[Divide[BesselJ[2*k + 1, z],2*k + 1], {k, 0, Infinity}, GenerateConditions->None]</code> || Failure || Successful || Successful [Tested: 7] || Successful [Tested: 7] | ||
Line 115: | Line 115: | ||
| [https://dlmf.nist.gov/11.5.E2 11.5.E2] || [[Item:Q3969|<math>\StruveK{\nu}@{z} = \frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{\infty}e^{-zt}(1+t^{2})^{\nu-\frac{1}{2}}\diff{t}</math>]] || <code>StruveH(nu, z) - BesselY(nu, z) = (2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int(exp(- z*t)*(1 + (t)^(2))^(nu -(1)/(2)), t = 0..infinity)</code> || <code>StruveH[\[Nu], z] - BesselY[\[Nu], z] == Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[Exp[- z*t]*(1 + (t)^(2))^(\[Nu]-Divide[1,2]), {t, 0, Infinity}, GenerateConditions->None]</code> || Successful || Successful || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [15 / 25]<div class="mw-collapsible-content"><code>{Complex[0.9495382353861556, -0.46093572348323536] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, 1.5]}</code><br><code>Complex[0.7706973036767981, -0.20650772012904173] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, 0.5]}</code><br></div></div> | | [https://dlmf.nist.gov/11.5.E2 11.5.E2] || [[Item:Q3969|<math>\StruveK{\nu}@{z} = \frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{\infty}e^{-zt}(1+t^{2})^{\nu-\frac{1}{2}}\diff{t}</math>]] || <code>StruveH(nu, z) - BesselY(nu, z) = (2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int(exp(- z*t)*(1 + (t)^(2))^(nu -(1)/(2)), t = 0..infinity)</code> || <code>StruveH[\[Nu], z] - BesselY[\[Nu], z] == Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[Exp[- z*t]*(1 + (t)^(2))^(\[Nu]-Divide[1,2]), {t, 0, Infinity}, GenerateConditions->None]</code> || Successful || Successful || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [15 / 25]<div class="mw-collapsible-content"><code>{Complex[0.9495382353861556, -0.46093572348323536] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, 1.5]}</code><br><code>Complex[0.7706973036767981, -0.20650772012904173] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, 0.5]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.5.E3 11.5.E3] || [[Item:Q3970|<math>\StruveK{0}@{z} = \frac{2}{\pi}\int_{0}^{\infty}e^{-z\sinh@@{t}}\diff{t}</math>]] || <code>StruveH(0, z) - BesselY(0, z) = (2)/(Pi)*int(exp(- z*sinh(t)), t = 0..infinity)</code> || <code>StruveH[0, z] - BesselY[0, z] == Divide[2,Pi]*Integrate[Exp[- z*Sinh[t]], {t, 0, Infinity}, GenerateConditions->None]</code> || Successful || | | [https://dlmf.nist.gov/11.5.E3 11.5.E3] || [[Item:Q3970|<math>\StruveK{0}@{z} = \frac{2}{\pi}\int_{0}^{\infty}e^{-z\sinh@@{t}}\diff{t}</math>]] || <code>StruveH(0, z) - BesselY(0, z) = (2)/(Pi)*int(exp(- z*sinh(t)), t = 0..infinity)</code> || <code>StruveH[0, z] - BesselY[0, z] == Divide[2,Pi]*Integrate[Exp[- z*Sinh[t]], {t, 0, Infinity}, GenerateConditions->None]</code> || Successful || Aborted || - || Skipped - Because timed out | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.5.E4 11.5.E4] || [[Item:Q3971|<math>\modStruveM{\nu}@{z} = -\frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{1}e^{-zt}(1-t^{2})^{\nu-\frac{1}{2}}\diff{t}</math>]] || <code>StruveL(nu, z) - BesselI(nu, z) = -(2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int(exp(- z*t)*(1 - (t)^(2))^(nu -(1)/(2)), t = 0..1)</code> || <code>StruveL[\[Nu], z] - BesselI[\[Nu], z] == -Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[Exp[- z*t]*(1 - (t)^(2))^(\[Nu]-Divide[1,2]), {t, 0, 1}, GenerateConditions->None]</code> || Successful || Successful || - || Successful [Tested: 35] | | [https://dlmf.nist.gov/11.5.E4 11.5.E4] || [[Item:Q3971|<math>\modStruveM{\nu}@{z} = -\frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{1}e^{-zt}(1-t^{2})^{\nu-\frac{1}{2}}\diff{t}</math>]] || <code>StruveL(nu, z) - BesselI(nu, z) = -(2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int(exp(- z*t)*(1 - (t)^(2))^(nu -(1)/(2)), t = 0..1)</code> || <code>StruveL[\[Nu], z] - BesselI[\[Nu], z] == -Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[Exp[- z*t]*(1 - (t)^(2))^(\[Nu]-Divide[1,2]), {t, 0, 1}, GenerateConditions->None]</code> || Successful || Successful || - || Successful [Tested: 35] | ||
Line 121: | Line 121: | ||
| [https://dlmf.nist.gov/11.5.E5 11.5.E5] || [[Item:Q3972|<math>\modStruveM{0}@{z} = -\frac{2}{\pi}\int_{0}^{\pi/2}e^{-z\cos@@{\theta}}\diff{\theta}</math>]] || <code>StruveL(0, z) - BesselI(0, z) = -(2)/(Pi)*int(exp(- z*cos(theta)), theta = 0..Pi/ 2)</code> || <code>StruveL[0, z] - BesselI[0, z] == -Divide[2,Pi]*Integrate[Exp[- z*Cos[\[Theta]]], {\[Theta], 0, Pi/ 2}, GenerateConditions->None]</code> || Successful || Successful || - || Successful [Tested: 7] | | [https://dlmf.nist.gov/11.5.E5 11.5.E5] || [[Item:Q3972|<math>\modStruveM{0}@{z} = -\frac{2}{\pi}\int_{0}^{\pi/2}e^{-z\cos@@{\theta}}\diff{\theta}</math>]] || <code>StruveL(0, z) - BesselI(0, z) = -(2)/(Pi)*int(exp(- z*cos(theta)), theta = 0..Pi/ 2)</code> || <code>StruveL[0, z] - BesselI[0, z] == -Divide[2,Pi]*Integrate[Exp[- z*Cos[\[Theta]]], {\[Theta], 0, Pi/ 2}, GenerateConditions->None]</code> || Successful || Successful || - || Successful [Tested: 7] | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.5.E6 11.5.E6] || [[Item:Q3973|<math>\modStruveL{\nu}@{z} = \frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{\pi/2}\sinh@{z\cos@@{\theta}}(\sin@@{\theta})^{2\nu}\diff{\theta}</math>]] || <code>StruveL(nu, z) = (2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int(sinh(z*cos(theta))*(sin(theta))^(2*nu), theta = 0..Pi/ 2)</code> || <code>StruveL[\[Nu], z] == Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[Sinh[z*Cos[\[Theta]]]*(Sin[\[Theta]])^(2*\[Nu]), {\[Theta], 0, Pi/ 2}, GenerateConditions->None]</code> || Successful || | | [https://dlmf.nist.gov/11.5.E6 11.5.E6] || [[Item:Q3973|<math>\modStruveL{\nu}@{z} = \frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{\pi/2}\sinh@{z\cos@@{\theta}}(\sin@@{\theta})^{2\nu}\diff{\theta}</math>]] || <code>StruveL(nu, z) = (2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int(sinh(z*cos(theta))*(sin(theta))^(2*nu), theta = 0..Pi/ 2)</code> || <code>StruveL[\[Nu], z] == Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[Sinh[z*Cos[\[Theta]]]*(Sin[\[Theta]])^(2*\[Nu]), {\[Theta], 0, Pi/ 2}, GenerateConditions->None]</code> || Successful || Aborted || - || Skipped - Because timed out | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.5.E7 11.5.E7] || [[Item:Q3974|<math>\modBesselI{-\nu}@{x}-\modStruveL{\nu}@{x} = \frac{2(\tfrac{1}{2}x)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{\infty}(1+t^{2})^{\nu-\frac{1}{2}}\sin@{xt}\diff{t}</math>]] || <code>BesselI(- nu, x)- StruveL(nu, x) = (2*((1)/(2)*x)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int((1 + (t)^(2))^(nu -(1)/(2))* sin(x*t), t = 0..infinity)</code> || <code>BesselI[- \[Nu], x]- StruveL[\[Nu], x] == Divide[2*(Divide[1,2]*x)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[(1 + (t)^(2))^(\[Nu]-Divide[1,2])* Sin[x*t], {t, 0, Infinity}, GenerateConditions->None]</code> || Failure || | | [https://dlmf.nist.gov/11.5.E7 11.5.E7] || [[Item:Q3974|<math>\modBesselI{-\nu}@{x}-\modStruveL{\nu}@{x} = \frac{2(\tfrac{1}{2}x)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{\infty}(1+t^{2})^{\nu-\frac{1}{2}}\sin@{xt}\diff{t}</math>]] || <code>BesselI(- nu, x)- StruveL(nu, x) = (2*((1)/(2)*x)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int((1 + (t)^(2))^(nu -(1)/(2))* sin(x*t), t = 0..infinity)</code> || <code>BesselI[- \[Nu], x]- StruveL[\[Nu], x] == Divide[2*(Divide[1,2]*x)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[(1 + (t)^(2))^(\[Nu]-Divide[1,2])* Sin[x*t], {t, 0, Infinity}, GenerateConditions->None]</code> || Failure || Aborted || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 3]<div class="mw-collapsible-content"><code>3/3]: [[1.291209379 <- {x = 3/2, nu = 0}</code><br><code>2.709400861 <- {x = 1/2, nu = 0}</code><br></div></div> || Skipped - Because timed out | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.5.E8 11.5.E8] || [[Item:Q3975|<math>(\tfrac{1}{2}x)^{-\nu-1}\StruveH{\nu}@{x} = -\frac{1}{2\pi i}\int_{-i\infty}^{i\infty}\frac{\pi\csc@{\pi s}}{\EulerGamma@{\tfrac{3}{2}+s}\EulerGamma@{\tfrac{3}{2}+\nu+s}}(\tfrac{1}{4}x^{2})^{s}\diff{s}</math>]] || <code>((1)/(2)*x)^(- nu - 1)* StruveH(nu, x) = -(1)/(2*Pi*I)*int((Pi*csc(Pi*s))/(GAMMA((3)/(2)+ s)*GAMMA((3)/(2)+ nu + s))*((1)/(4)*(x)^(2))^(s), s = - I*infinity..I*infinity)</code> || <code>(Divide[1,2]*x)^(- \[Nu]- 1)* StruveH[\[Nu], x] == -Divide[1,2*Pi*I]*Integrate[Divide[Pi*Csc[Pi*s],Gamma[Divide[3,2]+ s]*Gamma[Divide[3,2]+ \[Nu]+ s]]*(Divide[1,4]*(x)^(2))^(s), {s, - I*Infinity, I*Infinity}, GenerateConditions->None]</code> || Failure || | | [https://dlmf.nist.gov/11.5.E8 11.5.E8] || [[Item:Q3975|<math>(\tfrac{1}{2}x)^{-\nu-1}\StruveH{\nu}@{x} = -\frac{1}{2\pi i}\int_{-i\infty}^{i\infty}\frac{\pi\csc@{\pi s}}{\EulerGamma@{\tfrac{3}{2}+s}\EulerGamma@{\tfrac{3}{2}+\nu+s}}(\tfrac{1}{4}x^{2})^{s}\diff{s}</math>]] || <code>((1)/(2)*x)^(- nu - 1)* StruveH(nu, x) = -(1)/(2*Pi*I)*int((Pi*csc(Pi*s))/(GAMMA((3)/(2)+ s)*GAMMA((3)/(2)+ nu + s))*((1)/(4)*(x)^(2))^(s), s = - I*infinity..I*infinity)</code> || <code>(Divide[1,2]*x)^(- \[Nu]- 1)* StruveH[\[Nu], x] == -Divide[1,2*Pi*I]*Integrate[Divide[Pi*Csc[Pi*s],Gamma[Divide[3,2]+ s]*Gamma[Divide[3,2]+ \[Nu]+ s]]*(Divide[1,4]*(x)^(2))^(s), {s, - I*Infinity, I*Infinity}, GenerateConditions->None]</code> || Failure || Aborted || Skipped - Because timed out || Skipped - Because timed out | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.5.E9 11.5.E9] || [[Item:Q3976|<math>(\tfrac{1}{2}z)^{-\nu-1}\modStruveL{\nu}@{z} = \frac{1}{2\pi i}\int_{\infty}^{(0+)}\frac{\pi\csc@{\pi s}}{\EulerGamma@{\tfrac{3}{2}+s}\EulerGamma@{\tfrac{3}{2}+\nu+s}}(-\tfrac{1}{4}z^{2})^{s}\diff{s}</math>]] || <code>((1)/(2)*z)^(- nu - 1)* StruveL(nu, z) = (1)/(2*Pi*I)*int((Pi*csc(Pi*s))/(GAMMA((3)/(2)+ s)*GAMMA((3)/(2)+ nu + s))*(-(1)/(4)*(z)^(2))^(s), s = infinity..(0 +))</code> || <code>(Divide[1,2]*z)^(- \[Nu]- 1)* StruveL[\[Nu], z] == Divide[1,2*Pi*I]*Integrate[Divide[Pi*Csc[Pi*s],Gamma[Divide[3,2]+ s]*Gamma[Divide[3,2]+ \[Nu]+ s]]*(-Divide[1,4]*(z)^(2))^(s), {s, Infinity, (0 +)}, GenerateConditions->None]</code> || Error || Failure || - || Error | | [https://dlmf.nist.gov/11.5.E9 11.5.E9] || [[Item:Q3976|<math>(\tfrac{1}{2}z)^{-\nu-1}\modStruveL{\nu}@{z} = \frac{1}{2\pi i}\int_{\infty}^{(0+)}\frac{\pi\csc@{\pi s}}{\EulerGamma@{\tfrac{3}{2}+s}\EulerGamma@{\tfrac{3}{2}+\nu+s}}(-\tfrac{1}{4}z^{2})^{s}\diff{s}</math>]] || <code>((1)/(2)*z)^(- nu - 1)* StruveL(nu, z) = (1)/(2*Pi*I)*int((Pi*csc(Pi*s))/(GAMMA((3)/(2)+ s)*GAMMA((3)/(2)+ nu + s))*(-(1)/(4)*(z)^(2))^(s), s = infinity..(0 +))</code> || <code>(Divide[1,2]*z)^(- \[Nu]- 1)* StruveL[\[Nu], z] == Divide[1,2*Pi*I]*Integrate[Divide[Pi*Csc[Pi*s],Gamma[Divide[3,2]+ s]*Gamma[Divide[3,2]+ \[Nu]+ s]]*(-Divide[1,4]*(z)^(2))^(s), {s, Infinity, (0 +)}, GenerateConditions->None]</code> || Error || Failure || - || Error | ||
Line 151: | Line 151: | ||
| [https://dlmf.nist.gov/11.7.E6 11.7.E6] || [[Item:Q3995|<math>f_{\nu+1}(z) = (2\nu+1)f_{\nu}(z)-z^{\nu+1}\StruveH{\nu}@{z}+\frac{(\tfrac{1}{2}z^{2})^{\nu+1}}{(\nu+1)\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}</math>]] || <code>f[nu + 1]*(z) = (2*nu + 1)* f[nu]*(z)- (z)^(nu + 1)* StruveH(nu, z)+(((1)/(2)*(z)^(2))^(nu + 1))/((nu + 1)*sqrt(Pi)*GAMMA(nu +(3)/(2)))</code> || <code>Subscript[f, \[Nu]+ 1]*(z) == (2*\[Nu]+ 1)* Subscript[f, \[Nu]]*(z)- (z)^(\[Nu]+ 1)* StruveH[\[Nu], z]+Divide[(Divide[1,2]*(z)^(2))^(\[Nu]+ 1),(\[Nu]+ 1)*Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[.2926898254e-1-1.890529289*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, f[nu] = 1/2*3^(1/2)+1/2*I, f[nu+1] = 1/2*3^(1/2)+1/2*I}</code><br><code>-1.336756421-2.256554693*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, f[nu] = 1/2*3^(1/2)+1/2*I, f[nu+1] = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[0.029268983232513014, -1.8905292888907776] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, ν], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, Plus[1, ν]], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[-1.3367564205519258, -2.2565546926752162] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, ν], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, Plus[1, ν]], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | | [https://dlmf.nist.gov/11.7.E6 11.7.E6] || [[Item:Q3995|<math>f_{\nu+1}(z) = (2\nu+1)f_{\nu}(z)-z^{\nu+1}\StruveH{\nu}@{z}+\frac{(\tfrac{1}{2}z^{2})^{\nu+1}}{(\nu+1)\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}</math>]] || <code>f[nu + 1]*(z) = (2*nu + 1)* f[nu]*(z)- (z)^(nu + 1)* StruveH(nu, z)+(((1)/(2)*(z)^(2))^(nu + 1))/((nu + 1)*sqrt(Pi)*GAMMA(nu +(3)/(2)))</code> || <code>Subscript[f, \[Nu]+ 1]*(z) == (2*\[Nu]+ 1)* Subscript[f, \[Nu]]*(z)- (z)^(\[Nu]+ 1)* StruveH[\[Nu], z]+Divide[(Divide[1,2]*(z)^(2))^(\[Nu]+ 1),(\[Nu]+ 1)*Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[.2926898254e-1-1.890529289*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, f[nu] = 1/2*3^(1/2)+1/2*I, f[nu+1] = 1/2*3^(1/2)+1/2*I}</code><br><code>-1.336756421-2.256554693*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, f[nu] = 1/2*3^(1/2)+1/2*I, f[nu+1] = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[0.029268983232513014, -1.8905292888907776] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, ν], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, Plus[1, ν]], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[-1.3367564205519258, -2.2565546926752162] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, ν], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, Plus[1, ν]], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.7.E7 11.7.E7] || [[Item:Q3996|<math>\int_{0}^{\pi/2}\StruveH{\nu}@{z\sin@@{\theta}}\frac{(\sin@@{\theta})^{\nu+1}}{(\cos@@{\theta})^{2\nu}}\diff{\theta} = \frac{2^{-\nu}}{\sqrt{\pi}}\EulerGamma@{\tfrac{1}{2}-\nu}z^{\nu-1}(1-\cos@@{z})</math>]] || <code>int(StruveH(nu, z*sin(theta))*((sin(theta))^(nu + 1))/((cos(theta))^(2*nu)), theta = 0..Pi/ 2) = ((2)^(- nu))/(sqrt(Pi))*GAMMA((1)/(2)- nu)*(z)^(nu - 1)*(1 - cos(z))</code> || <code>Integrate[StruveH[\[Nu], z*Sin[\[Theta]]]*Divide[(Sin[\[Theta]])^(\[Nu]+ 1),(Cos[\[Theta]])^(2*\[Nu])], {\[Theta], 0, Pi/ 2}, GenerateConditions->None] == Divide[(2)^(- \[Nu]),Sqrt[Pi]]*Gamma[Divide[1,2]- \[Nu]]*(z)^(\[Nu]- 1)*(1 - Cos[z])</code> || Successful || | | [https://dlmf.nist.gov/11.7.E7 11.7.E7] || [[Item:Q3996|<math>\int_{0}^{\pi/2}\StruveH{\nu}@{z\sin@@{\theta}}\frac{(\sin@@{\theta})^{\nu+1}}{(\cos@@{\theta})^{2\nu}}\diff{\theta} = \frac{2^{-\nu}}{\sqrt{\pi}}\EulerGamma@{\tfrac{1}{2}-\nu}z^{\nu-1}(1-\cos@@{z})</math>]] || <code>int(StruveH(nu, z*sin(theta))*((sin(theta))^(nu + 1))/((cos(theta))^(2*nu)), theta = 0..Pi/ 2) = ((2)^(- nu))/(sqrt(Pi))*GAMMA((1)/(2)- nu)*(z)^(nu - 1)*(1 - cos(z))</code> || <code>Integrate[StruveH[\[Nu], z*Sin[\[Theta]]]*Divide[(Sin[\[Theta]])^(\[Nu]+ 1),(Cos[\[Theta]])^(2*\[Nu])], {\[Theta], 0, Pi/ 2}, GenerateConditions->None] == Divide[(2)^(- \[Nu]),Sqrt[Pi]]*Gamma[Divide[1,2]- \[Nu]]*(z)^(\[Nu]- 1)*(1 - Cos[z])</code> || Successful || Aborted || - || Successful [Tested: 21] | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.7#Ex1 11.7#Ex1] || [[Item:Q3997|<math>\int_{0}^{\infty}\StruveH{0}@{t}\,\frac{\diff{t}}{t} = \tfrac{1}{2}\pi</math>]] || <code>int(StruveH(0, t)*(1)/(t), t = 0..infinity) = (1)/(2)*Pi</code> || <code>Integrate[StruveH[0, t]*Divide[1,t], {t, 0, Infinity}, GenerateConditions->None] == Divide[1,2]*Pi</code> || Successful || Successful || - || Successful [Tested: 1] | | [https://dlmf.nist.gov/11.7#Ex1 11.7#Ex1] || [[Item:Q3997|<math>\int_{0}^{\infty}\StruveH{0}@{t}\,\frac{\diff{t}}{t} = \tfrac{1}{2}\pi</math>]] || <code>int(StruveH(0, t)*(1)/(t), t = 0..infinity) = (1)/(2)*Pi</code> || <code>Integrate[StruveH[0, t]*Divide[1,t], {t, 0, Infinity}, GenerateConditions->None] == Divide[1,2]*Pi</code> || Successful || Successful || - || Successful [Tested: 1] | ||
Line 157: | Line 157: | ||
| [https://dlmf.nist.gov/11.7#Ex2 11.7#Ex2] || [[Item:Q3998|<math>\int_{0}^{\infty}\StruveH{1}@{t}\,\frac{\diff{t}}{t^{2}} = \tfrac{1}{4}\pi</math>]] || <code>int(StruveH(1, t)*(1)/((t)^(2)), t = 0..infinity) = (1)/(4)*Pi</code> || <code>Integrate[StruveH[1, t]*Divide[1,(t)^(2)], {t, 0, Infinity}, GenerateConditions->None] == Divide[1,4]*Pi</code> || Successful || Successful || - || Successful [Tested: 1] | | [https://dlmf.nist.gov/11.7#Ex2 11.7#Ex2] || [[Item:Q3998|<math>\int_{0}^{\infty}\StruveH{1}@{t}\,\frac{\diff{t}}{t^{2}} = \tfrac{1}{4}\pi</math>]] || <code>int(StruveH(1, t)*(1)/((t)^(2)), t = 0..infinity) = (1)/(4)*Pi</code> || <code>Integrate[StruveH[1, t]*Divide[1,(t)^(2)], {t, 0, Infinity}, GenerateConditions->None] == Divide[1,4]*Pi</code> || Successful || Successful || - || Successful [Tested: 1] | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.7.E9 11.7.E9] || [[Item:Q3999|<math>\int_{0}^{\infty}\StruveH{\nu}@{t}\diff{t} = -\cot@{\tfrac{1}{2}\pi\nu}</math>]] || <code>int(StruveH(nu, t), t = 0..infinity) = - cot((1)/(2)*Pi*nu)</code> || <code>Integrate[StruveH[\[Nu], t], {t, 0, Infinity}, GenerateConditions->None] == - Cot[Divide[1,2]*Pi*\[Nu]]</code> || Successful || | | [https://dlmf.nist.gov/11.7.E9 11.7.E9] || [[Item:Q3999|<math>\int_{0}^{\infty}\StruveH{\nu}@{t}\diff{t} = -\cot@{\tfrac{1}{2}\pi\nu}</math>]] || <code>int(StruveH(nu, t), t = 0..infinity) = - cot((1)/(2)*Pi*nu)</code> || <code>Integrate[StruveH[\[Nu], t], {t, 0, Infinity}, GenerateConditions->None] == - Cot[Divide[1,2]*Pi*\[Nu]]</code> || Successful || Aborted || - || Successful [Tested: 4] | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.7.E10 11.7.E10] || [[Item:Q4000|<math>\int_{0}^{\infty}t^{-\nu-1}\StruveH{\nu}@{t}\diff{t} = \frac{\pi}{2^{\nu+1}\EulerGamma@{\nu+1}}</math>]] || <code>int((t)^(- nu - 1)* StruveH(nu, t), t = 0..infinity) = (Pi)/((2)^(nu + 1)* GAMMA(nu + 1))</code> || <code>Integrate[(t)^(- \[Nu]- 1)* StruveH[\[Nu], t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Pi,(2)^(\[Nu]+ 1)* Gamma[\[Nu]+ 1]]</code> || Successful || | | [https://dlmf.nist.gov/11.7.E10 11.7.E10] || [[Item:Q4000|<math>\int_{0}^{\infty}t^{-\nu-1}\StruveH{\nu}@{t}\diff{t} = \frac{\pi}{2^{\nu+1}\EulerGamma@{\nu+1}}</math>]] || <code>int((t)^(- nu - 1)* StruveH(nu, t), t = 0..infinity) = (Pi)/((2)^(nu + 1)* GAMMA(nu + 1))</code> || <code>Integrate[(t)^(- \[Nu]- 1)* StruveH[\[Nu], t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Pi,(2)^(\[Nu]+ 1)* Gamma[\[Nu]+ 1]]</code> || Successful || Aborted || - || Skipped - Because timed out | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.7.E11 11.7.E11] || [[Item:Q4001|<math>\int_{0}^{\infty}t^{\mu-\nu-1}\StruveH{\nu}@{t}\diff{t} = \frac{\EulerGamma@{\tfrac{1}{2}\mu}2^{\mu-\nu-1}\tan@{\tfrac{1}{2}\pi\mu}}{\EulerGamma@{\nu-\tfrac{1}{2}\mu+1}}</math>]] || <code>int((t)^(mu - nu - 1)* StruveH(nu, t), t = 0..infinity) = (GAMMA((1)/(2)*mu)*(2)^(mu - nu - 1)* tan((1)/(2)*Pi*mu))/(GAMMA(nu -(1)/(2)*mu + 1))</code> || <code>Integrate[(t)^(\[Mu]- \[Nu]- 1)* StruveH[\[Nu], t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[Divide[1,2]*\[Mu]]*(2)^(\[Mu]- \[Nu]- 1)* Tan[Divide[1,2]*Pi*\[Mu]],Gamma[\[Nu]-Divide[1,2]*\[Mu]+ 1]]</code> || Successful || | | [https://dlmf.nist.gov/11.7.E11 11.7.E11] || [[Item:Q4001|<math>\int_{0}^{\infty}t^{\mu-\nu-1}\StruveH{\nu}@{t}\diff{t} = \frac{\EulerGamma@{\tfrac{1}{2}\mu}2^{\mu-\nu-1}\tan@{\tfrac{1}{2}\pi\mu}}{\EulerGamma@{\nu-\tfrac{1}{2}\mu+1}}</math>]] || <code>int((t)^(mu - nu - 1)* StruveH(nu, t), t = 0..infinity) = (GAMMA((1)/(2)*mu)*(2)^(mu - nu - 1)* tan((1)/(2)*Pi*mu))/(GAMMA(nu -(1)/(2)*mu + 1))</code> || <code>Integrate[(t)^(\[Mu]- \[Nu]- 1)* StruveH[\[Nu], t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[Divide[1,2]*\[Mu]]*(2)^(\[Mu]- \[Nu]- 1)* Tan[Divide[1,2]*Pi*\[Mu]],Gamma[\[Nu]-Divide[1,2]*\[Mu]+ 1]]</code> || Successful || Aborted || - || Skipped - Because timed out | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.7.E12 11.7.E12] || [[Item:Q4002|<math>\int_{0}^{\infty}t^{-\mu-\nu}\StruveH{\mu}@{t}\StruveH{\nu}@{t}\diff{t} = \frac{\sqrt{\pi}\EulerGamma@{\mu+\nu}}{2^{\mu+\nu}\EulerGamma@{\mu+\nu+\tfrac{1}{2}}\EulerGamma@{\mu+\tfrac{1}{2}}\EulerGamma@{\nu+\tfrac{1}{2}}}</math>]] || <code>int((t)^(- mu - nu)* StruveH(mu, t)*StruveH(nu, t), t = 0..infinity) = (sqrt(Pi)*GAMMA(mu + nu))/((2)^(mu + nu)* GAMMA(mu + nu +(1)/(2))*GAMMA(mu +(1)/(2))*GAMMA(nu +(1)/(2)))</code> || <code>Integrate[(t)^(- \[Mu]- \[Nu])* StruveH[\[Mu], t]*StruveH[\[Nu], t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Sqrt[Pi]*Gamma[\[Mu]+ \[Nu]],(2)^(\[Mu]+ \[Nu])* Gamma[\[Mu]+ \[Nu]+Divide[1,2]]*Gamma[\[Mu]+Divide[1,2]]*Gamma[\[Nu]+Divide[1,2]]]</code> || Successful || | | [https://dlmf.nist.gov/11.7.E12 11.7.E12] || [[Item:Q4002|<math>\int_{0}^{\infty}t^{-\mu-\nu}\StruveH{\mu}@{t}\StruveH{\nu}@{t}\diff{t} = \frac{\sqrt{\pi}\EulerGamma@{\mu+\nu}}{2^{\mu+\nu}\EulerGamma@{\mu+\nu+\tfrac{1}{2}}\EulerGamma@{\mu+\tfrac{1}{2}}\EulerGamma@{\nu+\tfrac{1}{2}}}</math>]] || <code>int((t)^(- mu - nu)* StruveH(mu, t)*StruveH(nu, t), t = 0..infinity) = (sqrt(Pi)*GAMMA(mu + nu))/((2)^(mu + nu)* GAMMA(mu + nu +(1)/(2))*GAMMA(mu +(1)/(2))*GAMMA(nu +(1)/(2)))</code> || <code>Integrate[(t)^(- \[Mu]- \[Nu])* StruveH[\[Mu], t]*StruveH[\[Nu], t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Sqrt[Pi]*Gamma[\[Mu]+ \[Nu]],(2)^(\[Mu]+ \[Nu])* Gamma[\[Mu]+ \[Nu]+Divide[1,2]]*Gamma[\[Mu]+Divide[1,2]]*Gamma[\[Nu]+Divide[1,2]]]</code> || Successful || Aborted || - || Skipped - Because timed out | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.7.E13 11.7.E13] || [[Item:Q4003|<math>\int_{0}^{\infty}e^{-at}\StruveH{0}@{t}\diff{t} = \frac{2}{\pi\sqrt{1+a^{2}}}\ln@{\frac{1+\sqrt{1+a^{2}}}{a}}</math>]] || <code>int(exp(- a*t)*StruveH(0, t), t = 0..infinity) = (2)/(Pi*sqrt(1 + (a)^(2)))*ln((1 +sqrt(1 + (a)^(2)))/(a))</code> || <code>Integrate[Exp[- a*t]*StruveH[0, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[2,Pi*Sqrt[1 + (a)^(2)]]*Log[Divide[1 +Sqrt[1 + (a)^(2)],a]]</code> || Failure || | | [https://dlmf.nist.gov/11.7.E13 11.7.E13] || [[Item:Q4003|<math>\int_{0}^{\infty}e^{-at}\StruveH{0}@{t}\diff{t} = \frac{2}{\pi\sqrt{1+a^{2}}}\ln@{\frac{1+\sqrt{1+a^{2}}}{a}}</math>]] || <code>int(exp(- a*t)*StruveH(0, t), t = 0..infinity) = (2)/(Pi*sqrt(1 + (a)^(2)))*ln((1 +sqrt(1 + (a)^(2)))/(a))</code> || <code>Integrate[Exp[- a*t]*StruveH[0, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[2,Pi*Sqrt[1 + (a)^(2)]]*Log[Divide[1 +Sqrt[1 + (a)^(2)],a]]</code> || Failure || Aborted || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 6]<div class="mw-collapsible-content"><code>3/6]: [[0.-1.109400392*I <- {a = -3/2}</code><br><code>.7e-9-1.788854381*I <- {a = -1/2}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 6]<div class="mw-collapsible-content"><code>{Complex[-8.326672684688674*^-17, -1.1094003924504583] <- {Rule[a, -1.5]}</code><br><code>Complex[0.0, -1.7888543819998317] <- {Rule[a, -0.5]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.7.E14 11.7.E14] || [[Item:Q4004|<math>\int_{0}^{\infty}e^{-at}\StruveH{1}@{t}\diff{t} = \frac{2}{\pi a}-\frac{2a}{\pi\sqrt{1+a^{2}}}\ln@{\frac{1+\sqrt{1+a^{2}}}{a}}</math>]] || <code>int(exp(- a*t)*StruveH(1, t), t = 0..infinity) = (2)/(Pi*a)-(2*a)/(Pi*sqrt(1 + (a)^(2)))*ln((1 +sqrt(1 + (a)^(2)))/(a))</code> || <code>Integrate[Exp[- a*t]*StruveH[1, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[2,Pi*a]-Divide[2*a,Pi*Sqrt[1 + (a)^(2)]]*Log[Divide[1 +Sqrt[1 + (a)^(2)],a]]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 6]<div class="mw-collapsible-content"><code>3/6]: [[.1865480398-1.664100588*I <- {a = -3/2}</code><br><code>1.724458563-.8944271906*I <- {a = -1/2}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 6]<div class="mw-collapsible-content"><code>{Complex[-5.551115123125783*^-17, -1.6641005886756874] <- {Rule[a, -1.5]}</code><br><code>Complex[1.1102230246251565*^-16, -0.8944271909999159] <- {Rule[a, -0.5]}</code><br></div></div> | | [https://dlmf.nist.gov/11.7.E14 11.7.E14] || [[Item:Q4004|<math>\int_{0}^{\infty}e^{-at}\StruveH{1}@{t}\diff{t} = \frac{2}{\pi a}-\frac{2a}{\pi\sqrt{1+a^{2}}}\ln@{\frac{1+\sqrt{1+a^{2}}}{a}}</math>]] || <code>int(exp(- a*t)*StruveH(1, t), t = 0..infinity) = (2)/(Pi*a)-(2*a)/(Pi*sqrt(1 + (a)^(2)))*ln((1 +sqrt(1 + (a)^(2)))/(a))</code> || <code>Integrate[Exp[- a*t]*StruveH[1, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[2,Pi*a]-Divide[2*a,Pi*Sqrt[1 + (a)^(2)]]*Log[Divide[1 +Sqrt[1 + (a)^(2)],a]]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 6]<div class="mw-collapsible-content"><code>3/6]: [[.1865480398-1.664100588*I <- {a = -3/2}</code><br><code>1.724458563-.8944271906*I <- {a = -1/2}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 6]<div class="mw-collapsible-content"><code>{Complex[-5.551115123125783*^-17, -1.6641005886756874] <- {Rule[a, -1.5]}</code><br><code>Complex[1.1102230246251565*^-16, -0.8944271909999159] <- {Rule[a, -0.5]}</code><br></div></div> | ||
Line 175: | Line 175: | ||
| [https://dlmf.nist.gov/11.9.E1 11.9.E1] || [[Item:Q4008|<math>\deriv[2]{w}{z}+\frac{1}{z}\deriv{w}{z}+\left(1-\frac{\nu^{2}}{z^{2}}\right)w = z^{\mu-1}</math>]] || <code>diff(w, [z$(2)])+(1)/(z)*diff(w, z)+(1 -((nu)^(2))/((z)^(2)))* w = (z)^(mu - 1)</code> || <code>D[w, {z, 2}]+Divide[1,z]*D[w, z]+(1 -Divide[\[Nu]^(2),(z)^(2)])* w == (z)^(\[Mu]- 1)</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[-.7677724761+.5394693872e-1*I <- {mu = 1/2*3^(1/2)+1/2*I, nu = 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}</code><br><code>1.394855253+1.097179568*I <- {mu = 1/2*3^(1/2)+1/2*I, nu = 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)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[-0.7677724760456721, 0.053946938885231305] <- {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]]]}</code><br><code>Complex[0.9642783315232053, 1.0539469388852312] <- {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[2, 3]], Pi]]]}</code><br></div></div> | | [https://dlmf.nist.gov/11.9.E1 11.9.E1] || [[Item:Q4008|<math>\deriv[2]{w}{z}+\frac{1}{z}\deriv{w}{z}+\left(1-\frac{\nu^{2}}{z^{2}}\right)w = z^{\mu-1}</math>]] || <code>diff(w, [z$(2)])+(1)/(z)*diff(w, z)+(1 -((nu)^(2))/((z)^(2)))* w = (z)^(mu - 1)</code> || <code>D[w, {z, 2}]+Divide[1,z]*D[w, z]+(1 -Divide[\[Nu]^(2),(z)^(2)])* w == (z)^(\[Mu]- 1)</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[-.7677724761+.5394693872e-1*I <- {mu = 1/2*3^(1/2)+1/2*I, nu = 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}</code><br><code>1.394855253+1.097179568*I <- {mu = 1/2*3^(1/2)+1/2*I, nu = 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)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[-0.7677724760456721, 0.053946938885231305] <- {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]]]}</code><br><code>Complex[0.9642783315232053, 1.0539469388852312] <- {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[2, 3]], Pi]]]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.9.E2 11.9.E2] || [[Item:Q4009|<math>w = \Lommels{\mu}{\nu}@{z}+A\BesselJ{\nu}@{z}+B\BesselY{\nu}@{z}</math>]] || <code>w = LommelS1(mu, nu, z)+ A*BesselJ(nu, z)+ B*BesselY(nu, z)</code> || <code>Error</code> || Failure || Error || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[.9752372341+.4710119144*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, mu = 1/2*3^(1/2)+1/2*I, nu = 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}</code><br><code>1.486411080-.4774576789*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, mu = 1/2*3^(1/2)+1/2*I, nu = 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)}</code><br></div></div> || - | | [https://dlmf.nist.gov/11.9.E2 11.9.E2] || [[Item:Q4009|<math>w = \Lommels{\mu}{\nu}@{z}+A\BesselJ{\nu}@{z}+B\BesselY{\nu}@{z}</math>]] || <code>w = LommelS1(mu, nu, z)+ A*BesselJ(nu, z)+ B*BesselY(nu, z)</code> || <code>Error</code> || Failure || Missing Macro Error || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[.9752372341+.4710119144*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, mu = 1/2*3^(1/2)+1/2*I, nu = 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}</code><br><code>1.486411080-.4774576789*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, mu = 1/2*3^(1/2)+1/2*I, nu = 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)}</code><br></div></div> || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.9.E3 11.9.E3] || [[Item:Q4010|<math>\Lommels{\mu}{\nu}@{z} = z^{\mu+1}\sum_{k=0}^{\infty}(-1)^{k}\frac{z^{2k}}{a_{k+1}(\mu,\nu)}</math>]] || <code>LommelS1(mu, nu, z) = (z)^(mu + 1)* sum((- 1)^(k)*((z)^(2*k))/(a[k + 1]*(mu , nu)), k = 0..infinity)</code> || <code>Error</code> || Failure || Error || Error || - | | [https://dlmf.nist.gov/11.9.E3 11.9.E3] || [[Item:Q4010|<math>\Lommels{\mu}{\nu}@{z} = z^{\mu+1}\sum_{k=0}^{\infty}(-1)^{k}\frac{z^{2k}}{a_{k+1}(\mu,\nu)}</math>]] || <code>LommelS1(mu, nu, z) = (z)^(mu + 1)* sum((- 1)^(k)*((z)^(2*k))/(a[k + 1]*(mu , nu)), k = 0..infinity)</code> || <code>Error</code> || Failure || Missing Macro Error || Error || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.9.E4 11.9.E4] || [[Item:Q4011|<math>a_{k}(\mu,\nu) = \prod_{m=1}^{k}\left((\mu+2m-1)^{2}-\nu^{2}\right)</math>]] || <code>a[k]*(mu , nu) = product((mu + 2*m - 1)^(2)- (nu)^(2), m = 1..k)</code> || <code>Subscript[a, k]*(\[Mu], \[Nu]) == Product[(\[Mu]+ 2*m - 1)^(2)- \[Nu]^(2), {m, 1, k}, GenerateConditions->None]</code> || Skipped - no semantic math || Skipped - no semantic math || - || - | | [https://dlmf.nist.gov/11.9.E4 11.9.E4] || [[Item:Q4011|<math>a_{k}(\mu,\nu) = \prod_{m=1}^{k}\left((\mu+2m-1)^{2}-\nu^{2}\right)</math>]] || <code>a[k]*(mu , nu) = product((mu + 2*m - 1)^(2)- (nu)^(2), m = 1..k)</code> || <code>Subscript[a, k]*(\[Mu], \[Nu]) == Product[(\[Mu]+ 2*m - 1)^(2)- \[Nu]^(2), {m, 1, k}, GenerateConditions->None]</code> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.9.E5 11.9.E5] || [[Item:Q4012|<math>\LommelS{\mu}{\nu}@{z} = \Lommels{\mu}{\nu}@{z}+2^{\mu-1}\EulerGamma@{\tfrac{1}{2}\mu+\tfrac{1}{2}\nu+\tfrac{1}{2}}\EulerGamma@{\tfrac{1}{2}\mu-\tfrac{1}{2}\nu+\tfrac{1}{2}}\*\left(\sin@{\tfrac{1}{2}(\mu-\nu)\pi}\,\BesselJ{\nu}@{z}-\cos@{\tfrac{1}{2}(\mu-\nu)\pi}\,\BesselY{\nu}@{z}\right)</math>]] || <code>LommelS2(mu, nu, z) = LommelS1(mu, nu, z)+ (2)^(mu - 1)* GAMMA((1)/(2)*mu +(1)/(2)*nu +(1)/(2))*GAMMA((1)/(2)*mu -(1)/(2)*nu +(1)/(2))*(sin((1)/(2)*(mu - nu)* Pi)*BesselJ(nu, z)- cos((1)/(2)*(mu - nu)* Pi)*BesselY(nu, z))</code> || <code>Error</code> || Successful || Error || - || - | | [https://dlmf.nist.gov/11.9.E5 11.9.E5] || [[Item:Q4012|<math>\LommelS{\mu}{\nu}@{z} = \Lommels{\mu}{\nu}@{z}+2^{\mu-1}\EulerGamma@{\tfrac{1}{2}\mu+\tfrac{1}{2}\nu+\tfrac{1}{2}}\EulerGamma@{\tfrac{1}{2}\mu-\tfrac{1}{2}\nu+\tfrac{1}{2}}\*\left(\sin@{\tfrac{1}{2}(\mu-\nu)\pi}\,\BesselJ{\nu}@{z}-\cos@{\tfrac{1}{2}(\mu-\nu)\pi}\,\BesselY{\nu}@{z}\right)</math>]] || <code>LommelS2(mu, nu, z) = LommelS1(mu, nu, z)+ (2)^(mu - 1)* GAMMA((1)/(2)*mu +(1)/(2)*nu +(1)/(2))*GAMMA((1)/(2)*mu -(1)/(2)*nu +(1)/(2))*(sin((1)/(2)*(mu - nu)* Pi)*BesselJ(nu, z)- cos((1)/(2)*(mu - nu)* Pi)*BesselY(nu, z))</code> || <code>Error</code> || Successful || Missing Macro Error || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.9#Ex1 11.9#Ex1] || [[Item:Q4013|<math>\Lommels{\mu}{-\nu}@{z} = \Lommels{\mu}{\nu}@{z}</math>]] || <code>LommelS1(mu, - nu, z) = LommelS1(mu, nu, z)</code> || <code>Error</code> || Successful || Error || - || - | | [https://dlmf.nist.gov/11.9#Ex1 11.9#Ex1] || [[Item:Q4013|<math>\Lommels{\mu}{-\nu}@{z} = \Lommels{\mu}{\nu}@{z}</math>]] || <code>LommelS1(mu, - nu, z) = LommelS1(mu, nu, z)</code> || <code>Error</code> || Successful || Missing Macro Error || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.9#Ex2 11.9#Ex2] || [[Item:Q4014|<math>\LommelS{\mu}{-\nu}@{z} = \LommelS{\mu}{\nu}@{z}</math>]] || <code>LommelS2(mu, - nu, z) = LommelS2(mu, nu, z)</code> || <code>Error</code> || Successful || Error || - || - | | [https://dlmf.nist.gov/11.9#Ex2 11.9#Ex2] || [[Item:Q4014|<math>\LommelS{\mu}{-\nu}@{z} = \LommelS{\mu}{\nu}@{z}</math>]] || <code>LommelS2(mu, - nu, z) = LommelS2(mu, nu, z)</code> || <code>Error</code> || Successful || Missing Macro Error || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.9. | | [https://dlmf.nist.gov/11.9.E7 11.9.E7] || [[Item:Q4015|<math>\Lommels{\mu}{\nu}@{z} = 2^{\mu+1}\sum_{k=0}^{\infty}\*\frac{(2k+\mu+1)\EulerGamma@{k+\mu+1}}{k!(2k+\mu-\nu+1)(2k+\mu+\nu+1)}\BesselJ{2k+\mu+1}@{z}</math>]] || <code>LommelS1(mu, nu, z) = (2)^(mu + 1)* sum(*((2*k + mu + 1)* GAMMA(k + mu + 1))/(factorial(k)*(2*k + mu - nu + 1)*(2*k + mu + nu + 1))*BesselJ(2*k + mu + 1, z), k = 0..infinity)</code> || <code>Error</code> || Error || Missing Macro Error || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.10.E1 11.10.E1] || [[Item:Q4018|<math>\AngerJ{\nu}@{z} = \frac{1}{\pi}\int_{0}^{\pi}\cos@{\nu\theta-z\sin@@{\theta}}\diff{\theta}</math>]] || <code>AngerJ(nu, z) = (1)/(Pi)*int(cos(nu*theta - z*sin(theta)), theta = 0..Pi)</code> || <code>AngerJ[\[Nu], z] == Divide[1,Pi]*Integrate[Cos[\[Nu]*\[Theta]- z*Sin[\[Theta]]], {\[Theta], 0, Pi}, GenerateConditions->None]</code> || Failure || | | [https://dlmf.nist.gov/11.9.E8 11.9.E8] || [[Item:Q4016|<math>\Lommels{\mu}{\nu}@{z} = 2^{(\mu+\nu-1)/2}\EulerGamma@{\tfrac{1}{2}\mu+\tfrac{1}{2}\nu+\tfrac{1}{2}}z^{(\mu+1-\nu)/2}\*\sum_{k=0}^{\infty}\frac{(\tfrac{1}{2}z)^{k}}{k!(2k+\mu-\nu+1)}\BesselJ{k+\frac{1}{2}(\mu+\nu+1)}@{z}</math>]] || <code>LommelS1(mu, nu, z) = (2)^((mu + nu - 1)/ 2)* GAMMA((1)/(2)*mu +(1)/(2)*nu +(1)/(2))*(z)^((mu + 1 - nu)/ 2)* sum((((1)/(2)*z)^(k))/(factorial(k)*(2*k + mu - nu + 1))*BesselJ(k +(1)/(2)*(mu + nu + 1), z), k = 0..infinity)</code> || <code>Error</code> || Failure || Missing Macro Error || Skipped - Because timed out || - | ||
|- | |||
| [https://dlmf.nist.gov/11.10.E1 11.10.E1] || [[Item:Q4018|<math>\AngerJ{\nu}@{z} = \frac{1}{\pi}\int_{0}^{\pi}\cos@{\nu\theta-z\sin@@{\theta}}\diff{\theta}</math>]] || <code>AngerJ(nu, z) = (1)/(Pi)*int(cos(nu*theta - z*sin(theta)), theta = 0..Pi)</code> || <code>AngerJ[\[Nu], z] == Divide[1,Pi]*Integrate[Cos[\[Nu]*\[Theta]- z*Sin[\[Theta]]], {\[Theta], 0, Pi}, GenerateConditions->None]</code> || Failure || Aborted || Successful [Tested: 70] || Skipped - Because timed out | |||
|- | |- | ||
| [https://dlmf.nist.gov/11.10.E2 11.10.E2] || [[Item:Q4019|<math>\WeberE{\nu}@{z} = \frac{1}{\pi}\int_{0}^{\pi}\sin@{\nu\theta-z\sin@@{\theta}}\diff{\theta}</math>]] || <code>WeberE(nu, z) = (1)/(Pi)*int(sin(nu*theta - z*sin(theta)), theta = 0..Pi)</code> || <code>WeberE[\[Nu], z] == Divide[1,Pi]*Integrate[Sin[\[Nu]*\[Theta]- z*Sin[\[Theta]]], {\[Theta], 0, Pi}, GenerateConditions->None]</code> || Failure || Failure || Successful [Tested: 70] || Skipped - Because timed out | | [https://dlmf.nist.gov/11.10.E2 11.10.E2] || [[Item:Q4019|<math>\WeberE{\nu}@{z} = \frac{1}{\pi}\int_{0}^{\pi}\sin@{\nu\theta-z\sin@@{\theta}}\diff{\theta}</math>]] || <code>WeberE(nu, z) = (1)/(Pi)*int(sin(nu*theta - z*sin(theta)), theta = 0..Pi)</code> || <code>WeberE[\[Nu], z] == Divide[1,Pi]*Integrate[Sin[\[Nu]*\[Theta]- z*Sin[\[Theta]]], {\[Theta], 0, Pi}, GenerateConditions->None]</code> || Failure || Failure || Successful [Tested: 70] || Skipped - Because timed out | ||
Line 211: | Line 213: | ||
| [https://dlmf.nist.gov/11.10.E14 11.10.E14] || [[Item:Q4032|<math>\sin@{\pi\nu}\,\WeberE{\nu}@{z} = \AngerJ{-\nu}@{z}-\cos@{\pi\nu}\,\AngerJ{\nu}@{z}</math>]] || <code>sin(Pi*nu)*WeberE(nu, z) = AngerJ(- nu, z)- cos(Pi*nu)*AngerJ(nu, z)</code> || <code>Sin[Pi*\[Nu]]*WeberE[\[Nu], z] == AngerJ[- \[Nu], z]- Cos[Pi*\[Nu]]*AngerJ[\[Nu], z]</code> || Successful || Failure || - || Successful [Tested: 70] | | [https://dlmf.nist.gov/11.10.E14 11.10.E14] || [[Item:Q4032|<math>\sin@{\pi\nu}\,\WeberE{\nu}@{z} = \AngerJ{-\nu}@{z}-\cos@{\pi\nu}\,\AngerJ{\nu}@{z}</math>]] || <code>sin(Pi*nu)*WeberE(nu, z) = AngerJ(- nu, z)- cos(Pi*nu)*AngerJ(nu, z)</code> || <code>Sin[Pi*\[Nu]]*WeberE[\[Nu], z] == AngerJ[- \[Nu], z]- Cos[Pi*\[Nu]]*AngerJ[\[Nu], z]</code> || Successful || Failure || - || Successful [Tested: 70] | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.10.E17 11.10.E17] || [[Item:Q4035|<math>\AngerJ{\nu}@{z} = \frac{\sin@{\pi\nu}}{\pi}(\Lommels{0}{\nu}@{z}-\nu\Lommels{-1}{\nu}@{z})</math>]] || <code>AngerJ(nu, z) = (sin(Pi*nu))/(Pi)*(LommelS1(0, nu, z)- nu*LommelS1(- 1, nu, z))</code> || <code>Error</code> || Successful || Error || - || - | | [https://dlmf.nist.gov/11.10.E17 11.10.E17] || [[Item:Q4035|<math>\AngerJ{\nu}@{z} = \frac{\sin@{\pi\nu}}{\pi}(\Lommels{0}{\nu}@{z}-\nu\Lommels{-1}{\nu}@{z})</math>]] || <code>AngerJ(nu, z) = (sin(Pi*nu))/(Pi)*(LommelS1(0, nu, z)- nu*LommelS1(- 1, nu, z))</code> || <code>Error</code> || Successful || Missing Macro Error || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.10.E18 11.10.E18] || [[Item:Q4036|<math>\WeberE{\nu}@{z} = -\frac{1}{\pi}(1+\cos@{\pi\nu})\Lommels{0}{\nu}@{z}\\ -\frac{\nu}{\pi}(1-\cos@{\pi\nu})\Lommels{-1}{\nu}@{z}</math>]] || <code>WeberE(nu, z) = -(1)/(Pi)*(1 + cos(Pi*nu))* LommelS1(0, nu, z)-(nu)/(Pi)*(1 - cos(Pi*nu))* LommelS1(- 1, nu, z)</code> || <code>Error</code> || Successful || Error || - || - | | [https://dlmf.nist.gov/11.10.E18 11.10.E18] || [[Item:Q4036|<math>\WeberE{\nu}@{z} = -\frac{1}{\pi}(1+\cos@{\pi\nu})\Lommels{0}{\nu}@{z}\\ -\frac{\nu}{\pi}(1-\cos@{\pi\nu})\Lommels{-1}{\nu}@{z}</math>]] || <code>WeberE(nu, z) = -(1)/(Pi)*(1 + cos(Pi*nu))* LommelS1(0, nu, z)-(nu)/(Pi)*(1 - cos(Pi*nu))* LommelS1(- 1, nu, z)</code> || <code>Error</code> || Successful || Missing Macro Error || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.10.E19 11.10.E19] || [[Item:Q4037|<math>\AngerJ{-\frac{1}{2}}@{z} = \WeberE{\frac{1}{2}}@{z}\\</math>]] || <code>AngerJ(-(1)/(2), z) = WeberE((1)/(2), z)</code> || <code>AngerJ[-Divide[1,2], z] == WeberE[Divide[1,2], z]</code> || Successful || Successful || - || Successful [Tested: 7] | | [https://dlmf.nist.gov/11.10.E19 11.10.E19] || [[Item:Q4037|<math>\AngerJ{-\frac{1}{2}}@{z} = \WeberE{\frac{1}{2}}@{z}\\</math>]] || <code>AngerJ(-(1)/(2), z) = WeberE((1)/(2), z)</code> || <code>AngerJ[-Divide[1,2], z] == WeberE[Divide[1,2], z]</code> || Successful || Successful || - || Successful [Tested: 7] | ||
Line 229: | Line 231: | ||
| [https://dlmf.nist.gov/11.10#Ex4 11.10#Ex4] || [[Item:Q4040|<math>\chi = (2z/\pi)^{\frac{1}{2}}</math>]] || <code>chi = (2*z/ Pi)^((1)/(2))</code> || <code>\[Chi] == (2*z/ Pi)^(Divide[1,2])</code> || Skipped - no semantic math || Skipped - no semantic math || - || - | | [https://dlmf.nist.gov/11.10#Ex4 11.10#Ex4] || [[Item:Q4040|<math>\chi = (2z/\pi)^{\frac{1}{2}}</math>]] || <code>chi = (2*z/ Pi)^((1)/(2))</code> || <code>\[Chi] == (2*z/ Pi)^(Divide[1,2])</code> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.10.E22 11.10.E22] || [[Item:Q4041|<math>\WeberE{n}@{z} = -\StruveH{n}@{z}+\frac{1}{\pi}\sum_{k=0}^{m_{1}}\frac{\EulerGamma@{k+\tfrac{1}{2}}}{\EulerGamma@{n\!+\!\tfrac{1}{2}\!-\!k}}(\tfrac{1}{2}z)^{n-2k-1}</math>]] || <code>WeberE(n, z) = - StruveH(n, z)+(1)/(Pi)*sum((GAMMA(k +(1)/(2)))/(GAMMA(n +(1)/(2)- k))*((1)/(2)*z)^(n - 2*k - 1), k = 0..m[1])</code> || <code>WeberE[n, z] == - StruveH[n, z]+Divide[1,Pi]*Sum[Divide[Gamma[k +Divide[1,2]],Gamma[n +Divide[1,2]- k]]*(Divide[1,2]*z)^(n - 2*k - 1), {k, 0, Subscript[m, 1]}, GenerateConditions->None]</code> || Failure || Failure || | | [https://dlmf.nist.gov/11.10.E22 11.10.E22] || [[Item:Q4041|<math>\WeberE{n}@{z} = -\StruveH{n}@{z}+\frac{1}{\pi}\sum_{k=0}^{m_{1}}\frac{\EulerGamma@{k+\tfrac{1}{2}}}{\EulerGamma@{n\!+\!\tfrac{1}{2}\!-\!k}}(\tfrac{1}{2}z)^{n-2k-1}</math>]] || <code>WeberE(n, z) = - StruveH(n, z)+(1)/(Pi)*sum((GAMMA(k +(1)/(2)))/(GAMMA(n +(1)/(2)- k))*((1)/(2)*z)^(n - 2*k - 1), k = 0..m[1])</code> || <code>WeberE[n, z] == - StruveH[n, z]+Divide[1,Pi]*Sum[Divide[Gamma[k +Divide[1,2]],Gamma[n +Divide[1,2]- k]]*(Divide[1,2]*z)^(n - 2*k - 1), {k, 0, Subscript[m, 1]}, GenerateConditions->None]</code> || Failure || Failure || Manual Skip! || <div class="toccolours mw-collapsible mw-collapsed">Failed [210 / 210]<div class="mw-collapsible-content"><code>{Plus[0.6366197723675814, Times[-0.3183098861837907, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[-1, Plus[-1, Times[2, ]], Plus[1, Times[2, ]], []], Times[Plus[-1, Times[-1, Power[-1, Rational[1, 3]]], Times[4, Power[, 2]]], [Plus[1, ]]], Times[Power[-1, Rational[1, 3]], [Plus[2, ]]]], 0], Equal[[0], 0], Equal[[1], 2]}]][Complex[1.8660254037844388, 0.49999999999999994]]]], {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[0.18377629847393068, 0.10610329539459687], Times[Complex[-0.13783222385544802, -0.07957747154594766], DifferenceRoot[Function[{, } <- {Equal[Plus[Times[-1, Plus[-3, Times[2, ]], Plus[1, Times[2, ]], []], Times[Plus[-3, Times[-1, Power[-1, Rational[1, 3]]], Times[-4, ], Times[4, Power[, 2]]], [Plus[1, ]]], Times[Power[-1, Rational[1, 3]], [Plus[2, ]]]], 0], Equal[[0], 0], Equal[[1], Rational[4, 3]]}]][Complex[1</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/11.10.E23 11.10.E23] || [[Item:Q4042|<math>\WeberE{-n}@{z} = -\StruveH{-n}@{z}+\frac{(-1)^{n+1}}{\pi}\sum_{k=0}^{m_{2}}\frac{\EulerGamma@{n\!-\!k\!-\!\tfrac{1}{2}}}{\EulerGamma@{k+\tfrac{3}{2}}}(\tfrac{1}{2}z)^{-n+2k+1}</math>]] || <code>WeberE(- n, z) = - StruveH(- n, z)+((- 1)^(n + 1))/(Pi)*sum((GAMMA(n - k -(1)/(2)))/(GAMMA(k +(3)/(2)))*((1)/(2)*z)^(- n + 2*k + 1), k = 0..m[2])</code> || <code>WeberE[- n, z] == - StruveH[- n, z]+Divide[(- 1)^(n + 1),Pi]*Sum[Divide[Gamma[n - k -Divide[1,2]],Gamma[k +Divide[3,2]]]*(Divide[1,2]*z)^(- n + 2*k + 1), {k, 0, Subscript[m, 2]}, GenerateConditions->None]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [210 / 210]<div class="mw-collapsible-content"><code>210/210]: [[-.5182370935+.1715162156*I <- {z = 1/2*3^(1/2)+1/2*I, m[2] = 1/2*3^(1/2)+1/2*I, n = 1}</code><br><code>.1977910573+.6179671328e-1*I <- {z = 1/2*3^(1/2)+1/2*I, m[2] = 1/2*3^(1/2)+1/2*I, n = 2}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [210 / 210]<div class="mw-collapsible-content"><code>{Complex[-0.5182370936641069, 0.17151621559870867] <- {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[0.19779105745155356, 0.06179671324201291] <- {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br></div></div> | | [https://dlmf.nist.gov/11.10.E23 11.10.E23] || [[Item:Q4042|<math>\WeberE{-n}@{z} = -\StruveH{-n}@{z}+\frac{(-1)^{n+1}}{\pi}\sum_{k=0}^{m_{2}}\frac{\EulerGamma@{n\!-\!k\!-\!\tfrac{1}{2}}}{\EulerGamma@{k+\tfrac{3}{2}}}(\tfrac{1}{2}z)^{-n+2k+1}</math>]] || <code>WeberE(- n, z) = - StruveH(- n, z)+((- 1)^(n + 1))/(Pi)*sum((GAMMA(n - k -(1)/(2)))/(GAMMA(k +(3)/(2)))*((1)/(2)*z)^(- n + 2*k + 1), k = 0..m[2])</code> || <code>WeberE[- n, z] == - StruveH[- n, z]+Divide[(- 1)^(n + 1),Pi]*Sum[Divide[Gamma[n - k -Divide[1,2]],Gamma[k +Divide[3,2]]]*(Divide[1,2]*z)^(- n + 2*k + 1), {k, 0, Subscript[m, 2]}, GenerateConditions->None]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [210 / 210]<div class="mw-collapsible-content"><code>210/210]: [[-.5182370935+.1715162156*I <- {z = 1/2*3^(1/2)+1/2*I, m[2] = 1/2*3^(1/2)+1/2*I, n = 1}</code><br><code>.1977910573+.6179671328e-1*I <- {z = 1/2*3^(1/2)+1/2*I, m[2] = 1/2*3^(1/2)+1/2*I, n = 2}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [210 / 210]<div class="mw-collapsible-content"><code>{Complex[-0.5182370936641069, 0.17151621559870867] <- {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[0.19779105745155356, 0.06179671324201291] <- {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br></div></div> |
Revision as of 18:52, 15 October 2020
DLMF | Formula | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
---|---|---|---|---|---|---|---|
11.2.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveH{\nu}@{z} = (\tfrac{1}{2}z)^{\nu+1}\sum_{n=0}^{\infty}\frac{(-1)^{n}(\tfrac{1}{2}z)^{2n}}{\EulerGamma@{n+\tfrac{3}{2}}\EulerGamma@{n+\nu+\tfrac{3}{2}}}} | StruveH(nu, z) = ((1)/(2)*z)^(nu + 1)* sum(((- 1)^(n)*((1)/(2)*z)^(2*n))/(GAMMA(n +(3)/(2))*GAMMA(n + nu +(3)/(2))), n = 0..infinity) |
StruveH[\[Nu], z] == (Divide[1,2]*z)^(\[Nu]+ 1)* Sum[Divide[(- 1)^(n)*(Divide[1,2]*z)^(2*n),Gamma[n +Divide[3,2]]*Gamma[n + \[Nu]+Divide[3,2]]], {n, 0, Infinity}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 70] |
11.2.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modStruveL{\nu}@{z} = -ie^{-\frac{1}{2}\pi i\nu}\StruveH{\nu}@{iz}} | StruveL(nu, z) = - I*exp(-(1)/(2)*Pi*I*nu)*StruveH(nu, I*z) |
StruveL[\[Nu], z] == - I*Exp[-Divide[1,2]*Pi*I*\[Nu]]*StruveH[\[Nu], I*z] |
Failure | Failure | Failed [8 / 70] 8/70]: [[1.240284959+1.629557917*I <- {nu = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)} 33.65868914+29.08337177*I <- {nu = -1/2+1/2*I*3^(1/2), z = -1/2+1/2*I*3^(1/2)} |
Failed [8 / 70]
{Complex[1.2402849561066787, 1.6295579188731661] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Complex[33.658689094091635, 29.08337174056143] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
11.2.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -ie^{-\frac{1}{2}\pi i\nu}\StruveH{\nu}@{iz} = (\tfrac{1}{2}z)^{\nu+1}\sum_{n=0}^{\infty}\frac{(\tfrac{1}{2}z)^{2n}}{\EulerGamma@{n+\tfrac{3}{2}}\EulerGamma@{n+\nu+\tfrac{3}{2}}}} | - I*exp(-(1)/(2)*Pi*I*nu)*StruveH(nu, I*z) = ((1)/(2)*z)^(nu + 1)* sum((((1)/(2)*z)^(2*n))/(GAMMA(n +(3)/(2))*GAMMA(n + nu +(3)/(2))), n = 0..infinity) |
- I*Exp[-Divide[1,2]*Pi*I*\[Nu]]*StruveH[\[Nu], I*z] == (Divide[1,2]*z)^(\[Nu]+ 1)* Sum[Divide[(Divide[1,2]*z)^(2*n),Gamma[n +Divide[3,2]]*Gamma[n + \[Nu]+Divide[3,2]]], {n, 0, Infinity}, GenerateConditions->None] |
Failure | Failure | Failed [8 / 70] 8/70]: [[-1.240284959-1.629557917*I <- {nu = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)} -33.65868914-29.08337177*I <- {nu = -1/2+1/2*I*3^(1/2), z = -1/2+1/2*I*3^(1/2)} |
Failed [8 / 70]
{Complex[-1.2402849561066787, -1.6295579188731661] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Complex[-33.658689094091635, -29.08337174056143] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
11.2.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveK{\nu}@{z} = \StruveH{\nu}@{z}-\BesselY{\nu}@{z}} | StruveH(nu, z) - BesselY(nu, z) = StruveH(nu, z)- BesselY(nu, z) |
StruveH[\[Nu], z] - BesselY[\[Nu], z] == StruveH[\[Nu], z]- BesselY[\[Nu], z] |
Successful | Successful | - | Successful [Tested: 70] |
11.2.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modStruveM{\nu}@{z} = \modStruveL{\nu}@{z}-\modBesselI{\nu}@{z}} | StruveL(nu, z) - BesselI(nu, z) = StruveL(nu, z)- BesselI(nu, z) |
StruveL[\[Nu], z] - BesselI[\[Nu], z] == StruveL[\[Nu], z]- BesselI[\[Nu], z] |
Successful | Successful | - | Successful [Tested: 70] |
11.2.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv[2]{w}{z}+\frac{1}{z}\deriv{w}{z}+\left(1-\frac{\nu^{2}}{z^{2}}\right)w = \frac{(\tfrac{1}{2}z)^{\nu-1}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}} | diff(w, [z$(2)])+(1)/(z)*diff(w, z)+(1 -((nu)^(2))/((z)^(2)))* w = (((1)/(2)*z)^(nu - 1))/(sqrt(Pi)*GAMMA(nu +(1)/(2))) |
D[w, {z, 2}]+Divide[1,z]*D[w, z]+(1 -Divide[\[Nu]^(2),(z)^(2)])* w == Divide[(Divide[1,2]*z)^(\[Nu]- 1),Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]] |
Failure | Failure | Failed [300 / 300] 300/300]: [[-.5630887369+.2307852889*I <- {nu = 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} 1.502962248+1.156533180*I <- {nu = 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)} |
Failed [300 / 300]
{Complex[-0.563088736999922, 0.23078528896155245] <- {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]]]} Complex[-0.3603758852198513, 0.9342077190875079] <- {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, 3]], Pi]]]} |
11.2.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle w = \StruveH{\nu}@{z},\StruveK{\nu}@{z}} | w = StruveH(nu, z), StruveH(nu, z) - BesselY(nu, z) |
w == StruveH[\[Nu], z], StruveH[\[Nu], z] - BesselY[\[Nu], z] |
Failure | Failure | Error | Error |
11.2.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv[2]{w}{z}+\frac{1}{z}\deriv{w}{z}-\left(1+\frac{\nu^{2}}{z^{2}}\right)w = \frac{(\tfrac{1}{2}z)^{\nu-1}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}} | diff(w, [z$(2)])+(1)/(z)*diff(w, z)-(1 +((nu)^(2))/((z)^(2)))* w = (((1)/(2)*z)^(nu - 1))/(sqrt(Pi)*GAMMA(nu +(1)/(2))) |
D[w, {z, 2}]+Divide[1,z]*D[w, z]-(1 +Divide[\[Nu]^(2),(z)^(2)])* w == Divide[(Divide[1,2]*z)^(\[Nu]- 1),Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]] |
Failure | Failure | Failed [300 / 300] 300/300]: [[-2.295139545-.7692147111*I <- {nu = 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} -.2290885595+.1565331804*I <- {nu = 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)} |
Failed [300 / 300]
{Complex[-2.2951395445687996, -0.7692147110384474] <- {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]]]} Complex[-2.0924266927887287, -0.06579228091249201] <- {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, 3]], Pi]]]} |
11.2.E10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle w = \modStruveL{\nu}@{z},\modStruveM{\nu}@{z}} | w = StruveL(nu, z), StruveL(nu, z) - BesselI(nu, z) |
w == StruveL[\[Nu], z], StruveL[\[Nu], z] - BesselI[\[Nu], z] |
Failure | Failure | Error | Error |
11.2.E11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle w = \StruveH{\nu}@{x}+A\BesselJ{\nu}@{x}+B\BesselY{\nu}@{x}} | w = StruveH(nu, x)+ A*BesselJ(nu, x)+ B*BesselY(nu, x) |
w == StruveH[\[Nu], x]+ A*BesselJ[\[Nu], x]+ B*BesselY[\[Nu], x] |
Failure | Failure | Failed [300 / 300] 300/300]: [[-.568729179e-1+1.004857129*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, x = 3/2} 1.306236381+1.613216681*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, x = 1/2} |
Failed [300 / 300]
{Complex[-0.056872918319905263, 1.0048571288175818] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[x, 1.5], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Complex[-1.7531990546092198, -1.6096988531229037] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[x, 1.5], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
11.2.E12 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle w = \StruveK{\nu}@{x}+A\BesselJ{\nu}@{x}+B\BesselY{\nu}@{x}} | w = StruveH(nu, x) - BesselY(nu, x)+ A*BesselJ(nu, x)+ B*BesselY(nu, x) |
w == StruveH[\[Nu], x] - BesselY[\[Nu], x]+ A*BesselJ[\[Nu], x]+ B*BesselY[\[Nu], x] |
Failure | Failure | Failed [300 / 300] 300/300]: [[-.4449553305+.6668360043*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, x = 3/2} .1477245032+1.196204678*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, x = 1/2} |
Failed [300 / 300]
{Complex[-0.4449553308212987, 0.6668360040225405] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[x, 1.5], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Complex[-0.2518593906559602, -2.1242453536287655] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[x, 1.5], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
11.2.E13 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle w = \StruveH{\nu}@{z}+A\BesselJ{\nu}@{z}+B\HankelH{1}{\nu}@{z}} | w = StruveH(nu, z)+ A*BesselJ(nu, z)+ B*HankelH1(nu, z) |
w == StruveH[\[Nu], z]+ A*BesselJ[\[Nu], z]+ B*HankelH1[\[Nu], z] |
Failure | Failure | Failed [300 / 300] 300/300]: [[-.4180841979+.8728935730*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 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} 1.928541044+.4861253769*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 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)} |
Failed [300 / 300]
{Complex[-0.4180841980733331, 0.8728935728522607] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, 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]]]} Complex[-2.285405641595042, -1.3320778184897675] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, 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[2, 3]], Pi]]]} |
11.2.E14 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle w = \StruveH{\nu}@{z}+A\BesselJ{\nu}@{z}+B\HankelH{2}{\nu}@{z}} | w = StruveH(nu, z)+ A*BesselJ(nu, z)+ B*HankelH2(nu, z) |
w == StruveH[\[Nu], z]+ A*BesselJ[\[Nu], z]+ B*HankelH2[\[Nu], z] |
Failure | Failure | Failed [300 / 300] 300/300]: [[.1098269700-.5965662020*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 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} .3171413600-.3710144720*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 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)} |
Failed [300 / 300]
{Complex[0.109826969919957, -0.5965662019254474] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, 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]]]} Complex[-0.9889109079558663, -0.015623729667162342] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, 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[2, 3]], Pi]]]} |
11.2.E15 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle w = \StruveK{\nu}@{z}+A\HankelH{1}{\nu}@{z}+B\HankelH{2}{\nu}@{z}} | w = StruveH(nu, z) - BesselY(nu, z)+ A*HankelH1(nu, z)+ B*HankelH2(nu, z) |
w == StruveH[\[Nu], z] - BesselY[\[Nu], z]+ A*HankelH1[\[Nu], z]+ B*HankelH2[\[Nu], z] |
Failure | Failure | Failed [300 / 300] 300/300]: [[-.9224011534+.2769363875*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 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} 1.154538681+.9695969456*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 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)} |
Failed [300 / 300]
{Complex[-0.9224011534734378, 0.27693638794598185] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, 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]]]} Complex[-1.3912406162671118, -1.5643629838862487] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, 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[2, 3]], Pi]]]} |
11.2.E16 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle w = \modStruveL{\nu}@{z}+A\modBesselK{\nu}@{z}+B\modBesselI{\nu}@{z}} | w = StruveL(nu, z)+ A*BesselK(nu, z)+ B*BesselI(nu, z) |
w == StruveL[\[Nu], z]+ A*BesselK[\[Nu], z]+ B*BesselI[\[Nu], z] |
Failure | Failure | Failed [300 / 300] 300/300]: [[-.4427134717+.1412701443*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 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} .8499113341+3.412421345*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 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)} |
Failed [300 / 300]
{Complex[-0.4427134718200613, 0.1412701442672558] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, 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]]]} Complex[-1.8647663358395983, -0.37009195882490975] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, 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[2, 3]], Pi]]]} |
11.2.E17 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle w = \modStruveM{\nu}@{z}+A\modBesselK{\nu}@{z}+B\modBesselI{\nu}@{z}} | w = StruveL(nu, z) - BesselI(nu, z)+ A*BesselK(nu, z)+ B*BesselI(nu, z) |
w == StruveL[\[Nu], z] - BesselI[\[Nu], z]+ A*BesselK[\[Nu], z]+ B*BesselI[\[Nu], z] |
Failure | Failure | Failed [300 / 300] 300/300]: [[.876284277e-1+.1517241441*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 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} .9234962821+3.599925727*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 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)} |
Failed [300 / 300]
{Complex[0.08762842754807953, 0.15172414402816306] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, 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]]]} Complex[-0.09828151494898707, -0.22324970290386212] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, 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[2, 3]], Pi]]]} |
11.4.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveK{n+\frac{1}{2}}@{z} = \left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\sum_{m=0}^{n}\frac{(2m)!\,2^{-2m}}{m!\,(n-m)!}\,(\tfrac{1}{2}z)^{n-2m}} | StruveH(n +(1)/(2), z) - BesselY(n +(1)/(2), z) = ((2)/(Pi*z))^((1)/(2))* sum((factorial(2*m)*(2)^(- 2*m))/(factorial(m)*factorial(n - m))*((1)/(2)*z)^(n - 2*m), m = 0..n) |
StruveH[n +Divide[1,2], z] - BesselY[n +Divide[1,2], z] == (Divide[2,Pi*z])^(Divide[1,2])* Sum[Divide[(2*m)!*(2)^(- 2*m),(m)!*(n - m)!]*(Divide[1,2]*z)^(n - 2*m), {m, 0, n}, GenerateConditions->None] |
Error | Failure | - | Failed [6 / 21] {Plus[0.9229158558166265, Times[-0.4886025119029198, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[4, []], Times[Plus[-18, Times[-8, ]], [Plus[1, ]]], Times[Plus[30, Times[22, ], Times[4, Power[, 2]], Power[1.5, 2]], [Plus[2, ]]], Times[-1, Plus[3, ], Power[1.5, 2], [Plus[3, ]]]], 0], Equal[[1], Plus[1, Times[2, Power[1.5, -2]]]], Equal[[2], Plus[Rational[1, 2], Times[12, Power[1.5, -4]], Times[2, Power[1.5, -2]]]], Equal[[3], Plus[Rational[1, 6], Times[120, Power[1.5, -6]], Times[12, Power[1.5, -4]], Power[1.5, -2]]], Equal[[4], Plus[Rational[1, 24], Times[1680, Power[1.5, -8]], Times[120, Power[1.5, -6]], Times[6, Power[1.5, -4]], Times[Rational[1, 3], Power[1.5, -2]]]]}]][1.0]]], {Rule[n, 1], Rule[z, 1.5]} Plus[1.3775876377262881, Times[-0.36645188392718997, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[4, []], Times[Plus[-18, Times[-8, ]], [Plus[1, ]]], Times[Plus[30, Times[22, ], Times[4, Power[, 2]], Power[1.5, 2]], [Plus[
|
11.4.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modStruveL{n+\frac{1}{2}}@{z} = \modBesselI{-n-\frac{1}{2}}@{z}-\left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\sum_{m=0}^{n}\frac{(-1)^{m}(2m)!\,2^{-2m}}{m!\,(n-m)!}\,(\tfrac{1}{2}z)^{n-2m}} | StruveL(n +(1)/(2), z) = BesselI(- n -(1)/(2), z)-((2)/(Pi*z))^((1)/(2))* sum(((- 1)^(m)*factorial(2*m)*(2)^(- 2*m))/(factorial(m)*factorial(n - m))*((1)/(2)*z)^(n - 2*m), m = 0..n) |
StruveL[n +Divide[1,2], z] == BesselI[- n -Divide[1,2], z]-(Divide[2,Pi*z])^(Divide[1,2])* Sum[Divide[(- 1)^(m)*(2*m)!*(2)^(- 2*m),(m)!*(n - m)!]*(Divide[1,2]*z)^(n - 2*m), {m, 0, n}, GenerateConditions->None] |
Failure | Failure | Successful [Tested: 21] | Failed [6 / 21] {Plus[-0.05428916798921324, Times[0.4886025119029198, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[4, []], Times[Plus[-18, Times[-8, ]], [Plus[1, ]]], Times[Plus[30, Times[22, ], Times[4, Power[, 2]], Times[-1, Power[1.5, 2]]], [Plus[2, ]]], Times[Plus[3, ], Power[1.5, 2], [Plus[3, ]]]], 0], Equal[[1], Plus[1, Times[-2, Power[1.5, -2]]]], Equal[[2], Plus[Rational[1, 2], Times[12, Power[1.5, -4]], Times[-2, Power[1.5, -2]]]], Equal[[3], Plus[Rational[1, 6], Times[-120, Power[1.5, -6]], Times[12, Power[1.5, -4]], Times[-1, Power[1.5, -2]]]], Equal[[4], Plus[Rational[1, 24], Times[1680, Power[1.5, -8]], Times[-120, Power[1.5, -6]], Times[6, Power[1.5, -4]], Times[Rational[-1, 3], Power[1.5, -2]]]]}]][1.0]]], {Rule[n, 1], Rule[z, 1.5]} Plus[-0.726117621855728, Times[0.36645188392718997, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[4, []], Times[Plus[-18, Times[-8, ]], [Plus[1, ]]], Times[Plus[30, Times[22, ], Times[4, Power[, 2]],
|
11.4.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveH{-n-\frac{1}{2}}@{z} = (-1)^{n}\BesselJ{n+\frac{1}{2}}@{z}} | StruveH(- n -(1)/(2), z) = (- 1)^(n)* BesselJ(n +(1)/(2), z) |
StruveH[- n -Divide[1,2], z] == (- 1)^(n)* BesselJ[n +Divide[1,2], z] |
Failure | Failure | Successful [Tested: 21] | Successful [Tested: 21] |
11.4.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modStruveL{-n-\frac{1}{2}}@{z} = \modBesselI{n+\frac{1}{2}}@{z}} | StruveL(- n -(1)/(2), z) = BesselI(n +(1)/(2), z) |
StruveL[- n -Divide[1,2], z] == BesselI[n +Divide[1,2], z] |
Failure | Failure | Error | Successful [Tested: 21] |
11.4.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveH{\frac{1}{2}}@{z} = \left(\frac{2}{\pi z}\right)^{\frac{1}{2}}(1-\cos@@{z})} | StruveH((1)/(2), z) = ((2)/(Pi*z))^((1)/(2))*(1 - cos(z)) |
StruveH[Divide[1,2], z] == (Divide[2,Pi*z])^(Divide[1,2])*(1 - Cos[z]) |
Failure | Failure | Successful [Tested: 7] | Successful [Tested: 7] |
11.4.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveH{-\frac{1}{2}}@{z} = \left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\sin@@{z}} | StruveH(-(1)/(2), z) = ((2)/(Pi*z))^((1)/(2))* sin(z) |
StruveH[-Divide[1,2], z] == (Divide[2,Pi*z])^(Divide[1,2])* Sin[z] |
Failure | Failure | Successful [Tested: 7] | Successful [Tested: 7] |
11.4.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modStruveL{\frac{1}{2}}@{z} = \left(\frac{2}{\pi z}\right)^{\frac{1}{2}}(\cosh@@{z}-1)} | StruveL((1)/(2), z) = ((2)/(Pi*z))^((1)/(2))*(cosh(z)- 1) |
StruveL[Divide[1,2], z] == (Divide[2,Pi*z])^(Divide[1,2])*(Cosh[z]- 1) |
Failure | Failure | Successful [Tested: 7] | Successful [Tested: 7] |
11.4.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modStruveL{-\frac{1}{2}}@{z} = \left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\sinh@@{z}} | StruveL(-(1)/(2), z) = ((2)/(Pi*z))^((1)/(2))* sinh(z) |
StruveL[-Divide[1,2], z] == (Divide[2,Pi*z])^(Divide[1,2])* Sinh[z] |
Failure | Failure | Error | Successful [Tested: 7] |
11.4.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveH{\frac{3}{2}}@{z} = \left(\frac{z}{2\pi}\right)^{\frac{1}{2}}\left(1+\frac{2}{z^{2}}\right)-\left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\left(\sin@@{z}+\frac{\cos@@{z}}{z}\right)} | StruveH((3)/(2), z) = ((z)/(2*Pi))^((1)/(2))*(1 +(2)/((z)^(2)))-((2)/(Pi*z))^((1)/(2))*(sin(z)+(cos(z))/(z)) |
StruveH[Divide[3,2], z] == (Divide[z,2*Pi])^(Divide[1,2])*(1 +Divide[2,(z)^(2)])-(Divide[2,Pi*z])^(Divide[1,2])*(Sin[z]+Divide[Cos[z],z]) |
Failure | Failure | Successful [Tested: 7] | Successful [Tested: 7] |
11.4.E10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveH{-\frac{3}{2}}@{z} = \left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\left(\cos@@{z}-\frac{\sin@@{z}}{z}\right)} | StruveH(-(3)/(2), z) = ((2)/(Pi*z))^((1)/(2))*(cos(z)-(sin(z))/(z)) |
StruveH[-Divide[3,2], z] == (Divide[2,Pi*z])^(Divide[1,2])*(Cos[z]-Divide[Sin[z],z]) |
Failure | Failure | Successful [Tested: 7] | Successful [Tested: 7] |
11.4.E11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modStruveL{\frac{3}{2}}@{z} = -\left(\frac{z}{2\pi}\right)^{\frac{1}{2}}\left(1-\frac{2}{z^{2}}\right)+\left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\left(\sinh@@{z}-\frac{\cosh@@{z}}{z}\right)} | StruveL((3)/(2), z) = -((z)/(2*Pi))^((1)/(2))*(1 -(2)/((z)^(2)))+((2)/(Pi*z))^((1)/(2))*(sinh(z)-(cosh(z))/(z)) |
StruveL[Divide[3,2], z] == -(Divide[z,2*Pi])^(Divide[1,2])*(1 -Divide[2,(z)^(2)])+(Divide[2,Pi*z])^(Divide[1,2])*(Sinh[z]-Divide[Cosh[z],z]) |
Failure | Failure | Successful [Tested: 7] | Successful [Tested: 7] |
11.4.E12 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modStruveL{-\frac{3}{2}}@{z} = \left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\left(\cosh@@{z}-\frac{\sinh@@{z}}{z}\right)} | StruveL(-(3)/(2), z) = ((2)/(Pi*z))^((1)/(2))*(cosh(z)-(sinh(z))/(z)) |
StruveL[-Divide[3,2], z] == (Divide[2,Pi*z])^(Divide[1,2])*(Cosh[z]-Divide[Sinh[z],z]) |
Failure | Failure | Error | Successful [Tested: 7] |
11.4.E13 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveH{\nu}@{x} \geq 0} | StruveH(nu, x) >= 0 |
StruveH[\[Nu], x] >= 0 |
Failure | Failure | Successful [Tested: 9] | Successful [Tested: 9] |
11.4.E14 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveH{\nu}@{z} = \frac{2(\tfrac{1}{2}z)^{\nu+1}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}(1+\vartheta)} | StruveH(nu, z) = (2*((1)/(2)*z)^(nu + 1))/(sqrt(Pi)*GAMMA(nu +(3)/(2)))*(1 + vartheta) |
StruveH[\[Nu], z] == Divide[2*(Divide[1,2]*z)^(\[Nu]+ 1),Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]]*(1 + \[CurlyTheta]) |
Failure | Failure | Failed [300 / 300] 300/300]: [[-.1471445522-.1672488986*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, vartheta = 1/2*3^(1/2)+1/2*I} .1483631977-.1537807385*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, vartheta = -1/2+1/2*I*3^(1/2)} |
Failed [300 / 300]
{Complex[-0.14714455195987888, -0.16724889870966364] <- {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]]]} Complex[-0.8437410873580948, -0.4272690725617171] <- {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[2, 3]], Pi]]]} |
11.4.E15 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |\vartheta| < \frac{2}{3}\exp@{\frac{\tfrac{1}{4}|z|^{2}}{|\nu_{0}+\tfrac{3}{2}|}-1}} | abs(vartheta) < (2)/(3)*exp(((1)/(4)*(abs(z))^(2))/(abs(nu[0]+(3)/(2)))- 1) |
Abs[\[CurlyTheta]] < Divide[2,3]*Exp[Divide[Divide[1,4]*(Abs[z])^(2),Abs[Subscript[\[Nu], 0]+Divide[3,2]]]- 1] |
Failure | Failure | Failed [300 / 300] 300/300]: [[1. < .2719639306 <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, vartheta = 1/2*3^(1/2)+1/2*I, nu[0] = 1/2*3^(1/2)+1/2*I} 1. < .2962703575 <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, vartheta = 1/2*3^(1/2)+1/2*I, nu[0] = -1/2+1/2*I*3^(1/2)} |
Failed [300 / 300]
{False <- {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[ν, 0], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} False <- {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[ν, 0], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
11.4.E16 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveH{\nu}@{ze^{m\pi i}} = e^{m\pi i(\nu+1)}\StruveH{\nu}@{z}} | StruveH(nu, z*exp(m*Pi*I)) = exp(m*Pi*I*(nu + 1))*StruveH(nu, z) |
StruveH[\[Nu], z*Exp[m*Pi*I]] == Exp[m*Pi*I*(\[Nu]+ 1)]*StruveH[\[Nu], z] |
Failure | Failure | Failed [36 / 70] 36/70]: [[.7482205956+.6031447740*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, m = 3} -.4043537260-.2594960110*I <- {nu = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2), m = 3} |
Failed [48 / 70]
{Complex[0.7482205967366697, 0.6031447730973842] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Complex[-0.8264714651575658, -11.333535783044978] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
11.4.E17 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modStruveL{\nu}@{ze^{m\pi i}} = e^{m\pi i(\nu+1)}\modStruveL{\nu}@{z}} | StruveL(nu, z*exp(m*Pi*I)) = exp(m*Pi*I*(nu + 1))*StruveL(nu, z) |
StruveL[\[Nu], z*Exp[m*Pi*I]] == Exp[m*Pi*I*(\[Nu]+ 1)]*StruveL[\[Nu], z] |
Failure | Failure | Failed [36 / 70] 36/70]: [[.7484016339+.7418531852*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, m = 3} -.3910618545-.1976660760*I <- {nu = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2), m = 3} |
Failed [48 / 70]
{Complex[0.7484016356562583, 0.741853184386289] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Complex[0.1393494415684403, -14.42209495054837] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
11.4.E18 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveH{\nu}@{z} = \frac{4}{\pi^{1/2}\EulerGamma@{\nu+\tfrac{1}{2}}}\*\sum_{k=0}^{\infty}\frac{(2k+\nu+1)\EulerGamma@{k+\nu+1}}{k!(2k+1)(2k+2\nu+1)}\BesselJ{2k+\nu+1}@{z}} | StruveH(nu, z) = (4)/((Pi)^(1/ 2)* GAMMA(nu +(1)/(2)))* sum(((2*k + nu + 1)* GAMMA(k + nu + 1))/(factorial(k)*(2*k + 1)*(2*k + 2*nu + 1))*BesselJ(2*k + nu + 1, z), k = 0..infinity) |
StruveH[\[Nu], z] == Divide[4,(Pi)^(1/ 2)* Gamma[\[Nu]+Divide[1,2]]]* Sum[Divide[(2*k + \[Nu]+ 1)* Gamma[k + \[Nu]+ 1],(k)!*(2*k + 1)*(2*k + 2*\[Nu]+ 1)]*BesselJ[2*k + \[Nu]+ 1, z], {k, 0, Infinity}, GenerateConditions->None] |
Failure | Failure | Successful [Tested: 7] | Failed [35 / 35] {Plus[Complex[0.19324594490102928, 0.050519652606000824], Times[Complex[-2.8810800784728325, -0.07996643500485433], NSum[Times[Power[Plus[1, Times[2, k]], -1], Plus[1, Power[E, Times[Complex[0, Rational[1, 6]], Pi]], Times[2, k]], Power[Plus[1, Times[2, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Times[2, k]], -1], BesselJ[Plus[1, Power[E, Times[Complex[0, Rational[1, 6]], Pi]], Times[2, k]], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[Factorial[k], -1], Gamma[Plus[1, Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k]]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Plus[Complex[-0.11400577441337441, 0.7764453237975459], Times[Complex[-3.5865453830779916, 1.1372180444285063], NSum[Times[Power[Plus[1, Times[2, k]], -1], Plus[1, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]], Times[2, k]], Power[Plus[1, Times[2
|
11.4.E19 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveH{\nu}@{z} = \left(\frac{z}{2\pi}\right)^{1/2}\sum_{k=0}^{\infty}\frac{(\tfrac{1}{2}z)^{k}}{k!(k+\tfrac{1}{2})}\BesselJ{k+\nu+\frac{1}{2}}@{z}} | StruveH(nu, z) = ((z)/(2*Pi))^(1/ 2)* sum((((1)/(2)*z)^(k))/(factorial(k)*(k +(1)/(2)))*BesselJ(k + nu +(1)/(2), z), k = 0..infinity) |
StruveH[\[Nu], z] == (Divide[z,2*Pi])^(1/ 2)* Sum[Divide[(Divide[1,2]*z)^(k),(k)!*(k +Divide[1,2])]*BesselJ[k + \[Nu]+Divide[1,2], z], {k, 0, Infinity}, GenerateConditions->None] |
Failure | Failure | Skipped - Because timed out | Failed [70 / 70] {Plus[Complex[0.19324594490102928, 0.050519652606000824], Times[Complex[-0.38534865183839906, -0.10325386006452089], NSum[Times[Power[2, Times[-1, k]], Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[Plus[Rational[1, 2], k], -1], BesselJ[Plus[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[Factorial[k], -1]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Plus[Complex[0.7460861755377195, -0.054406581179451755], Times[Complex[-0.38534865183839906, -0.10325386006452089], NSum[Times[Power[2, Times[-1, k]], Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[Plus[Rational[1, 2], k], -1], BesselJ[Plus[Rational[1, 2], Power[E, Times[Complex[0, Rational[2, 3]], Pi]], k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[Factor
|
11.4.E20 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveH{\nu}@{z} = \frac{(\tfrac{1}{2}z)^{\nu+\frac{1}{2}}}{\EulerGamma@{\nu+\tfrac{1}{2}}}\sum_{k=0}^{\infty}\frac{(\tfrac{1}{2}z)^{k}}{k!(k+\nu+\tfrac{1}{2})}\BesselJ{k+\frac{1}{2}}@{z}} | StruveH(nu, z) = (((1)/(2)*z)^(nu +(1)/(2)))/(GAMMA(nu +(1)/(2)))*sum((((1)/(2)*z)^(k))/(factorial(k)*(k + nu +(1)/(2)))*BesselJ(k +(1)/(2), z), k = 0..infinity) |
StruveH[\[Nu], z] == Divide[(Divide[1,2]*z)^(\[Nu]+Divide[1,2]),Gamma[\[Nu]+Divide[1,2]]]*Sum[Divide[(Divide[1,2]*z)^(k),(k)!*(k + \[Nu]+Divide[1,2])]*BesselJ[k +Divide[1,2], z], {k, 0, Infinity}, GenerateConditions->None] |
Failure | Failure | Successful [Tested: 35] | Failed [35 / 35] {Plus[Complex[0.19324594490102928, 0.050519652606000824], Times[Complex[-0.35177626861232025, -0.14724813153619726], NSum[Times[Power[2, Times[-1, k]], Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[Plus[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], -1], BesselJ[Plus[Rational[1, 2], k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[Factorial[k], -1]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Plus[Complex[-0.11400577441337441, 0.7764453237975459], Times[Complex[-0.8980289919269182, -0.9563358827585198], NSum[Times[Power[2, Times[-1, k]], Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[Plus[Rational[1, 2], Power[E, Times[Complex[0, Rational[-1, 3]], Pi]], k], -1], BesselJ[Plus[Rational[1, 2], k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[Factoria
|
11.4.E21 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveH{0}@{z} = \frac{4}{\pi}\sum_{k=0}^{\infty}\frac{\BesselJ{2k+1}@{z}}{2k+1}} | StruveH(0, z) = (4)/(Pi)*sum((BesselJ(2*k + 1, z))/(2*k + 1), k = 0..infinity) |
StruveH[0, z] == Divide[4,Pi]*Sum[Divide[BesselJ[2*k + 1, z],2*k + 1], {k, 0, Infinity}, GenerateConditions->None] |
Failure | Successful | Successful [Tested: 7] | Successful [Tested: 7] |
11.4.E21 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{4}{\pi}\sum_{k=0}^{\infty}\frac{\BesselJ{2k+1}@{z}}{2k+1} = 2\sum_{k=0}^{\infty}(-1)^{k}\BesselJ{k+\frac{1}{2}}^{2}@{\tfrac{1}{2}z}} | (4)/(Pi)*sum((BesselJ(2*k + 1, z))/(2*k + 1), k = 0..infinity) = 2*sum((- 1)^(k)* (BesselJ(k +(1)/(2), (1)/(2)*z))^(2), k = 0..infinity) |
Divide[4,Pi]*Sum[Divide[BesselJ[2*k + 1, z],2*k + 1], {k, 0, Infinity}, GenerateConditions->None] == 2*Sum[(- 1)^(k)* (BesselJ[k +Divide[1,2], Divide[1,2]*z])^(2), {k, 0, Infinity}, GenerateConditions->None] |
Failure | Failure | Successful [Tested: 7] | Failed [7 / 7]
{Plus[Complex[0.5489285468594604, 0.24901722825393072], Times[-2.0, NSum[Times[Power[-1, k], Power[BesselJ[Plus[Rational[1, 2], k], Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]], 2]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Plus[Complex[-0.39043053959878776, 0.5488285427518664], Times[-2.0, NSum[Times[Power[-1, k], Power[BesselJ[Plus[Rational[1, 2], k], Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]], 2]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
11.4.E22 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveH{1}@{z} = \frac{2}{\pi}(1-\BesselJ{0}@{z})+\frac{4}{\pi}\sum_{k=1}^{\infty}\frac{\BesselJ{2k}@{z}}{4k^{2}-1}} | StruveH(1, z) = (2)/(Pi)*(1 - BesselJ(0, z))+(4)/(Pi)*sum((BesselJ(2*k, z))/(4*(k)^(2)- 1), k = 1..infinity) |
StruveH[1, z] == Divide[2,Pi]*(1 - BesselJ[0, z])+Divide[4,Pi]*Sum[Divide[BesselJ[2*k, z],4*(k)^(2)- 1], {k, 1, Infinity}, GenerateConditions->None] |
Failure | Successful | Successful [Tested: 7] | Successful [Tested: 7] |
11.4.E22 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{2}{\pi}(1-\BesselJ{0}@{z})+\frac{4}{\pi}\sum_{k=1}^{\infty}\frac{\BesselJ{2k}@{z}}{4k^{2}-1} = 4\sum_{k=0}^{\infty}\BesselJ{2k+\frac{1}{2}}@{\tfrac{1}{2}z}\BesselJ{2k+\frac{3}{2}}@{\tfrac{1}{2}z}} | (2)/(Pi)*(1 - BesselJ(0, z))+(4)/(Pi)*sum((BesselJ(2*k, z))/(4*(k)^(2)- 1), k = 1..infinity) = 4*sum(BesselJ(2*k +(1)/(2), (1)/(2)*z)*BesselJ(2*k +(3)/(2), (1)/(2)*z), k = 0..infinity) |
Divide[2,Pi]*(1 - BesselJ[0, z])+Divide[4,Pi]*Sum[Divide[BesselJ[2*k, z],4*(k)^(2)- 1], {k, 1, Infinity}, GenerateConditions->None] == 4*Sum[BesselJ[2*k +Divide[1,2], Divide[1,2]*z]*BesselJ[2*k +Divide[3,2], Divide[1,2]*z], {k, 0, Infinity}, GenerateConditions->None] |
Failure | Failure | Successful [Tested: 7] | Failed [7 / 7]
{Plus[Complex[0.11277588530299563, 0.1715300454702578], Times[-4.0, NSum[Times[BesselJ[Plus[Rational[1, 2], Times[2, k]], Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]], BesselJ[Plus[Rational[3, 2], Times[2, k]], Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Plus[Complex[-0.09862236423565694, -0.19602243923212043], Times[-4.0, NSum[Times[BesselJ[Plus[Rational[1, 2], Times[2, k]], Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]], BesselJ[Plus[Rational[3, 2], Times[2, k]], Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
11.4.E23 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveH{\nu-1}@{z}+\StruveH{\nu+1}@{z} = \frac{2\nu}{z}\StruveH{\nu}@{z}+\frac{(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}} | StruveH(nu - 1, z)+ StruveH(nu + 1, z) = (2*nu)/(z)*StruveH(nu, z)+(((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(3)/(2))) |
StruveH[\[Nu]- 1, z]+ StruveH[\[Nu]+ 1, z] == Divide[2*\[Nu],z]*StruveH[\[Nu], z]+Divide[(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]] |
Failure | Successful | Successful [Tested: 56] | Successful [Tested: 56] |
11.4.E24 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveH{\nu-1}@{z}-\StruveH{\nu+1}@{z} = 2\StruveH{\nu}'@{z}-\frac{(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}} | StruveH(nu - 1, z)- StruveH(nu + 1, z) = 2*diff( StruveH(nu, z), z$(1) )-(((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(3)/(2))) |
StruveH[\[Nu]- 1, z]- StruveH[\[Nu]+ 1, z] == 2*D[StruveH[\[Nu], z], {z, 1}]-Divide[(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]] |
Failure | Successful | Successful [Tested: 56] | Successful [Tested: 56] |
11.4.E25 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modStruveL{\nu-1}@{z}-\modStruveL{\nu+1}@{z} = \frac{2\nu}{z}\modStruveL{\nu}@{z}+\frac{(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}} | StruveL(nu - 1, z)- StruveL(nu + 1, z) = (2*nu)/(z)*StruveL(nu, z)+(((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(3)/(2))) |
StruveL[\[Nu]- 1, z]- StruveL[\[Nu]+ 1, z] == Divide[2*\[Nu],z]*StruveL[\[Nu], z]+Divide[(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]] |
Failure | Successful | Successful [Tested: 56] | Successful [Tested: 56] |
11.4.E26 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modStruveL{\nu-1}@{z}+\modStruveL{\nu+1}@{z} = 2\modStruveL{\nu}'@{z}-\frac{(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}} | StruveL(nu - 1, z)+ StruveL(nu + 1, z) = 2*diff( StruveL(nu, z), z$(1) )-(((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(3)/(2))) |
StruveL[\[Nu]- 1, z]+ StruveL[\[Nu]+ 1, z] == 2*D[StruveL[\[Nu], z], {z, 1}]-Divide[(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]] |
Failure | Successful | Successful [Tested: 56] | Successful [Tested: 56] |
11.4.E27 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv{}{z}\left(z^{\nu}\StruveH{\nu}@{z}\right) = z^{\nu}\StruveH{\nu-1}@{z}} | diff((z)^(nu)* StruveH(nu, z), z) = (z)^(nu)* StruveH(nu - 1, z) |
D[(z)^\[Nu]* StruveH[\[Nu], z], z] == (z)^\[Nu]* StruveH[\[Nu]- 1, z] |
Failure | Successful | Successful [Tested: 70] | Successful [Tested: 70] |
11.4.E28 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv{}{z}\left(z^{-\nu}\StruveH{\nu}@{z}\right) = \frac{2^{-\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}-z^{-\nu}\StruveH{\nu+1}@{z}} | diff((z)^(- nu)* StruveH(nu, z), z) = ((2)^(- nu))/(sqrt(Pi)*GAMMA(nu +(3)/(2)))- (z)^(- nu)* StruveH(nu + 1, z) |
D[(z)^(- \[Nu])* StruveH[\[Nu], z], z] == Divide[(2)^(- \[Nu]),Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]]- (z)^(- \[Nu])* StruveH[\[Nu]+ 1, z] |
Successful | Successful | - | Successful [Tested: 56] |
11.4.E29 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv{}{z}\left(z^{\nu}\modStruveL{\nu}@{z}\right) = z^{\nu}\modStruveL{\nu-1}@{z}} | diff((z)^(nu)* StruveL(nu, z), z) = (z)^(nu)* StruveL(nu - 1, z) |
D[(z)^\[Nu]* StruveL[\[Nu], z], z] == (z)^\[Nu]* StruveL[\[Nu]- 1, z] |
Failure | Successful | Successful [Tested: 70] | Successful [Tested: 70] |
11.4.E30 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv{}{z}\left(z^{-\nu}\modStruveL{\nu}@{z}\right) = \frac{2^{-\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}+z^{-\nu}\modStruveL{\nu+1}@{z}} | diff((z)^(- nu)* StruveL(nu, z), z) = ((2)^(- nu))/(sqrt(Pi)*GAMMA(nu +(3)/(2)))+ (z)^(- nu)* StruveL(nu + 1, z) |
D[(z)^(- \[Nu])* StruveL[\[Nu], z], z] == Divide[(2)^(- \[Nu]),Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]]+ (z)^(- \[Nu])* StruveL[\[Nu]+ 1, z] |
Successful | Successful | - | Successful [Tested: 56] |
11.4.E31 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle {\cal H}_{\nu-m}(z) = z^{m-\nu}\left(\frac{1}{z}\deriv{}{z}\right)^{m}(z^{\nu}{\cal H}_{\nu}(z))} | H[nu - m]*(z) ((1)/(z)*diff((z)^(m - nu)*(1)/(z), z))^(m)*((z)^(nu)* H[nu]*(z)) |
Subscript[H, \[Nu]- m]*(z) (Divide[1,z]*D[(z)^(m - \[Nu])*Divide[1,z], z])^(m)*((z)^\[Nu]* Subscript[H, \[Nu]]*(z)) |
Failure | Failure | Failed [300 / 300] 300/300]: [[-.9415809756+3.737713907*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, H[nu] = 1/2*3^(1/2)+1/2*I, H[nu-m] = 1/2*3^(1/2)+1/2*I, m = 3} -2.307606380+3.371688503*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, H[nu] = 1/2*3^(1/2)+1/2*I, H[nu-m] = -1/2+1/2*I*3^(1/2), m = 3} |
Failed [300 / 300]
{Complex[-0.9415809798720088, 3.7377139069778718] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[H, ν], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[H, Plus[Times[-1, m], ν]], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Complex[-2.3076063836564478, 3.371688503193433] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[H, ν], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[H, Plus[Times[-1, m], ν]], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
11.4#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveH{0}'@{z} = \frac{2}{\pi}-\StruveH{1}@{z}} | diff( StruveH(0, z), z$(1) ) = (2)/(Pi)- StruveH(1, z) |
D[StruveH[0, z], {z, 1}] == Divide[2,Pi]- StruveH[1, z] |
Successful | Successful | - | Successful [Tested: 7] |
11.4#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv{}{z}(z\StruveH{1}@{z}) = z\StruveH{0}@{z}} | diff(z*StruveH(1, z), z) = z*StruveH(0, z) |
D[z*StruveH[1, z], z] == z*StruveH[0, z] |
Successful | Successful | - | Successful [Tested: 7] |
11.4#Ex3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modStruveL{0}'@{z} = \frac{2}{\pi}+\modStruveL{1}@{z}} | diff( StruveL(0, z), z$(1) ) = (2)/(Pi)+ StruveL(1, z) |
D[StruveL[0, z], {z, 1}] == Divide[2,Pi]+ StruveL[1, z] |
Successful | Successful | - | Successful [Tested: 7] |
11.4#Ex4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv{}{z}(z\modStruveL{1}@{z}) = z\modStruveL{0}@{z}} | diff(z*StruveL(1, z), z) = z*StruveL(0, z) |
D[z*StruveL[1, z], z] == z*StruveL[0, z] |
Successful | Successful | - | Successful [Tested: 7] |
11.5.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveH{\nu}@{z} = \frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{1}(1-t^{2})^{\nu-\frac{1}{2}}\sin@{zt}\diff{t}} | StruveH(nu, z) = (2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int((1 - (t)^(2))^(nu -(1)/(2))* sin(z*t), t = 0..1) |
StruveH[\[Nu], z] == Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[(1 - (t)^(2))^(\[Nu]-Divide[1,2])* Sin[z*t], {t, 0, 1}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 35] |
11.5.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{1}(1-t^{2})^{\nu-\frac{1}{2}}\sin@{zt}\diff{t} = \frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{\pi/2}\sin@{z\cos@@{\theta}}(\sin@@{\theta})^{2\nu}\diff{\theta}} | (2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int((1 - (t)^(2))^(nu -(1)/(2))* sin(z*t), t = 0..1) = (2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int(sin(z*cos(theta))*(sin(theta))^(2*nu), theta = 0..Pi/ 2) |
Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[(1 - (t)^(2))^(\[Nu]-Divide[1,2])* Sin[z*t], {t, 0, 1}, GenerateConditions->None] == Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[Sin[z*Cos[\[Theta]]]*(Sin[\[Theta]])^(2*\[Nu]), {\[Theta], 0, Pi/ 2}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 35] |
11.5.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveK{\nu}@{z} = \frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{\infty}e^{-zt}(1+t^{2})^{\nu-\frac{1}{2}}\diff{t}} | StruveH(nu, z) - BesselY(nu, z) = (2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int(exp(- z*t)*(1 + (t)^(2))^(nu -(1)/(2)), t = 0..infinity) |
StruveH[\[Nu], z] - BesselY[\[Nu], z] == Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[Exp[- z*t]*(1 + (t)^(2))^(\[Nu]-Divide[1,2]), {t, 0, Infinity}, GenerateConditions->None] |
Successful | Successful | - | Failed [15 / 25]
{Complex[0.9495382353861556, -0.46093572348323536] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, 1.5]} Complex[0.7706973036767981, -0.20650772012904173] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, 0.5]} |
11.5.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveK{0}@{z} = \frac{2}{\pi}\int_{0}^{\infty}e^{-z\sinh@@{t}}\diff{t}} | StruveH(0, z) - BesselY(0, z) = (2)/(Pi)*int(exp(- z*sinh(t)), t = 0..infinity) |
StruveH[0, z] - BesselY[0, z] == Divide[2,Pi]*Integrate[Exp[- z*Sinh[t]], {t, 0, Infinity}, GenerateConditions->None] |
Successful | Aborted | - | Skipped - Because timed out |
11.5.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modStruveM{\nu}@{z} = -\frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{1}e^{-zt}(1-t^{2})^{\nu-\frac{1}{2}}\diff{t}} | StruveL(nu, z) - BesselI(nu, z) = -(2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int(exp(- z*t)*(1 - (t)^(2))^(nu -(1)/(2)), t = 0..1) |
StruveL[\[Nu], z] - BesselI[\[Nu], z] == -Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[Exp[- z*t]*(1 - (t)^(2))^(\[Nu]-Divide[1,2]), {t, 0, 1}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 35] |
11.5.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modStruveM{0}@{z} = -\frac{2}{\pi}\int_{0}^{\pi/2}e^{-z\cos@@{\theta}}\diff{\theta}} | StruveL(0, z) - BesselI(0, z) = -(2)/(Pi)*int(exp(- z*cos(theta)), theta = 0..Pi/ 2) |
StruveL[0, z] - BesselI[0, z] == -Divide[2,Pi]*Integrate[Exp[- z*Cos[\[Theta]]], {\[Theta], 0, Pi/ 2}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 7] |
11.5.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modStruveL{\nu}@{z} = \frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{\pi/2}\sinh@{z\cos@@{\theta}}(\sin@@{\theta})^{2\nu}\diff{\theta}} | StruveL(nu, z) = (2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int(sinh(z*cos(theta))*(sin(theta))^(2*nu), theta = 0..Pi/ 2) |
StruveL[\[Nu], z] == Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[Sinh[z*Cos[\[Theta]]]*(Sin[\[Theta]])^(2*\[Nu]), {\[Theta], 0, Pi/ 2}, GenerateConditions->None] |
Successful | Aborted | - | Skipped - Because timed out |
11.5.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modBesselI{-\nu}@{x}-\modStruveL{\nu}@{x} = \frac{2(\tfrac{1}{2}x)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{\infty}(1+t^{2})^{\nu-\frac{1}{2}}\sin@{xt}\diff{t}} | BesselI(- nu, x)- StruveL(nu, x) = (2*((1)/(2)*x)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int((1 + (t)^(2))^(nu -(1)/(2))* sin(x*t), t = 0..infinity) |
BesselI[- \[Nu], x]- StruveL[\[Nu], x] == Divide[2*(Divide[1,2]*x)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[(1 + (t)^(2))^(\[Nu]-Divide[1,2])* Sin[x*t], {t, 0, Infinity}, GenerateConditions->None] |
Failure | Aborted | Failed [3 / 3] 3/3]: [[1.291209379 <- {x = 3/2, nu = 0} 2.709400861 <- {x = 1/2, nu = 0} |
Skipped - Because timed out |
11.5.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle (\tfrac{1}{2}x)^{-\nu-1}\StruveH{\nu}@{x} = -\frac{1}{2\pi i}\int_{-i\infty}^{i\infty}\frac{\pi\csc@{\pi s}}{\EulerGamma@{\tfrac{3}{2}+s}\EulerGamma@{\tfrac{3}{2}+\nu+s}}(\tfrac{1}{4}x^{2})^{s}\diff{s}} | ((1)/(2)*x)^(- nu - 1)* StruveH(nu, x) = -(1)/(2*Pi*I)*int((Pi*csc(Pi*s))/(GAMMA((3)/(2)+ s)*GAMMA((3)/(2)+ nu + s))*((1)/(4)*(x)^(2))^(s), s = - I*infinity..I*infinity) |
(Divide[1,2]*x)^(- \[Nu]- 1)* StruveH[\[Nu], x] == -Divide[1,2*Pi*I]*Integrate[Divide[Pi*Csc[Pi*s],Gamma[Divide[3,2]+ s]*Gamma[Divide[3,2]+ \[Nu]+ s]]*(Divide[1,4]*(x)^(2))^(s), {s, - I*Infinity, I*Infinity}, GenerateConditions->None] |
Failure | Aborted | Skipped - Because timed out | Skipped - Because timed out |
11.5.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle (\tfrac{1}{2}z)^{-\nu-1}\modStruveL{\nu}@{z} = \frac{1}{2\pi i}\int_{\infty}^{(0+)}\frac{\pi\csc@{\pi s}}{\EulerGamma@{\tfrac{3}{2}+s}\EulerGamma@{\tfrac{3}{2}+\nu+s}}(-\tfrac{1}{4}z^{2})^{s}\diff{s}} | ((1)/(2)*z)^(- nu - 1)* StruveL(nu, z) = (1)/(2*Pi*I)*int((Pi*csc(Pi*s))/(GAMMA((3)/(2)+ s)*GAMMA((3)/(2)+ nu + s))*(-(1)/(4)*(z)^(2))^(s), s = infinity..(0 +)) |
(Divide[1,2]*z)^(- \[Nu]- 1)* StruveL[\[Nu], z] == Divide[1,2*Pi*I]*Integrate[Divide[Pi*Csc[Pi*s],Gamma[Divide[3,2]+ s]*Gamma[Divide[3,2]+ \[Nu]+ s]]*(-Divide[1,4]*(z)^(2))^(s), {s, Infinity, (0 +)}, GenerateConditions->None] |
Error | Failure | - | Error |
11.6#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{0}(\lambda) = 1} | c[0]*(lambda) = 1 |
Subscript[c, 0]*(\[Lambda]) == 1 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
11.6#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{1}(\lambda) = 2\lambda^{-2}} | c[1]*(lambda) = 2*(lambda)^(- 2) |
Subscript[c, 1]*(\[Lambda]) == 2*\[Lambda]^(- 2) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
11.6#Ex3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{2}(\lambda) = 6\lambda^{-4}-\tfrac{1}{2}\lambda^{-2}} | c[2]*(lambda) = 6*(lambda)^(- 4)-(1)/(2)*(lambda)^(- 2) |
Subscript[c, 2]*(\[Lambda]) == 6*\[Lambda]^(- 4)-Divide[1,2]*\[Lambda]^(- 2) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
11.6#Ex4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{3}(\lambda) = 20\lambda^{-6}-4\lambda^{-4}} | c[3]*(lambda) = 20*(lambda)^(- 6)- 4*(lambda)^(- 4) |
Subscript[c, 3]*(\[Lambda]) == 20*\[Lambda]^(- 6)- 4*\[Lambda]^(- 4) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
11.6#Ex5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{4}(\lambda) = 70\lambda^{-8}-\tfrac{45}{2}\lambda^{-6}+\tfrac{3}{8}\lambda^{-4}} | c[4]*(lambda) = 70*(lambda)^(- 8)-(45)/(2)*(lambda)^(- 6)+(3)/(8)*(lambda)^(- 4) |
Subscript[c, 4]*(\[Lambda]) == 70*\[Lambda]^(- 8)-Divide[45,2]*\[Lambda]^(- 6)+Divide[3,8]*\[Lambda]^(- 4) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
11.7.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int z^{\nu}\StruveH{\nu-1}@{z}\diff{z} = z^{\nu}\StruveH{\nu}@{z}} | int((z)^(nu)* StruveH(nu - 1, z), z) = (z)^(nu)* StruveH(nu, z) |
Integrate[(z)^\[Nu]* StruveH[\[Nu]- 1, z], z, GenerateConditions->None] == (z)^\[Nu]* StruveH[\[Nu], z] |
Successful | Successful | - | Successful [Tested: 70] |
11.7.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int z^{-\nu}\StruveH{\nu+1}@{z}\diff{z} = -z^{-\nu}\StruveH{\nu}@{z}+\frac{2^{-\nu}z}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}} | int((z)^(- nu)* StruveH(nu + 1, z), z) = - (z)^(- nu)* StruveH(nu, z)+((2)^(- nu)* z)/(sqrt(Pi)*GAMMA(nu +(3)/(2))) |
Integrate[(z)^(- \[Nu])* StruveH[\[Nu]+ 1, z], z, GenerateConditions->None] == - (z)^(- \[Nu])* StruveH[\[Nu], z]+Divide[(2)^(- \[Nu])* z,Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]] |
Successful | Successful | - | Successful [Tested: 56] |
11.7.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int z^{\nu}\modStruveL{\nu-1}@{z}\diff{z} = z^{\nu}\modStruveL{\nu}@{z}} | int((z)^(nu)* StruveL(nu - 1, z), z) = (z)^(nu)* StruveL(nu, z) |
Integrate[(z)^\[Nu]* StruveL[\[Nu]- 1, z], z, GenerateConditions->None] == (z)^\[Nu]* StruveL[\[Nu], z] |
Failure | Successful | Failed [4 / 70] 4/70]: [[15.74633170+6.711214442*I <- {nu = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)} 1573.901952-547.1907270*I <- {nu = -1/2+1/2*I*3^(1/2), z = -1/2+1/2*I*3^(1/2)} |
Successful [Tested: 70] |
11.7.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int z^{-\nu}\modStruveL{\nu+1}@{z}\diff{z} = z^{-\nu}\modStruveL{\nu}@{z}-\frac{2^{-\nu}z}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}} | int((z)^(- nu)* StruveL(nu + 1, z), z) = (z)^(- nu)* StruveL(nu, z)-((2)^(- nu)* z)/(sqrt(Pi)*GAMMA(nu +(3)/(2))) |
Integrate[(z)^(- \[Nu])* StruveL[\[Nu]+ 1, z], z, GenerateConditions->None] == (z)^(- \[Nu])* StruveL[\[Nu], z]-Divide[(2)^(- \[Nu])* z,Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]] |
Successful | Successful | - | Successful [Tested: 56] |
11.7.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle f_{\nu}(z) = \int_{0}^{z}t^{\nu}\StruveH{\nu}@{t}\diff{t}} | f[nu]*(z) = int((t)^(nu)* StruveH(nu, t), t = 0..z) |
Subscript[f, \[Nu]]*(z) == Integrate[(t)^\[Nu]* StruveH[\[Nu], t], {t, 0, z}, GenerateConditions->None] |
Failure | Failure | Failed [300 / 300] 300/300]: [[.4776177026+.8322237517*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, f[nu] = 1/2*3^(1/2)+1/2*I} -.8884077018+.4661983481*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, f[nu] = -1/2+1/2*I*3^(1/2)} |
Failed [300 / 300]
{Complex[0.4776177021895665, 0.8322237514648603] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, ν], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Complex[-0.8884077015948724, 0.4661983476804216] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, ν], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
11.7.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle f_{\nu+1}(z) = (2\nu+1)f_{\nu}(z)-z^{\nu+1}\StruveH{\nu}@{z}+\frac{(\tfrac{1}{2}z^{2})^{\nu+1}}{(\nu+1)\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}} | f[nu + 1]*(z) = (2*nu + 1)* f[nu]*(z)- (z)^(nu + 1)* StruveH(nu, z)+(((1)/(2)*(z)^(2))^(nu + 1))/((nu + 1)*sqrt(Pi)*GAMMA(nu +(3)/(2))) |
Subscript[f, \[Nu]+ 1]*(z) == (2*\[Nu]+ 1)* Subscript[f, \[Nu]]*(z)- (z)^(\[Nu]+ 1)* StruveH[\[Nu], z]+Divide[(Divide[1,2]*(z)^(2))^(\[Nu]+ 1),(\[Nu]+ 1)*Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]] |
Failure | Failure | Failed [300 / 300] 300/300]: [[.2926898254e-1-1.890529289*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, f[nu] = 1/2*3^(1/2)+1/2*I, f[nu+1] = 1/2*3^(1/2)+1/2*I} -1.336756421-2.256554693*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, f[nu] = 1/2*3^(1/2)+1/2*I, f[nu+1] = -1/2+1/2*I*3^(1/2)} |
Failed [300 / 300]
{Complex[0.029268983232513014, -1.8905292888907776] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, ν], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, Plus[1, ν]], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Complex[-1.3367564205519258, -2.2565546926752162] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, ν], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, Plus[1, ν]], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
11.7.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\pi/2}\StruveH{\nu}@{z\sin@@{\theta}}\frac{(\sin@@{\theta})^{\nu+1}}{(\cos@@{\theta})^{2\nu}}\diff{\theta} = \frac{2^{-\nu}}{\sqrt{\pi}}\EulerGamma@{\tfrac{1}{2}-\nu}z^{\nu-1}(1-\cos@@{z})} | int(StruveH(nu, z*sin(theta))*((sin(theta))^(nu + 1))/((cos(theta))^(2*nu)), theta = 0..Pi/ 2) = ((2)^(- nu))/(sqrt(Pi))*GAMMA((1)/(2)- nu)*(z)^(nu - 1)*(1 - cos(z)) |
Integrate[StruveH[\[Nu], z*Sin[\[Theta]]]*Divide[(Sin[\[Theta]])^(\[Nu]+ 1),(Cos[\[Theta]])^(2*\[Nu])], {\[Theta], 0, Pi/ 2}, GenerateConditions->None] == Divide[(2)^(- \[Nu]),Sqrt[Pi]]*Gamma[Divide[1,2]- \[Nu]]*(z)^(\[Nu]- 1)*(1 - Cos[z]) |
Successful | Aborted | - | Successful [Tested: 21] |
11.7#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}\StruveH{0}@{t}\,\frac{\diff{t}}{t} = \tfrac{1}{2}\pi} | int(StruveH(0, t)*(1)/(t), t = 0..infinity) = (1)/(2)*Pi |
Integrate[StruveH[0, t]*Divide[1,t], {t, 0, Infinity}, GenerateConditions->None] == Divide[1,2]*Pi |
Successful | Successful | - | Successful [Tested: 1] |
11.7#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}\StruveH{1}@{t}\,\frac{\diff{t}}{t^{2}} = \tfrac{1}{4}\pi} | int(StruveH(1, t)*(1)/((t)^(2)), t = 0..infinity) = (1)/(4)*Pi |
Integrate[StruveH[1, t]*Divide[1,(t)^(2)], {t, 0, Infinity}, GenerateConditions->None] == Divide[1,4]*Pi |
Successful | Successful | - | Successful [Tested: 1] |
11.7.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}\StruveH{\nu}@{t}\diff{t} = -\cot@{\tfrac{1}{2}\pi\nu}} | int(StruveH(nu, t), t = 0..infinity) = - cot((1)/(2)*Pi*nu) |
Integrate[StruveH[\[Nu], t], {t, 0, Infinity}, GenerateConditions->None] == - Cot[Divide[1,2]*Pi*\[Nu]] |
Successful | Aborted | - | Successful [Tested: 4] |
11.7.E10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}t^{-\nu-1}\StruveH{\nu}@{t}\diff{t} = \frac{\pi}{2^{\nu+1}\EulerGamma@{\nu+1}}} | int((t)^(- nu - 1)* StruveH(nu, t), t = 0..infinity) = (Pi)/((2)^(nu + 1)* GAMMA(nu + 1)) |
Integrate[(t)^(- \[Nu]- 1)* StruveH[\[Nu], t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Pi,(2)^(\[Nu]+ 1)* Gamma[\[Nu]+ 1]] |
Successful | Aborted | - | Skipped - Because timed out |
11.7.E11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}t^{\mu-\nu-1}\StruveH{\nu}@{t}\diff{t} = \frac{\EulerGamma@{\tfrac{1}{2}\mu}2^{\mu-\nu-1}\tan@{\tfrac{1}{2}\pi\mu}}{\EulerGamma@{\nu-\tfrac{1}{2}\mu+1}}} | int((t)^(mu - nu - 1)* StruveH(nu, t), t = 0..infinity) = (GAMMA((1)/(2)*mu)*(2)^(mu - nu - 1)* tan((1)/(2)*Pi*mu))/(GAMMA(nu -(1)/(2)*mu + 1)) |
Integrate[(t)^(\[Mu]- \[Nu]- 1)* StruveH[\[Nu], t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[Divide[1,2]*\[Mu]]*(2)^(\[Mu]- \[Nu]- 1)* Tan[Divide[1,2]*Pi*\[Mu]],Gamma[\[Nu]-Divide[1,2]*\[Mu]+ 1]] |
Successful | Aborted | - | Skipped - Because timed out |
11.7.E12 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}t^{-\mu-\nu}\StruveH{\mu}@{t}\StruveH{\nu}@{t}\diff{t} = \frac{\sqrt{\pi}\EulerGamma@{\mu+\nu}}{2^{\mu+\nu}\EulerGamma@{\mu+\nu+\tfrac{1}{2}}\EulerGamma@{\mu+\tfrac{1}{2}}\EulerGamma@{\nu+\tfrac{1}{2}}}} | int((t)^(- mu - nu)* StruveH(mu, t)*StruveH(nu, t), t = 0..infinity) = (sqrt(Pi)*GAMMA(mu + nu))/((2)^(mu + nu)* GAMMA(mu + nu +(1)/(2))*GAMMA(mu +(1)/(2))*GAMMA(nu +(1)/(2))) |
Integrate[(t)^(- \[Mu]- \[Nu])* StruveH[\[Mu], t]*StruveH[\[Nu], t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Sqrt[Pi]*Gamma[\[Mu]+ \[Nu]],(2)^(\[Mu]+ \[Nu])* Gamma[\[Mu]+ \[Nu]+Divide[1,2]]*Gamma[\[Mu]+Divide[1,2]]*Gamma[\[Nu]+Divide[1,2]]] |
Successful | Aborted | - | Skipped - Because timed out |
11.7.E13 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}e^{-at}\StruveH{0}@{t}\diff{t} = \frac{2}{\pi\sqrt{1+a^{2}}}\ln@{\frac{1+\sqrt{1+a^{2}}}{a}}} | int(exp(- a*t)*StruveH(0, t), t = 0..infinity) = (2)/(Pi*sqrt(1 + (a)^(2)))*ln((1 +sqrt(1 + (a)^(2)))/(a)) |
Integrate[Exp[- a*t]*StruveH[0, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[2,Pi*Sqrt[1 + (a)^(2)]]*Log[Divide[1 +Sqrt[1 + (a)^(2)],a]] |
Failure | Aborted | Failed [3 / 6] 3/6]: [[0.-1.109400392*I <- {a = -3/2} .7e-9-1.788854381*I <- {a = -1/2} |
Failed [3 / 6]
{Complex[-8.326672684688674*^-17, -1.1094003924504583] <- {Rule[a, -1.5]} Complex[0.0, -1.7888543819998317] <- {Rule[a, -0.5]} |
11.7.E14 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}e^{-at}\StruveH{1}@{t}\diff{t} = \frac{2}{\pi a}-\frac{2a}{\pi\sqrt{1+a^{2}}}\ln@{\frac{1+\sqrt{1+a^{2}}}{a}}} | int(exp(- a*t)*StruveH(1, t), t = 0..infinity) = (2)/(Pi*a)-(2*a)/(Pi*sqrt(1 + (a)^(2)))*ln((1 +sqrt(1 + (a)^(2)))/(a)) |
Integrate[Exp[- a*t]*StruveH[1, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[2,Pi*a]-Divide[2*a,Pi*Sqrt[1 + (a)^(2)]]*Log[Divide[1 +Sqrt[1 + (a)^(2)],a]] |
Failure | Failure | Failed [3 / 6] 3/6]: [[.1865480398-1.664100588*I <- {a = -3/2} 1.724458563-.8944271906*I <- {a = -1/2} |
Failed [3 / 6]
{Complex[-5.551115123125783*^-17, -1.6641005886756874] <- {Rule[a, -1.5]} Complex[1.1102230246251565*^-16, -0.8944271909999159] <- {Rule[a, -0.5]} |
11.7.E15 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}e^{-at}\modStruveL{0}@{t}\diff{t} = \frac{2}{\pi\sqrt{a^{2}\!-\!1}}\asin@{\frac{1}{a}}} | int(exp(- a*t)*StruveL(0, t), t = 0..infinity) = (2)/(Pi*sqrt((a)^(2)- 1))*arcsin((1)/(a)) |
Integrate[Exp[- a*t]*StruveL[0, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[2,Pi*Sqrt[(a)^(2)- 1]]*ArcSin[Divide[1,a]] |
Failure | Successful | Failed [4 / 6] 4/6]: [[.8310285000-.2578603735e-9*I <- {a = -3/2} -1.936205180+0.*I <- {a = -1/2} |
Successful [Tested: 6] |
11.7#Ex4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle = \frac{2a}{\pi\sqrt{a^{2}\!-\!1}}\atan@{\frac{1}{\sqrt{a^{2}\!-\!1}}}-\frac{2}{\pi a}} | = (2*a)/(Pi*sqrt((a)^(2)- 1))*arctan((1)/(sqrt((a)^(2)- 1)))-(2)/(Pi*a) |
== Divide[2*a,Pi*Sqrt[(a)^(2)- 1]]*ArcTan[Divide[1,Sqrt[(a)^(2)- 1]]]-Divide[2,Pi*a] |
Error | Failure | - | Error |
11.9.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv[2]{w}{z}+\frac{1}{z}\deriv{w}{z}+\left(1-\frac{\nu^{2}}{z^{2}}\right)w = z^{\mu-1}} | diff(w, [z$(2)])+(1)/(z)*diff(w, z)+(1 -((nu)^(2))/((z)^(2)))* w = (z)^(mu - 1) |
D[w, {z, 2}]+Divide[1,z]*D[w, z]+(1 -Divide[\[Nu]^(2),(z)^(2)])* w == (z)^(\[Mu]- 1) |
Failure | Failure | Failed [300 / 300] 300/300]: [[-.7677724761+.5394693872e-1*I <- {mu = 1/2*3^(1/2)+1/2*I, nu = 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} 1.394855253+1.097179568*I <- {mu = 1/2*3^(1/2)+1/2*I, nu = 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)} |
Failed [300 / 300]
{Complex[-0.7677724760456721, 0.053946938885231305] <- {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]]]} Complex[0.9642783315232053, 1.0539469388852312] <- {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[2, 3]], Pi]]]} |
11.9.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle w = \Lommels{\mu}{\nu}@{z}+A\BesselJ{\nu}@{z}+B\BesselY{\nu}@{z}} | w = LommelS1(mu, nu, z)+ A*BesselJ(nu, z)+ B*BesselY(nu, z) |
Error |
Failure | Missing Macro Error | Failed [300 / 300] 300/300]: [[.9752372341+.4710119144*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, mu = 1/2*3^(1/2)+1/2*I, nu = 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} 1.486411080-.4774576789*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, mu = 1/2*3^(1/2)+1/2*I, nu = 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)} |
- |
11.9.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Lommels{\mu}{\nu}@{z} = z^{\mu+1}\sum_{k=0}^{\infty}(-1)^{k}\frac{z^{2k}}{a_{k+1}(\mu,\nu)}} | LommelS1(mu, nu, z) = (z)^(mu + 1)* sum((- 1)^(k)*((z)^(2*k))/(a[k + 1]*(mu , nu)), k = 0..infinity) |
Error |
Failure | Missing Macro Error | Error | - |
11.9.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle a_{k}(\mu,\nu) = \prod_{m=1}^{k}\left((\mu+2m-1)^{2}-\nu^{2}\right)} | a[k]*(mu , nu) = product((mu + 2*m - 1)^(2)- (nu)^(2), m = 1..k) |
Subscript[a, k]*(\[Mu], \[Nu]) == Product[(\[Mu]+ 2*m - 1)^(2)- \[Nu]^(2), {m, 1, k}, GenerateConditions->None] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
11.9.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \LommelS{\mu}{\nu}@{z} = \Lommels{\mu}{\nu}@{z}+2^{\mu-1}\EulerGamma@{\tfrac{1}{2}\mu+\tfrac{1}{2}\nu+\tfrac{1}{2}}\EulerGamma@{\tfrac{1}{2}\mu-\tfrac{1}{2}\nu+\tfrac{1}{2}}\*\left(\sin@{\tfrac{1}{2}(\mu-\nu)\pi}\,\BesselJ{\nu}@{z}-\cos@{\tfrac{1}{2}(\mu-\nu)\pi}\,\BesselY{\nu}@{z}\right)} | LommelS2(mu, nu, z) = LommelS1(mu, nu, z)+ (2)^(mu - 1)* GAMMA((1)/(2)*mu +(1)/(2)*nu +(1)/(2))*GAMMA((1)/(2)*mu -(1)/(2)*nu +(1)/(2))*(sin((1)/(2)*(mu - nu)* Pi)*BesselJ(nu, z)- cos((1)/(2)*(mu - nu)* Pi)*BesselY(nu, z)) |
Error |
Successful | Missing Macro Error | - | - |
11.9#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Lommels{\mu}{-\nu}@{z} = \Lommels{\mu}{\nu}@{z}} | LommelS1(mu, - nu, z) = LommelS1(mu, nu, z) |
Error |
Successful | Missing Macro Error | - | - |
11.9#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \LommelS{\mu}{-\nu}@{z} = \LommelS{\mu}{\nu}@{z}} | LommelS2(mu, - nu, z) = LommelS2(mu, nu, z) |
Error |
Successful | Missing Macro Error | - | - |
11.9.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Lommels{\mu}{\nu}@{z} = 2^{\mu+1}\sum_{k=0}^{\infty}\*\frac{(2k+\mu+1)\EulerGamma@{k+\mu+1}}{k!(2k+\mu-\nu+1)(2k+\mu+\nu+1)}\BesselJ{2k+\mu+1}@{z}} | LommelS1(mu, nu, z) = (2)^(mu + 1)* sum(*((2*k + mu + 1)* GAMMA(k + mu + 1))/(factorial(k)*(2*k + mu - nu + 1)*(2*k + mu + nu + 1))*BesselJ(2*k + mu + 1, z), k = 0..infinity) |
Error |
Error | Missing Macro Error | - | - |
11.9.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Lommels{\mu}{\nu}@{z} = 2^{(\mu+\nu-1)/2}\EulerGamma@{\tfrac{1}{2}\mu+\tfrac{1}{2}\nu+\tfrac{1}{2}}z^{(\mu+1-\nu)/2}\*\sum_{k=0}^{\infty}\frac{(\tfrac{1}{2}z)^{k}}{k!(2k+\mu-\nu+1)}\BesselJ{k+\frac{1}{2}(\mu+\nu+1)}@{z}} | LommelS1(mu, nu, z) = (2)^((mu + nu - 1)/ 2)* GAMMA((1)/(2)*mu +(1)/(2)*nu +(1)/(2))*(z)^((mu + 1 - nu)/ 2)* sum((((1)/(2)*z)^(k))/(factorial(k)*(2*k + mu - nu + 1))*BesselJ(k +(1)/(2)*(mu + nu + 1), z), k = 0..infinity) |
Error |
Failure | Missing Macro Error | Skipped - Because timed out | - |
11.10.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \AngerJ{\nu}@{z} = \frac{1}{\pi}\int_{0}^{\pi}\cos@{\nu\theta-z\sin@@{\theta}}\diff{\theta}} | AngerJ(nu, z) = (1)/(Pi)*int(cos(nu*theta - z*sin(theta)), theta = 0..Pi) |
AngerJ[\[Nu], z] == Divide[1,Pi]*Integrate[Cos[\[Nu]*\[Theta]- z*Sin[\[Theta]]], {\[Theta], 0, Pi}, GenerateConditions->None] |
Failure | Aborted | Successful [Tested: 70] | Skipped - Because timed out |
11.10.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \WeberE{\nu}@{z} = \frac{1}{\pi}\int_{0}^{\pi}\sin@{\nu\theta-z\sin@@{\theta}}\diff{\theta}} | WeberE(nu, z) = (1)/(Pi)*int(sin(nu*theta - z*sin(theta)), theta = 0..Pi) |
WeberE[\[Nu], z] == Divide[1,Pi]*Integrate[Sin[\[Nu]*\[Theta]- z*Sin[\[Theta]]], {\[Theta], 0, Pi}, GenerateConditions->None] |
Failure | Failure | Successful [Tested: 70] | Skipped - Because timed out |
11.10.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{1}{\pi}\int_{0}^{2\pi}\cos@{\nu\theta-z\sin@@{\theta}}\diff{\theta} = (1+\cos@{2\pi\nu})\,\AngerJ{\nu}@{z}+\sin@{2\pi\nu}\WeberE{\nu}@{z}} | (1)/(Pi)*int(cos(nu*theta - z*sin(theta)), theta = 0..2*Pi) = (1 + cos(2*Pi*nu))* AngerJ(nu, z)+ sin(2*Pi*nu)*WeberE(nu, z) |
Divide[1,Pi]*Integrate[Cos[\[Nu]*\[Theta]- z*Sin[\[Theta]]], {\[Theta], 0, 2*Pi}, GenerateConditions->None] == (1 + Cos[2*Pi*\[Nu]])* AngerJ[\[Nu], z]+ Sin[2*Pi*\[Nu]]*WeberE[\[Nu], z] |
Failure | Failure | Successful [Tested: 70] | Skipped - Because timed out |
11.10.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \AngerJ{\nu}@{z} = \cos@{\tfrac{1}{2}\pi\nu}\,S_{1}(\nu,z)+\sin@{\tfrac{1}{2}\pi\nu}\,S_{2}(\nu,z)} | AngerJ(nu, z) = cos((1)/(2)*Pi*nu)*S[1]*(nu , z)+ sin((1)/(2)*Pi*nu)*S[2]*(nu , z) |
AngerJ[\[Nu], z] == Cos[Divide[1,2]*Pi*\[Nu]]*Subscript[S, 1]*(\[Nu], z)+ Sin[Divide[1,2]*Pi*\[Nu]]*Subscript[S, 2]*(\[Nu], z) |
Failure | Failure | Failed [300 / 300] 300/300]: [[.4325617835-.4216939044*I-(1.695493166+.2075033380*I)*(.8660254040+.5000000000*I, .8660254040+.5000000000*I) <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, S[1] = 1/2*3^(1/2)+1/2*I, S[2] = 1/2*3^(1/2)+1/2*I} .4325617835-.4216939044*I+(.1404557731-.4337646272*I)*(.8660254040+.5000000000*I, .8660254040+.5000000000*I) <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, S[1] = 1/2*3^(1/2)+1/2*I, S[2] = -1/2+1/2*I*3^(1/2)} |
Error |
11.10.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \WeberE{\nu}@{z} = \sin@{\tfrac{1}{2}\pi\nu}\,S_{1}(\nu,z)-\cos@{\tfrac{1}{2}\pi\nu}\,S_{2}(\nu,z)} | WeberE(nu, z) = sin((1)/(2)*Pi*nu)*S[1]*(nu , z)- cos((1)/(2)*Pi*nu)*S[2]*(nu , z) |
WeberE[\[Nu], z] == Sin[Divide[1,2]*Pi*\[Nu]]*Subscript[S, 1]*(\[Nu], z)- Cos[Divide[1,2]*Pi*\[Nu]]*Subscript[S, 2]*(\[Nu], z) |
Failure | Failure | Failed [300 / 300] 300/300]: [[.6530158617-.8867638354e-1*I-(.3667170623+1.402184312*I)*(.8660254040+.5000000000*I, .8660254040+.5000000000*I) <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, S[1] = 1/2*3^(1/2)+1/2*I, S[2] = 1/2*3^(1/2)+1/2*I} .6530158617-.8867638354e-1*I-(.4337646272+.1404557731*I)*(.8660254040+.5000000000*I, .8660254040+.5000000000*I) <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, S[1] = 1/2*3^(1/2)+1/2*I, S[2] = -1/2+1/2*I*3^(1/2)} |
Error |
11.10.E10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle S_{1}(\nu,z) = \sum_{k=0}^{\infty}\frac{(-1)^{k}(\tfrac{1}{2}z)^{2k}}{\EulerGamma@{k\!+\!\tfrac{1}{2}\nu+1}\EulerGamma@{k\!-\!\tfrac{1}{2}\nu\!+\!1}}} | S[1]*(nu , z) = sum(((- 1)^(k)*((1)/(2)*z)^(2*k))/(GAMMA(k +(1)/(2)*nu + 1)*GAMMA(k -(1)/(2)*nu + 1)), k = 0..infinity) |
Subscript[S, 1]*(\[Nu], z) == Sum[Divide[(- 1)^(k)*(Divide[1,2]*z)^(2*k),Gamma[k +Divide[1,2]*\[Nu]+ 1]*Gamma[k -Divide[1,2]*\[Nu]+ 1]], {k, 0, Infinity}, GenerateConditions->None] |
Failure | Failure | Failed [300 / 300] 300/300]: [[(.8660254040+.5000000000*I)*(.8660254040+.5000000000*I, .8660254040+.5000000000*I)-.6234597010+.4805214665*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, S[1] = 1/2*3^(1/2)+1/2*I} (-.5000000000+.8660254040*I)*(.8660254040+.5000000000*I, .8660254040+.5000000000*I)-.6234597010+.4805214665*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, S[1] = -1/2+1/2*I*3^(1/2)} |
Error |
11.10.E11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle S_{2}(\nu,z) = \sum_{k=0}^{\infty}\frac{(-1)^{k}(\tfrac{1}{2}z)^{2k+1}}{\EulerGamma@{k\!+\!\tfrac{1}{2}\nu\!+\!\tfrac{3}{2}}\EulerGamma@{k\!-\!\tfrac{1}{2}\nu\!+\!\tfrac{3}{2}}}} | S[2]*(nu , z) = sum(((- 1)^(k)*((1)/(2)*z)^(2*k + 1))/(GAMMA(k +(1)/(2)*nu +(3)/(2))*GAMMA(k -(1)/(2)*nu +(3)/(2))), k = 0..infinity) |
Subscript[S, 2]*(\[Nu], z) == Sum[Divide[(- 1)^(k)*(Divide[1,2]*z)^(2*k + 1),Gamma[k +Divide[1,2]*\[Nu]+Divide[3,2]]*Gamma[k -Divide[1,2]*\[Nu]+Divide[3,2]]], {k, 0, Infinity}, GenerateConditions->None] |
Failure | Failure | Failed [300 / 300] 300/300]: [[(.8660254040+.5000000000*I)*(.8660254040+.5000000000*I, .8660254040+.5000000000*I)-.4892722811e-1+.1117224133*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, S[2] = 1/2*3^(1/2)+1/2*I} (-.5000000000+.8660254040*I)*(.8660254040+.5000000000*I, .8660254040+.5000000000*I)-.4892722811e-1+.1117224133*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, S[2] = -1/2+1/2*I*3^(1/2)} |
Error |
11.10#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \AngerJ{\nu}@{-z} = \AngerJ{-\nu}@{z}} | AngerJ(nu, - z) = AngerJ(- nu, z) |
AngerJ[\[Nu], - z] == AngerJ[- \[Nu], z] |
Successful | Successful | - | Successful [Tested: 70] |
11.10#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \WeberE{\nu}@{-z} = -\WeberE{-\nu}@{z}} | WeberE(nu, - z) = - WeberE(- nu, z) |
WeberE[\[Nu], - z] == - WeberE[- \[Nu], z] |
Successful | Successful | - | Successful [Tested: 70] |
11.10.E13 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sin@{\pi\nu}\,\AngerJ{\nu}@{z} = \cos@{\pi\nu}\,\WeberE{\nu}@{z}-\WeberE{-\nu}@{z}} | sin(Pi*nu)*AngerJ(nu, z) = cos(Pi*nu)*WeberE(nu, z)- WeberE(- nu, z) |
Sin[Pi*\[Nu]]*AngerJ[\[Nu], z] == Cos[Pi*\[Nu]]*WeberE[\[Nu], z]- WeberE[- \[Nu], z] |
Successful | Failure | - | Successful [Tested: 70] |
11.10.E14 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sin@{\pi\nu}\,\WeberE{\nu}@{z} = \AngerJ{-\nu}@{z}-\cos@{\pi\nu}\,\AngerJ{\nu}@{z}} | sin(Pi*nu)*WeberE(nu, z) = AngerJ(- nu, z)- cos(Pi*nu)*AngerJ(nu, z) |
Sin[Pi*\[Nu]]*WeberE[\[Nu], z] == AngerJ[- \[Nu], z]- Cos[Pi*\[Nu]]*AngerJ[\[Nu], z] |
Successful | Failure | - | Successful [Tested: 70] |
11.10.E17 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \AngerJ{\nu}@{z} = \frac{\sin@{\pi\nu}}{\pi}(\Lommels{0}{\nu}@{z}-\nu\Lommels{-1}{\nu}@{z})} | AngerJ(nu, z) = (sin(Pi*nu))/(Pi)*(LommelS1(0, nu, z)- nu*LommelS1(- 1, nu, z)) |
Error |
Successful | Missing Macro Error | - | - |
11.10.E18 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \WeberE{\nu}@{z} = -\frac{1}{\pi}(1+\cos@{\pi\nu})\Lommels{0}{\nu}@{z}\\ -\frac{\nu}{\pi}(1-\cos@{\pi\nu})\Lommels{-1}{\nu}@{z}} | WeberE(nu, z) = -(1)/(Pi)*(1 + cos(Pi*nu))* LommelS1(0, nu, z)-(nu)/(Pi)*(1 - cos(Pi*nu))* LommelS1(- 1, nu, z) |
Error |
Successful | Missing Macro Error | - | - |
11.10.E19 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \AngerJ{-\frac{1}{2}}@{z} = \WeberE{\frac{1}{2}}@{z}\\} | AngerJ(-(1)/(2), z) = WeberE((1)/(2), z) |
AngerJ[-Divide[1,2], z] == WeberE[Divide[1,2], z] |
Successful | Successful | - | Successful [Tested: 7] |
11.10.E19 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \WeberE{\frac{1}{2}}@{z}\\ = (\tfrac{1}{2}\pi z)^{-\frac{1}{2}}(A_{+}(\chi)\cos@@{z}-A_{-}(\chi)\sin@@{z})} | WeberE((1)/(2), z) = ((1)/(2)*Pi*z)^(-(1)/(2))*(A[+]*(chi)*cos(z)- A[-]*(chi)*sin(z)) |
WeberE[Divide[1,2], z] == (Divide[1,2]*Pi*z)^(-Divide[1,2])*(Subscript[A, +]*(\[Chi])*Cos[z]- Subscript[A, -]*(\[Chi])*Sin[z]) |
Error | Failure | - | Error |
11.10.E20 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \AngerJ{\frac{1}{2}}@{z} = -\WeberE{-\frac{1}{2}}@{z}\\} | AngerJ((1)/(2), z) = - WeberE(-(1)/(2), z) |
AngerJ[Divide[1,2], z] == - WeberE[-Divide[1,2], z] |
Successful | Successful | - | Successful [Tested: 7] |
11.10.E20 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -\WeberE{-\frac{1}{2}}@{z}\\ = (\tfrac{1}{2}\pi z)^{-\frac{1}{2}}(A_{+}(\chi)\sin@@{z}+A_{-}(\chi)\cos@@{z})} | - WeberE(-(1)/(2), z) = ((1)/(2)*Pi*z)^(-(1)/(2))*(A[+]*(chi)*sin(z)+ A[-]*(chi)*cos(z)) |
- WeberE[-Divide[1,2], z] == (Divide[1,2]*Pi*z)^(-Divide[1,2])*(Subscript[A, +]*(\[Chi])*Sin[z]+ Subscript[A, -]*(\[Chi])*Cos[z]) |
Error | Failure | - | Error |
11.10#Ex3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle A_{+}(\chi) = \Fresnelcosint@{\chi}+\Fresnelsinint@{\chi}} | A[+]*(chi) = FresnelC(chi)+ FresnelS(chi) |
Subscript[A, +]*(\[Chi]) == FresnelC[\[Chi]]+ FresnelS[\[Chi]] |
Error | Failure | - | Error |
11.10#Ex3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle A_{-}(\chi) = \Fresnelcosint@{\chi}-\Fresnelsinint@{\chi}} | A[-]*(chi) = FresnelC(chi)- FresnelS(chi) |
Subscript[A, -]*(\[Chi]) == FresnelC[\[Chi]]- FresnelS[\[Chi]] |
Error | Failure | - | Error |
11.10#Ex4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \chi = (2z/\pi)^{\frac{1}{2}}} | chi = (2*z/ Pi)^((1)/(2)) |
\[Chi] == (2*z/ Pi)^(Divide[1,2]) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
11.10.E22 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \WeberE{n}@{z} = -\StruveH{n}@{z}+\frac{1}{\pi}\sum_{k=0}^{m_{1}}\frac{\EulerGamma@{k+\tfrac{1}{2}}}{\EulerGamma@{n\!+\!\tfrac{1}{2}\!-\!k}}(\tfrac{1}{2}z)^{n-2k-1}} | WeberE(n, z) = - StruveH(n, z)+(1)/(Pi)*sum((GAMMA(k +(1)/(2)))/(GAMMA(n +(1)/(2)- k))*((1)/(2)*z)^(n - 2*k - 1), k = 0..m[1]) |
WeberE[n, z] == - StruveH[n, z]+Divide[1,Pi]*Sum[Divide[Gamma[k +Divide[1,2]],Gamma[n +Divide[1,2]- k]]*(Divide[1,2]*z)^(n - 2*k - 1), {k, 0, Subscript[m, 1]}, GenerateConditions->None] |
Failure | Failure | Manual Skip! | Failed [210 / 210] {Plus[0.6366197723675814, Times[-0.3183098861837907, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[-1, Plus[-1, Times[2, ]], Plus[1, Times[2, ]], []], Times[Plus[-1, Times[-1, Power[-1, Rational[1, 3]]], Times[4, Power[, 2]]], [Plus[1, ]]], Times[Power[-1, Rational[1, 3]], [Plus[2, ]]]], 0], Equal[[0], 0], Equal[[1], 2]}]][Complex[1.8660254037844388, 0.49999999999999994]]]], {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Plus[Complex[0.18377629847393068, 0.10610329539459687], Times[Complex[-0.13783222385544802, -0.07957747154594766], DifferenceRoot[Function[{, } <- {Equal[Plus[Times[-1, Plus[-3, Times[2, ]], Plus[1, Times[2, ]], []], Times[Plus[-3, Times[-1, Power[-1, Rational[1, 3]]], Times[-4, ], Times[4, Power[, 2]]], [Plus[1, ]]], Times[Power[-1, Rational[1, 3]], [Plus[2, ]]]], 0], Equal[[0], 0], Equal[[1], Rational[4, 3]]}]][Complex[1
|
11.10.E23 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \WeberE{-n}@{z} = -\StruveH{-n}@{z}+\frac{(-1)^{n+1}}{\pi}\sum_{k=0}^{m_{2}}\frac{\EulerGamma@{n\!-\!k\!-\!\tfrac{1}{2}}}{\EulerGamma@{k+\tfrac{3}{2}}}(\tfrac{1}{2}z)^{-n+2k+1}} | WeberE(- n, z) = - StruveH(- n, z)+((- 1)^(n + 1))/(Pi)*sum((GAMMA(n - k -(1)/(2)))/(GAMMA(k +(3)/(2)))*((1)/(2)*z)^(- n + 2*k + 1), k = 0..m[2]) |
WeberE[- n, z] == - StruveH[- n, z]+Divide[(- 1)^(n + 1),Pi]*Sum[Divide[Gamma[n - k -Divide[1,2]],Gamma[k +Divide[3,2]]]*(Divide[1,2]*z)^(- n + 2*k + 1), {k, 0, Subscript[m, 2]}, GenerateConditions->None] |
Failure | Failure | Failed [210 / 210] 210/210]: [[-.5182370935+.1715162156*I <- {z = 1/2*3^(1/2)+1/2*I, m[2] = 1/2*3^(1/2)+1/2*I, n = 1} .1977910573+.6179671328e-1*I <- {z = 1/2*3^(1/2)+1/2*I, m[2] = 1/2*3^(1/2)+1/2*I, n = 2} |
Failed [210 / 210]
{Complex[-0.5182370936641069, 0.17151621559870867] <- {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Complex[0.19779105745155356, 0.06179671324201291] <- {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} |
11.10#Ex5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle m_{1} = \floor{\tfrac{1}{2}n-\tfrac{1}{2}}} | m[1] = floor((1)/(2)*n -(1)/(2)) |
Subscript[m, 1] == Floor[Divide[1,2]*n -Divide[1,2]] |
Failure | Failure | Failed [30 / 30] 30/30]: [[.8660254040+.5000000000*I <- {m[1] = 1/2*3^(1/2)+1/2*I, n = 1} .8660254040+.5000000000*I <- {m[1] = 1/2*3^(1/2)+1/2*I, n = 2} |
Failed [30 / 30]
{Complex[0.8660254037844387, 0.49999999999999994] <- {Rule[n, 1], Rule[Subscript[m, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Complex[0.8660254037844387, 0.49999999999999994] <- {Rule[n, 2], Rule[Subscript[m, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} |
11.10#Ex6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle m_{2} = \ceiling{\tfrac{1}{2}n-\tfrac{3}{2}}} | m[2] = ceil((1)/(2)*n -(3)/(2)) |
Subscript[m, 2] == Ceiling[Divide[1,2]*n -Divide[3,2]] |
Failure | Failure | Failed [30 / 30] 30/30]: [[1.866025404+.5000000000*I <- {m[2] = 1/2*3^(1/2)+1/2*I, n = 1} .8660254040+.5000000000*I <- {m[2] = 1/2*3^(1/2)+1/2*I, n = 2} |
Failed [30 / 30]
{Complex[1.8660254037844388, 0.49999999999999994] <- {Rule[n, 1], Rule[Subscript[m, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Complex[0.8660254037844387, 0.49999999999999994] <- {Rule[n, 2], Rule[Subscript[m, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} |
11.10.E25 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \displaystyle\AngerJ{\nu}@{0} = \frac{\sin@{\pi\nu}}{\pi\nu}} | AngerJ(nu, 0) = (sin(Pi*nu))/(Pi*nu) |
AngerJ[\[Nu], 0] == Divide[Sin[Pi*\[Nu]],Pi*\[Nu]] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
11.10.E25 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \displaystyle\WeberE{\nu}@{0} = \frac{1-\cos@{\pi\nu}}{\pi\nu}} | WeberE(nu, 0) = (1 - cos(Pi*nu))/(Pi*nu) |
WeberE[\[Nu], 0] == Divide[1 - Cos[Pi*\[Nu]],Pi*\[Nu]] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
11.10.E26 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \displaystyle\WeberE{0}@{z} = -\StruveH{0}@{z}} | WeberE(0, z) = - StruveH(0, z) |
WeberE[0, z] == - StruveH[0, z] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
11.10.E26 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \displaystyle\WeberE{1}@{z} = \frac{2}{\pi}-\StruveH{1}@{z}} | WeberE(1, z) = (2)/(Pi)- StruveH(1, z) |
WeberE[1, z] == Divide[2,Pi]- StruveH[1, z] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
11.10.E29 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \AngerJ{n}@{z} = \BesselJ{n}@{z}} | AngerJ(n, z) = BesselJ(n, z) |
AngerJ[n, z] == BesselJ[n, z] |
Failure | Successful | Successful [Tested: 7] | Successful [Tested: 7] |
11.10.E32 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \AngerJ{\nu-1}@{z}+\AngerJ{\nu+1}@{z} = \frac{2\nu}{z}\AngerJ{\nu}@{z}-\frac{2}{\pi z}\sin@{\pi\nu}} | AngerJ(nu - 1, z)+ AngerJ(nu + 1, z) = (2*nu)/(z)*AngerJ(nu, z)-(2)/(Pi*z)*sin(Pi*nu) |
AngerJ[\[Nu]- 1, z]+ AngerJ[\[Nu]+ 1, z] == Divide[2*\[Nu],z]*AngerJ[\[Nu], z]-Divide[2,Pi*z]*Sin[Pi*\[Nu]] |
Failure | Failure | Failed [3 / 70] 3/70]: [[.1812319651 <- {nu = -3/2, z = 3/2} .1208213102 <- {nu = -1/2, z = 3/2} |
Successful [Tested: 70] |
11.10.E33 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \WeberE{\nu-1}@{z}+\WeberE{\nu+1}@{z} = \frac{2\nu}{z}\WeberE{\nu}@{z}-\frac{2}{\pi z}(1-\cos@{\pi\nu})} | WeberE(nu - 1, z)+ WeberE(nu + 1, z) = (2*nu)/(z)*WeberE(nu, z)-(2)/(Pi*z)*(1 - cos(Pi*nu)) |
WeberE[\[Nu]- 1, z]+ WeberE[\[Nu]+ 1, z] == Divide[2*\[Nu],z]*WeberE[\[Nu], z]-Divide[2,Pi*z]*(1 - Cos[Pi*\[Nu]]) |
Failure | Failure | Failed [3 / 70] 3/70]: [[.1812319648 <- {nu = 3/2, z = 3/2} .1812319652 <- {nu = -1/2, z = 3/2} |
Successful [Tested: 70] |
11.10.E34 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle 2\AngerJ{\nu}'@{z} = \AngerJ{\nu-1}@{z}-\AngerJ{\nu+1}@{z}} | 2*diff( AngerJ(nu, z), z$(1) ) = AngerJ(nu - 1, z)- AngerJ(nu + 1, z) |
2*D[AngerJ[\[Nu], z], {z, 1}] == AngerJ[\[Nu]- 1, z]- AngerJ[\[Nu]+ 1, z] |
Failure | Successful | Failed [3 / 70] 3/70]: [[-.1812319651 <- {nu = -3/2, z = 3/2} -.1208213102 <- {nu = -1/2, z = 3/2} |
Successful [Tested: 70] |
11.10.E35 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle 2\WeberE{\nu}'@{z} = \WeberE{\nu-1}@{z}-\WeberE{\nu+1}@{z}} | 2*diff( WeberE(nu, z), z$(1) ) = WeberE(nu - 1, z)- WeberE(nu + 1, z) |
2*D[WeberE[\[Nu], z], {z, 1}] == WeberE[\[Nu]- 1, z]- WeberE[\[Nu]+ 1, z] |
Failure | Successful | Failed [3 / 70] 3/70]: [[-.1812319648 <- {nu = 3/2, z = 3/2} -.1812319652 <- {nu = -1/2, z = 3/2} |
Successful [Tested: 70] |
11.10.E36 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle z\AngerJ{\nu}'@{z}+\nu\AngerJ{\nu}@{z} = + z\AngerJ{\nu- 1}@{z}+\frac{\sin@{\pi\nu}}{\pi}} | z*diff( AngerJ(nu, z), z$(1) )+ nu*AngerJ(nu, z) = + z*AngerJ(nu - 1, z)+(sin(Pi*nu))/(Pi) |
z*D[AngerJ[\[Nu], z], {z, 1}]+ \[Nu]*AngerJ[\[Nu], z] == + z*AngerJ[\[Nu]- 1, z]+Divide[Sin[Pi*\[Nu]],Pi] |
Failure | Failure | Failed [3 / 70] 3/70]: [[-.2718479477 <- {nu = -3/2, z = 3/2} -.1812319655 <- {nu = -1/2, z = 3/2} |
Successful [Tested: 70] |
11.10.E36 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle z\AngerJ{\nu}'@{z}-\nu\AngerJ{\nu}@{z} = - z\AngerJ{\nu+ 1}@{z}-\frac{\sin@{\pi\nu}}{\pi}} | z*diff( AngerJ(nu, z), z$(1) )- nu*AngerJ(nu, z) = - z*AngerJ(nu + 1, z)-(sin(Pi*nu))/(Pi) |
z*D[AngerJ[\[Nu], z], {z, 1}]- \[Nu]*AngerJ[\[Nu], z] == - z*AngerJ[\[Nu]+ 1, z]-Divide[Sin[Pi*\[Nu]],Pi] |
Successful | Failure | Skip - symbolical successful subtest | Successful [Tested: 70] |
11.10.E37 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle z\WeberE{\nu}'@{z}+\nu\WeberE{\nu}@{z} = + z\WeberE{\nu- 1}@{z}+\frac{(1-\cos@{\pi\nu})}{\pi}} | z*diff( WeberE(nu, z), z$(1) )+ nu*WeberE(nu, z) = + z*WeberE(nu - 1, z)+(1 - cos(Pi*nu))/(Pi) |
z*D[WeberE[\[Nu], z], {z, 1}]+ \[Nu]*WeberE[\[Nu], z] == + z*WeberE[\[Nu]- 1, z]+Divide[1 - Cos[Pi*\[Nu]],Pi] |
Failure | Failure | Failed [3 / 70] 3/70]: [[-.2718479477 <- {nu = 3/2, z = 3/2} -.2718479472 <- {nu = -1/2, z = 3/2} |
Successful [Tested: 70] |
11.10.E37 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle z\WeberE{\nu}'@{z}-\nu\WeberE{\nu}@{z} = - z\WeberE{\nu+ 1}@{z}-\frac{(1-\cos@{\pi\nu})}{\pi}} | z*diff( WeberE(nu, z), z$(1) )- nu*WeberE(nu, z) = - z*WeberE(nu + 1, z)-(1 - cos(Pi*nu))/(Pi) |
z*D[WeberE[\[Nu], z], {z, 1}]- \[Nu]*WeberE[\[Nu], z] == - z*WeberE[\[Nu]+ 1, z]-Divide[1 - Cos[Pi*\[Nu]],Pi] |
Successful | Failure | Skip - symbolical successful subtest | Successful [Tested: 70] |
11.11#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle a_{0}(\lambda) = \frac{1}{1+\lambda}} | a[0]*(lambda) = (1)/(1 + lambda) |
Subscript[a, 0]*(\[Lambda]) == Divide[1,1 + \[Lambda]] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
11.11#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle a_{1}(\lambda) = -\frac{\lambda}{2(1+\lambda)^{4}}} | a[1]*(lambda) = -(lambda)/(2*(1 + lambda)^(4)) |
Subscript[a, 1]*(\[Lambda]) == -Divide[\[Lambda],2*(1 + \[Lambda])^(4)] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
11.11#Ex3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle a_{2}(\lambda) = \frac{9\lambda^{2}-\lambda}{24(1+\lambda)^{7}}} | a[2]*(lambda) = (9*(lambda)^(2)- lambda)/(24*(1 + lambda)^(7)) |
Subscript[a, 2]*(\[Lambda]) == Divide[9*\[Lambda]^(2)- \[Lambda],24*(1 + \[Lambda])^(7)] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
11.11#Ex4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle a_{3}(\lambda) = -\frac{225\lambda^{3}-54\lambda^{2}+\lambda}{720(1+\lambda)^{10}}} | a[3]*(lambda) = -(225*(lambda)^(3)- 54*(lambda)^(2)+ lambda)/(720*(1 + lambda)^(10)) |
Subscript[a, 3]*(\[Lambda]) == -Divide[225*\[Lambda]^(3)- 54*\[Lambda]^(2)+ \[Lambda],720*(1 + \[Lambda])^(10)] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
11.11.E12 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \mu = \sqrt{1-\lambda^{2}}-\ln@{\frac{1+\sqrt{1-\lambda^{2}}}{\lambda}}} | mu = sqrt(1 - (lambda)^(2))- ln((1 +sqrt(1 - (lambda)^(2)))/(lambda)) |
\[Mu] == Sqrt[1 - \[Lambda]^(2)]- Log[Divide[1 +Sqrt[1 - \[Lambda]^(2)],\[Lambda]]] |
Failure | Failure | Failed [100 / 100] 100/100]: [[.6584789489+.2146018366*I <- {lambda = 1/2*3^(1/2)+1/2*I, mu = 1/2*3^(1/2)+1/2*I} -.7075464554+.5806272406*I <- {lambda = 1/2*3^(1/2)+1/2*I, mu = -1/2+1/2*I*3^(1/2)} |
Failed [100 / 100]
{Complex[0.6584789484624085, 0.21460183660255172] <- {Rule[λ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Complex[-0.70754645532203, 0.5806272403869905] <- {Rule[λ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[μ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
11.11#Ex5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle b_{0}(\lambda) = \frac{1}{(1-\lambda^{2})^{1/4}}} | b[0]*(lambda) = (1)/((1 - (lambda)^(2))^(1/ 4)) |
Subscript[b, 0]*(\[Lambda]) == Divide[1,(1 - \[Lambda]^(2))^(1/ 4)] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
11.11#Ex6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle b_{1}(\lambda) = \frac{2+3\lambda^{2}}{12(1-\lambda^{2})^{7/4}}} | b[1]*(lambda) = (2 + 3*(lambda)^(2))/(12*(1 - (lambda)^(2))^(7/ 4)) |
Subscript[b, 1]*(\[Lambda]) == Divide[2 + 3*\[Lambda]^(2),12*(1 - \[Lambda]^(2))^(7/ 4)] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
11.11#Ex7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle b_{2}(\lambda) = \frac{4+300\lambda^{2}+81\lambda^{4}}{864(1-\lambda^{2})^{13/4}}} | b[2]*(lambda) = (4 + 300*(lambda)^(2)+ 81*(lambda)^(4))/(864*(1 - (lambda)^(2))^(13/ 4)) |
Subscript[b, 2]*(\[Lambda]) == Divide[4 + 300*\[Lambda]^(2)+ 81*\[Lambda]^(4),864*(1 - \[Lambda]^(2))^(13/ 4)] |
Skipped - no semantic math | Skipped - no semantic math | - | - |