Results of Incomplete Gamma and Related Functions
| DLMF | Formula | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
|---|---|---|---|---|---|---|---|
| 8.2.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incgamma@{a}{z} = \int_{0}^{z}t^{a-1}e^{-t}\diff{t}} | GAMMA(a)-GAMMA(a, z) = int((t)^(a - 1)* exp(- t), t = 0..z) |
Gamma[a, 0, z] == Integrate[(t)^(a - 1)* Exp[- t], {t, 0, z}, GenerateConditions->None] |
Failure | Successful | Successful [Tested: 21] | Successful [Tested: 21] |
| 8.2.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{a}{z} = \int_{z}^{\infty}t^{a-1}e^{-t}\diff{t}} | GAMMA(a, z) = int((t)^(a - 1)* exp(- t), t = z..infinity) |
Gamma[a, z] == Integrate[(t)^(a - 1)* Exp[- t], {t, z, Infinity}, GenerateConditions->None] |
Failure | Successful | Failed [14 / 42] 14/42]: [[Float(infinity)+Float(infinity)*I <- {a = -2, z = 1/2*3^(1/2)+1/2*I}Float(infinity)+Float(infinity)*I <- {a = -2, z = -1/2+1/2*I*3^(1/2)} |
Successful [Tested: 42] |
| 8.2.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incgamma@{a}{z}+\incGamma@{a}{z} = \EulerGamma@{a}} | GAMMA(a)-GAMMA(a, z)+ GAMMA(a, z) = GAMMA(a) |
Gamma[a, 0, z]+ Gamma[a, z] == Gamma[a] |
Successful | Successful | - | Successful [Tested: 7] |
| 8.2#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincGammaP@{a}{z} = \frac{\incgamma@{a}{z}}{\EulerGamma@{a}}} | (GAMMA(a)-GAMMA(a, z))/GAMMA(a) = (GAMMA(a)-GAMMA(a, z))/(GAMMA(a)) |
GammaRegularized[a, 0, z] == Divide[Gamma[a, 0, z],Gamma[a]] |
Successful | Successful | - | Successful [Tested: 21] |
| 8.2#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincGammaQ@{a}{z} = \frac{\incGamma@{a}{z}}{\EulerGamma@{a}}} | GAMMA(a, z)/GAMMA(a) = (GAMMA(a, z))/(GAMMA(a)) |
GammaRegularized[a, z] == Divide[Gamma[a, z],Gamma[a]] |
Successful | Successful | - | Successful [Tested: 21] |
| 8.2.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincGammaP@{a}{z}+\normincGammaQ@{a}{z} = 1} | (GAMMA(a)-GAMMA(a, z))/GAMMA(a)+ GAMMA(a, z)/GAMMA(a) = 1 |
GammaRegularized[a, 0, z]+ GammaRegularized[a, z] == 1 |
Successful | Successful | - | Successful [Tested: 21] |
| 8.2.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \scincgamma@{a}{z} = z^{-a}\normincGammaP@{a}{z}} | (z)^(-(a))*(GAMMA(a)-GAMMA(a, z))/GAMMA(a) = (z)^(- a)* (GAMMA(a)-GAMMA(a, z))/GAMMA(a) |
Error |
Successful | Missing Macro Error | Skip - symbolical successful subtest | - |
| 8.2.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle z^{-a}\normincGammaP@{a}{z} = \frac{z^{-a}}{\EulerGamma@{a}}\incgamma@{a}{z}} | (z)^(- a)* (GAMMA(a)-GAMMA(a, z))/GAMMA(a) = ((z)^(- a))/(GAMMA(a))*GAMMA(a)-GAMMA(a, z) |
(z)^(- a)* GammaRegularized[a, 0, z] == Divide[(z)^(- a),Gamma[a]]*Gamma[a, 0, z] |
Failure | Successful | Failed [21 / 21] 21/21]: [[.2669922311+.3869142026*I <- {a = 1.5, z = 1/2*3^(1/2)+1/2*I}3.493684189-.9843316111*I <- {a = 1.5, z = -1/2+1/2*I*3^(1/2)} |
Successful [Tested: 21] |
| 8.2.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \scincgamma@{a}{z} = \frac{1}{\EulerGamma@{a}}\int_{0}^{1}t^{a-1}e^{-zt}\diff{t}} | (z)^(-(a))*(GAMMA(a)-GAMMA(a, z))/GAMMA(a) = (1)/(GAMMA(a))*int((t)^(a - 1)* exp(- z*t), t = 0..1) |
Error |
Failure | Missing Macro Error | Successful [Tested: 21] | - |
| 8.2.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incgamma@{a}{ze^{2\pi mi}} = e^{2\pi mia}\incgamma@{a}{z}} | GAMMA(a)-GAMMA(a, z*exp(2*Pi*m*I)) = exp(2*Pi*m*I*a)*GAMMA(a)-GAMMA(a, z) |
Gamma[a, 0, z*Exp[2*Pi*m*I]] == Exp[2*Pi*m*I*a]*Gamma[a, 0, z] |
Failure | Failure | Failed [28 / 63] 28/63]: [[1.772453851+.14e-8*I <- {a = 1.5, z = 1/2*3^(1/2)+1/2*I, m = 1, a = 1}1.772453851+.62e-8*I <- {a = 1.5, z = 1/2*3^(1/2)+1/2*I, m = 3, a = 1} |
Successful [Tested: 21] |
| 8.2.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{a}{ze^{2\pi mi}} = e^{2\pi mia}\incGamma@{a}{z}+(1-e^{2\pi mia})\EulerGamma@{a}} | GAMMA(a, z*exp(2*Pi*m*I)) = exp(2*Pi*m*I*a)*GAMMA(a, z)+(1 - exp(2*Pi*m*I*a))* GAMMA(a) |
Gamma[a, z*Exp[2*Pi*m*I]] == Exp[2*Pi*m*I*a]*Gamma[a, z]+(1 - Exp[2*Pi*m*I*a])* Gamma[a] |
Failure | Failure | Failed [28 / 63] 28/63]: [[-.701776495-.3980325655*I <- {a = 1.5, z = 1/2*3^(1/2)+1/2*I, m = 1}-.701776493-.3980325669*I <- {a = 1.5, z = 1/2*3^(1/2)+1/2*I, m = 3} |
Failed [28 / 63]
{Complex[-0.7017764946044596, -0.3980325648566406] <- {Rule[a, 1.5], Rule[m, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Complex[-0.7017764946044598, -0.39803256485664035] <- {Rule[a, 1.5], Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} |
| 8.2.E10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle e^{-\pi ia}\incGamma@{a}{ze^{\pi i}}-e^{\pi ia}\incGamma@{a}{ze^{-\pi i}} = -\frac{2\pi i}{\EulerGamma@{1-a}}} | exp(- Pi*I*a)*GAMMA(a, z*exp(Pi*I))- exp(Pi*I*a)*GAMMA(a, z*exp(- Pi*I)) = -(2*Pi*I)/(GAMMA(1 - a)) |
Exp[- Pi*I*a]*Gamma[a, z*Exp[Pi*I]]- Exp[Pi*I*a]*Gamma[a, z*Exp[- Pi*I]] == -Divide[2*Pi*I,Gamma[1 - a]] |
Failure | Failure | Failed [28 / 28] 28/28]: [[-2.710645106+2.690107924*I <- {a = -1.5, z = 1/2*3^(1/2)+1/2*I}.1295806364+5.171352915*I <- {a = -1.5, z = -1/2+1/2*I*3^(1/2)} |
Failed [28 / 28]
{Complex[-2.710645107283499, 2.690107923521634] <- {Rule[a, -1.5], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Complex[0.12958063668571548, 5.171352913200156] <- {Rule[a, -1.5], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.2.E11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{a}{ze^{+\pi i}} = \EulerGamma@{a}(1-z^{a}e^{+\pi ia}\scincgamma@{a}{-z})} | GAMMA(a, z*exp(+ Pi*I)) = GAMMA(a)*(1 - (z)^(a)* exp(+ Pi*I*a)*(- z)^(-(a))*(GAMMA(a)-GAMMA(a, - z))/GAMMA(a)) |
Error |
Failure | Missing Macro Error | Failed [4 / 21] 4/21]: [[2.046852240-1.006153525*I <- {a = 1.5, z = 1/2*3^(1/2)+1/2*I}-.4563214597+.8560373719*I <- {a = 1.5, z = -1/2+1/2*I*3^(1/2)} |
- |
| 8.2.E11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{a}{ze^{-\pi i}} = \EulerGamma@{a}(1-z^{a}e^{-\pi ia}\scincgamma@{a}{-z})} | GAMMA(a, z*exp(- Pi*I)) = GAMMA(a)*(1 - (z)^(a)* exp(- Pi*I*a)*(- z)^(-(a))*(GAMMA(a)-GAMMA(a, - z))/GAMMA(a)) |
Error |
Failure | Missing Macro Error | Failed [10 / 21] 10/21]: [[1.510498964-.9249588863*I <- {a = 1.5, z = 1/2-1/2*I*3^(1/2)}-.7017764949-.3980325647*I <- {a = 1.5, z = -1/2*3^(1/2)-1/2*I} |
- |
| 8.2.E12 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv[2]{w}{z}+\left(1+\frac{1-a}{z}\right)\deriv{w}{z} = 0} | diff(w, [z$(2)])+(1 +(1 - a)/(z))* diff(w, z) = 0 |
D[w, {z, 2}]+(1 +Divide[1 - a,z])* D[w, z] == 0 |
Successful | Successful | - | Successful [Tested: 300] |
| 8.2.E13 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv[2]{w}{z}-\left(1+\frac{1-a}{z}\right)\deriv{w}{z}+\frac{1-a}{z^{2}}w = 0} | diff(w, [z$(2)])-(1 +(1 - a)/(z))* diff(w, z)+(1 - a)/((z)^(2))*w = 0 |
D[w, {z, 2}]-(1 +Divide[1 - a,z])* D[w, z]+Divide[1 - a,(z)^(2)]*w == 0 |
Failure | Failure | Failed [300 / 300] 300/300]: [[2.165063509-1.250000000*I <- {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}-2.165063509+1.250000000*I <- {a = -1.5, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)} |
Failed [300 / 300]
{Complex[2.1650635094610964, -1.25] <- {Rule[a, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Complex[-2.1650635094610964, 1.2500000000000004] <- {Rule[a, -1.5], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.4.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incgamma@{\tfrac{1}{2}}{z^{2}} = 2\int_{0}^{z}e^{-t^{2}}\diff{t}} | GAMMA((1)/(2))-GAMMA((1)/(2), (z)^(2)) = 2*int(exp(- (t)^(2)), t = 0..z) |
Gamma[Divide[1,2], 0, (z)^(2)] == 2*Integrate[Exp[- (t)^(2)], {t, 0, z}, GenerateConditions->None] |
Failure | Failure | Failed [2 / 7] 2/7]: [[3.465949776-3.038201708*I <- {z = -1/2+1/2*I*3^(1/2)}3.197911286+.8974462698*I <- {z = -1/2*3^(1/2)-1/2*I} |
Failed [2 / 7]
{Complex[3.4659497742269214, -3.038201707267986] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}Complex[3.197911285535813, 0.8974462701863266] <- {Rule[z, Power[E, Times[Complex[0, Rational[-5, 6]], Pi]]]} |
| 8.4.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle 2\int_{0}^{z}e^{-t^{2}}\diff{t} = \sqrt{\pi}\erf@{z}} | 2*int(exp(- (t)^(2)), t = 0..z) = sqrt(Pi)*erf(z) |
2*Integrate[Exp[- (t)^(2)], {t, 0, z}, GenerateConditions->None] == Sqrt[Pi]*Erf[z] |
Successful | Successful | Skip - symbolical successful subtest | Successful [Tested: 7] |
| 8.4.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \scincgamma@{a}{0} = \frac{1}{\EulerGamma@{a+1}}} | (0)^(-(a))*(GAMMA(a)-GAMMA(a, 0))/GAMMA(a) = (1)/(GAMMA(a + 1)) |
Error |
Failure | Missing Macro Error | Failed [3 / 3] 3/3]: [[-.7522527782 <- {a = 1.5}-1.128379167 <- {a = .5} |
- |
| 8.4.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \scincgamma@{\tfrac{1}{2}}{-z^{2}} = \frac{2e^{z^{2}}}{z\sqrt{\pi}}\DawsonsintF@{z}} | (- (z)^(2))^(-((1)/(2)))*(GAMMA((1)/(2))-GAMMA((1)/(2), - (z)^(2)))/GAMMA((1)/(2)) = (2*exp((z)^(2)))/(z*sqrt(Pi))*dawson(z) |
Error |
Successful | Missing Macro Error | - | - |
| 8.4.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{0}{z} = \int_{z}^{\infty}t^{-1}e^{-t}\diff{t}} | GAMMA(0, z) = int((t)^(- 1)* exp(- t), t = z..infinity) |
Gamma[0, z] == Integrate[(t)^(- 1)* Exp[- t], {t, z, Infinity}, GenerateConditions->None] |
Successful | Successful | Skip - symbolical successful subtest | Successful [Tested: 7] |
| 8.4.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{z}^{\infty}t^{-1}e^{-t}\diff{t} = \expintE@{z}} | int((t)^(- 1)* exp(- t), t = z..infinity) = Ei(z) |
Integrate[(t)^(- 1)* Exp[- t], {t, z, Infinity}, GenerateConditions->None] == ExpIntegralE[1, z] |
Failure | Failure | Failed [7 / 7] 7/7]: [[-1.393548628-1.498247032*I <- {z = 1/2*3^(1/2)+1/2*I}-.8944744989-3.773814377*I <- {z = -1/2+1/2*I*3^(1/2)} |
Successful [Tested: 7] |
| 8.4.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{1}{z} = e^{-z}} | GAMMA(1, z) = exp(- z) |
Gamma[1, z] == Exp[- z] |
Successful | Successful | - | Successful [Tested: 7] |
| 8.4.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{\tfrac{1}{2}}{z^{2}} = 2\int_{z}^{\infty}e^{-t^{2}}\diff{t}} | GAMMA((1)/(2), (z)^(2)) = 2*int(exp(- (t)^(2)), t = z..infinity) |
Gamma[Divide[1,2], (z)^(2)] == 2*Integrate[Exp[- (t)^(2)], {t, z, Infinity}, GenerateConditions->None] |
Failure | Failure | Failed [2 / 7] 2/7]: [[-3.465949776+3.038201708*I <- {z = -1/2+1/2*I*3^(1/2)}-3.197911286-.8974462698*I <- {z = -1/2*3^(1/2)-1/2*I} |
Failed [2 / 7]
{Complex[-3.4659497742269214, 3.038201707267986] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}Complex[-3.1979112855358127, -0.8974462701863266] <- {Rule[z, Power[E, Times[Complex[0, Rational[-5, 6]], Pi]]]} |
| 8.4.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle 2\int_{z}^{\infty}e^{-t^{2}}\diff{t} = \sqrt{\pi}\erfc@{z}} | 2*int(exp(- (t)^(2)), t = z..infinity) = sqrt(Pi)*erfc(z) |
2*Integrate[Exp[- (t)^(2)], {t, z, Infinity}, GenerateConditions->None] == Sqrt[Pi]*Erfc[z] |
Successful | Successful | Skip - symbolical successful subtest | Successful [Tested: 7] |
| 8.4.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incgamma@{n+1}{z} = n!(1-e^{-z}e_{n}(z))} | GAMMA(n + 1)-GAMMA(n + 1, z) = factorial(n)*(1 - exp(- z)*exp(1)[n]*(z)) |
Gamma[n + 1, 0, z] == (n)!*(1 - Exp[- z]*Subscript[E, n]*(z)) |
Failure | Failure | Error | Failed [21 / 21]
{Plus[Complex[-0.7896317094254578, 0.19173078621885742], Times[Complex[0.42050290937849244, 0.009925196319850484], Subscript[2.718281828459045, 1]]] <- {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Plus[Complex[0.06153297742196945, 0.16461464559793018], Times[-2.0, Plus[1.0, Times[Complex[-0.42050290937849244, -0.009925196319850484], Subscript[2.718281828459045, 2]]]]] <- {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} |
| 8.4.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{n+1}{z} = n!e^{-z}e_{n}(z)} | GAMMA(n + 1, z) = factorial(n)*exp(- z)*exp(1)[n]*(z) |
Gamma[n + 1, z] == (n)!*Exp[- z]*Subscript[E, n]*(z) |
Failure | Failure | Error | Failed [21 / 21]
{Plus[Complex[0.7896317094254578, -0.19173078621885742], Times[Complex[-0.42050290937849244, -0.009925196319850484], Subscript[2.718281828459045, 1]]] <- {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Plus[Complex[1.9384670225780305, -0.16461464559793018], Times[Complex[-0.8410058187569849, -0.019850392639700967], Subscript[2.718281828459045, 2]]] <- {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} |
| 8.4.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincGammaP@{n+1}{z} = 1-e^{-z}e_{n}(z)} | (GAMMA(n + 1)-GAMMA(n + 1, z))/GAMMA(n + 1) = 1 - exp(- z)*exp(1)[n]*(z) |
GammaRegularized[n + 1, 0, z] == 1 - Exp[- z]*Subscript[E, n]*(z) |
Failure | Failure | Error | Failed [21 / 21]
{Plus[Complex[-0.7896317094254579, 0.1917307862188573], Times[Complex[0.42050290937849244, 0.009925196319850484], Subscript[2.718281828459045, 1]]] <- {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Plus[Complex[-0.9692335112890152, 0.08230732279896512], Times[Complex[0.42050290937849244, 0.009925196319850484], Subscript[2.718281828459045, 2]]] <- {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} |
| 8.4.E10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincGammaQ@{n+1}{z} = e^{-z}e_{n}(z)} | GAMMA(n + 1, z)/GAMMA(n + 1) = exp(- z)*exp(1)[n]*(z) |
GammaRegularized[n + 1, z] == Exp[- z]*Subscript[E, n]*(z) |
Failure | Failure | Error | Failed [21 / 21]
{Plus[Complex[0.7896317094254579, -0.1917307862188573], Times[Complex[-0.42050290937849244, -0.009925196319850484], Subscript[2.718281828459045, 1]]] <- {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Plus[Complex[0.9692335112890152, -0.08230732279896512], Times[Complex[-0.42050290937849244, -0.009925196319850484], Subscript[2.718281828459045, 2]]] <- {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} |
| 8.4.E12 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \scincgamma@{-n}{z} = z^{n}} | (z)^(-(- n))*(GAMMA(- n)-GAMMA(- n, z))/GAMMA(- n) = (z)^(n) |
Error |
Failure | Missing Macro Error | Error | - |
| 8.4.E13 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{1-n}{z} = z^{1-n}\genexpintE{n}@{z}} | GAMMA(1 - n, z) = (z)^(1 - n)* Ei(n, z) |
Gamma[1 - n, z] == (z)^(1 - n)* ExpIntegralE[n, z] |
Successful | Successful | - | Successful [Tested: 21] |
| 8.4.E14 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincGammaQ@{n+\tfrac{1}{2}}{z^{2}} = \erfc@{z}+\frac{e^{-z^{2}}}{\sqrt{\pi}}\sum_{k=1}^{n}\frac{z^{2k-1}}{\Pochhammersym{\tfrac{1}{2}}{k}}} | GAMMA(n +(1)/(2), (z)^(2))/GAMMA(n +(1)/(2)) = erfc(z)+(exp(- (z)^(2)))/(sqrt(Pi))*sum(((z)^(2*k - 1))/(pochhammer((1)/(2), k)), k = 1..n) |
GammaRegularized[n +Divide[1,2], (z)^(2)] == Erfc[z]+Divide[Exp[- (z)^(2)],Sqrt[Pi]]*Sum[Divide[(z)^(2*k - 1),Pochhammer[Divide[1,2], k]], {k, 1, n}, GenerateConditions->None] |
Failure | Failure | Failed [6 / 21] 6/21]: [[1.704415567+1.043704337*I <- {z = -1/2+1/2*I*3^(1/2), n = 1}.97393781e-1-.8458491548*I <- {z = -1/2+1/2*I*3^(1/2), n = 2} |
Failed [6 / 21]
{Complex[1.7044155650581054, 1.0437043365740406] <- {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}Complex[0.09739377924871273, -0.8458491528064774] <- {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.4.E15 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{-n}{z} = \frac{(-1)^{n}}{n!}\left(\expintE@{z}-e^{-z}\sum_{k=0}^{n-1}\frac{(-1)^{k}k!}{z^{k+1}}\right)} | GAMMA(- n, z) = ((- 1)^(n))/(factorial(n))*(Ei(z)- exp(- z)*sum(((- 1)^(k)* factorial(k))/((z)^(k + 1)), k = 0..n - 1)) |
Gamma[- n, z] == Divide[(- 1)^(n),(n)!]*(ExpIntegralE[1, z]- Exp[- z]*Sum[Divide[(- 1)^(k)* (k)!,(z)^(k + 1)], {k, 0, n - 1}, GenerateConditions->None]) |
Failure | Failure | Manual Skip! | Successful [Tested: 21] |
| 8.5.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incgamma@{a}{z} = a^{-1}z^{a}e^{-z}\KummerconfhyperM@{1}{1+a}{z}} | GAMMA(a)-GAMMA(a, z) = (a)^(- 1)* (z)^(a)* exp(- z)*KummerM(1, 1 + a, z) |
Gamma[a, 0, z] == (a)^(- 1)* (z)^(a)* Exp[- z]*Hypergeometric1F1[1, 1 + a, z] |
Successful | Successful | - | Successful [Tested: 7] |
| 8.5.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle a^{-1}z^{a}e^{-z}\KummerconfhyperM@{1}{1+a}{z} = a^{-1}z^{a}\KummerconfhyperM@{a}{1+a}{-z}} | (a)^(- 1)* (z)^(a)* exp(- z)*KummerM(1, 1 + a, z) = (a)^(- 1)* (z)^(a)* KummerM(a, 1 + a, - z) |
(a)^(- 1)* (z)^(a)* Exp[- z]*Hypergeometric1F1[1, 1 + a, z] == (a)^(- 1)* (z)^(a)* Hypergeometric1F1[a, 1 + a, - z] |
Successful | Successful | - | Successful [Tested: 7] |
| 8.5.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \scincgamma@{a}{z} = e^{-z}\OlverconfhyperM@{1}{1+a}{z}} | (z)^(-(a))*(GAMMA(a)-GAMMA(a, z))/GAMMA(a) = exp(- z)*KummerM(1, 1 + a, z)/GAMMA(1 + a) |
Error |
Successful | Missing Macro Error | - | - |
| 8.5.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle e^{-z}\OlverconfhyperM@{1}{1+a}{z} = \OlverconfhyperM@{a}{1+a}{-z}} | exp(- z)*KummerM(1, 1 + a, z)/GAMMA(1 + a) = KummerM(a, 1 + a, - z)/GAMMA(1 + a) |
Exp[- z]*Hypergeometric1F1Regularized[1, 1 + a, z] == Hypergeometric1F1Regularized[a, 1 + a, - z] |
Successful | Successful | - | Failed [7 / 42]
{Indeterminate <- {Rule[a, -2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Indeterminate <- {Rule[a, -2], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.5.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{a}{z} = e^{-z}\KummerconfhyperU@{1-a}{1-a}{z}} | GAMMA(a, z) = exp(- z)*KummerU(1 - a, 1 - a, z) |
Gamma[a, z] == Exp[- z]*HypergeometricU[1 - a, 1 - a, z] |
Successful | Successful | - | Successful [Tested: 42] |
| 8.5.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle e^{-z}\KummerconfhyperU@{1-a}{1-a}{z} = z^{a}e^{-z}\KummerconfhyperU@{1}{1+a}{z}} | exp(- z)*KummerU(1 - a, 1 - a, z) = (z)^(a)* exp(- z)*KummerU(1, 1 + a, z) |
Exp[- z]*HypergeometricU[1 - a, 1 - a, z] == (z)^(a)* Exp[- z]*HypergeometricU[1, 1 + a, z] |
Successful | Successful | - | Successful [Tested: 42] |
| 8.5.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incgamma@{a}{z} = a^{-1}z^{\frac{1}{2}a-\frac{1}{2}}e^{-\frac{1}{2}z}\WhittakerconfhyperM{\frac{1}{2}a-\frac{1}{2}}{\frac{1}{2}a}@{z}} | GAMMA(a)-GAMMA(a, z) = (a)^(- 1)* (z)^((1)/(2)*a -(1)/(2))* exp(-(1)/(2)*z)*WhittakerM((1)/(2)*a -(1)/(2), (1)/(2)*a, z) |
Gamma[a, 0, z] == (a)^(- 1)* (z)^(Divide[1,2]*a -Divide[1,2])* Exp[-Divide[1,2]*z]*WhittakerM[Divide[1,2]*a -Divide[1,2], Divide[1,2]*a, z] |
Successful | Successful | - | Successful [Tested: 21] |
| 8.5.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{a}{z} = e^{-\frac{1}{2}z}z^{\frac{1}{2}a-\frac{1}{2}}\WhittakerconfhyperW{\frac{1}{2}a-\frac{1}{2}}{\frac{1}{2}a}@{z}} | GAMMA(a, z) = exp(-(1)/(2)*z)*(z)^((1)/(2)*a -(1)/(2))* WhittakerW((1)/(2)*a -(1)/(2), (1)/(2)*a, z) |
Gamma[a, z] == Exp[-Divide[1,2]*z]*(z)^(Divide[1,2]*a -Divide[1,2])* WhittakerW[Divide[1,2]*a -Divide[1,2], Divide[1,2]*a, z] |
Successful | Successful | - | Successful [Tested: 42] |
| 8.6.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incgamma@{a}{z} = \frac{z^{a}}{\sin@{\pi a}}\int_{0}^{\pi}e^{z\cos@@{t}}\cos@{at+z\sin@@{t}}\diff{t}} | GAMMA(a)-GAMMA(a, z) = ((z)^(a))/(sin(Pi*a))*int(exp(z*cos(t))*cos(a*t + z*sin(t)), t = 0..Pi) |
Gamma[a, 0, z] == Divide[(z)^(a),Sin[Pi*a]]*Integrate[Exp[z*Cos[t]]*Cos[a*t + z*Sin[t]], {t, 0, Pi}, GenerateConditions->None] |
Failure | Aborted | Failed [14 / 21] 14/21]: [[1.922649672+.1964472815*I <- {a = .5, z = 1/2*3^(1/2)+1/2*I, a = 3/2}2.511118576+1.941926371*I <- {a = .5, z = -1/2+1/2*I*3^(1/2), a = 3/2} |
Skipped - Because timed out |
| 8.6.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incgamma@{a}{z} = z^{\frac{1}{2}a}\int_{0}^{\infty}e^{-t}t^{\frac{1}{2}a-1}\BesselJ{a}@{2\sqrt{zt}}\diff{t}} | GAMMA(a)-GAMMA(a, z) = (z)^((1)/(2)*a)* int(exp(- t)*(t)^((1)/(2)*a - 1)* BesselJ(a, 2*sqrt(z*t)), t = 0..infinity) |
Gamma[a, 0, z] == (z)^(Divide[1,2]*a)* Integrate[Exp[- t]*(t)^(Divide[1,2]*a - 1)* BesselJ[a, 2*Sqrt[z*t]], {t, 0, Infinity}, GenerateConditions->None] |
Failure | Aborted | Successful [Tested: 21] | Skipped - Because timed out |
| 8.6.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incgamma@{a}{z} = z^{a}\int_{0}^{\infty}\exp@{-at-ze^{-t}}\diff{t}} | GAMMA(a)-GAMMA(a, z) = (z)^(a)* int(exp(- a*t - z*exp(- t)), t = 0..infinity) |
Gamma[a, 0, z] == (z)^(a)* Integrate[Exp[- a*t - z*Exp[- t]], {t, 0, Infinity}, GenerateConditions->None] |
Failure | Successful | Successful [Tested: 21] | Successful [Tested: 21] |
| 8.6.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{a}{z} = \frac{z^{a}e^{-z}}{\EulerGamma@{1-a}}\int_{0}^{\infty}\frac{t^{-a}e^{-t}}{z+t}\diff{t}} | GAMMA(a, z) = ((z)^(a)* exp(- z))/(GAMMA(1 - a))*int(((t)^(- a)* exp(- t))/(z + t), t = 0..infinity) |
Gamma[a, z] == Divide[(z)^(a)* Exp[- z],Gamma[1 - a]]*Integrate[Divide[(t)^(- a)* Exp[- t],z + t], {t, 0, Infinity}, GenerateConditions->None] |
Failure | Successful | Failed [12 / 28] 12/28]: [[Float(infinity)+Float(infinity)*I <- {a = -1.5, z = 1/2*3^(1/2)+1/2*I}Float(infinity)+Float(infinity)*I <- {a = -1.5, z = -1/2+1/2*I*3^(1/2)} |
Successful [Tested: 28] |
| 8.6.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{a}{z} = z^{a}e^{-z}\int_{0}^{\infty}\frac{e^{-zt}}{(1+t)^{1-a}}\diff{t}} | GAMMA(a, z) = (z)^(a)* exp(- z)*int((exp(- z*t))/((1 + t)^(1 - a)), t = 0..infinity) |
Gamma[a, z] == (z)^(a)* Exp[- z]*Integrate[Divide[Exp[- z*t],(1 + t)^(1 - a)], {t, 0, Infinity}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 30] |
| 8.6.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{a}{z} = \frac{2z^{\frac{1}{2}a}e^{-z}}{\EulerGamma@{1-a}}\int_{0}^{\infty}e^{-t}t^{-\frac{1}{2}a}\modBesselK{a}@{2\sqrt{zt}}\diff{t}} | GAMMA(a, z) = (2*(z)^((1)/(2)*a)* exp(- z))/(GAMMA(1 - a))*int(exp(- t)*(t)^(-(1)/(2)*a)* BesselK(a, 2*sqrt(z*t)), t = 0..infinity) |
Gamma[a, z] == Divide[2*(z)^(Divide[1,2]*a)* Exp[- z],Gamma[1 - a]]*Integrate[Exp[- t]*(t)^(-Divide[1,2]*a)* BesselK[a, 2*Sqrt[z*t]], {t, 0, Infinity}, GenerateConditions->None] |
Successful | Aborted | - | Successful [Tested: 28] |
| 8.6.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{a}{z} = z^{a}\int_{0}^{\infty}\exp@{at-ze^{t}}\diff{t}} | GAMMA(a, z) = (z)^(a)* int(exp(a*t - z*exp(t)), t = 0..infinity) |
Gamma[a, z] == (z)^(a)* Integrate[Exp[a*t - z*Exp[t]], {t, 0, Infinity}, GenerateConditions->None] |
Failure | Successful | Successful [Tested: 30] | Successful [Tested: 30] |
| 8.6.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incgamma@{a}{z} = \frac{-\iunit z^{a}}{2\sin@{\pi a}}\int_{-1}^{(0+)}t^{a-1}e^{zt}\diff{t}} | GAMMA(a)-GAMMA(a, z) = (- I*(z)^(a))/(2*sin(Pi*a))*int((t)^(a - 1)* exp(z*t), t = - 1..(0 +)) |
Gamma[a, 0, z] == Divide[- I*(z)^(a),2*Sin[Pi*a]]*Integrate[(t)^(a - 1)* Exp[z*t], {t, - 1, (0 +)}, GenerateConditions->None] |
Error | Failure | - | Error |
| 8.6.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{-a}{ze^{+\pi i}} = \frac{e^{z}e^{-\pi\iunit a}}{\EulerGamma@{1+a}}\int_{0}^{\infty}\frac{t^{a}e^{-zt}}{t-1}\diff{t}} | GAMMA(- a, z*exp(+ Pi*I)) = (exp(z)*exp(- Pi*I*a))/(GAMMA(1 + a))*int(((t)^(a)* exp(- z*t))/(t - 1), t = 0..infinity) |
Gamma[- a, z*Exp[+ Pi*I]] == Divide[Exp[z]*Exp[- Pi*I*a],Gamma[1 + a]]*Integrate[Divide[(t)^(a)* Exp[- z*t],t - 1], {t, 0, Infinity}, GenerateConditions->None] |
Failure | Aborted | Failed [20 / 20] 20/20]: [[Float(infinity)+Float(infinity)*I <- {a = 1.5, z = 1/2*3^(1/2)+1/2*I}Float(infinity)+Float(infinity)*I <- {a = 1.5, z = 1/2-1/2*I*3^(1/2)} |
Skipped - Because timed out |
| 8.6.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{-a}{ze^{-\pi i}} = \frac{e^{z}e^{+\pi\iunit a}}{\EulerGamma@{1+a}}\int_{0}^{\infty}\frac{t^{a}e^{-zt}}{t-1}\diff{t}} | GAMMA(- a, z*exp(- Pi*I)) = (exp(z)*exp(+ Pi*I*a))/(GAMMA(1 + a))*int(((t)^(a)* exp(- z*t))/(t - 1), t = 0..infinity) |
Gamma[- a, z*Exp[- Pi*I]] == Divide[Exp[z]*Exp[+ Pi*I*a],Gamma[1 + a]]*Integrate[Divide[(t)^(a)* Exp[- z*t],t - 1], {t, 0, Infinity}, GenerateConditions->None] |
Failure | Aborted | Failed [20 / 20] 20/20]: [[Float(infinity)+Float(infinity)*I <- {a = 1.5, z = 1/2*3^(1/2)+1/2*I}Float(infinity)+Float(infinity)*I <- {a = 1.5, z = 1/2-1/2*I*3^(1/2)} |
Skipped - Because timed out |
| 8.6.E10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incgamma@{a}{z} = \frac{1}{2\pi i}\int_{c-i\infty}^{c+i\infty}\frac{\EulerGamma@{s}}{a-s}z^{a-s}\diff{s}} | GAMMA(a)-GAMMA(a, z) = (1)/(2*Pi*I)*int((GAMMA(s))/(a - s)*(z)^(a - s), s = c - I*infinity..c + I*infinity) |
Gamma[a, 0, z] == Divide[1,2*Pi*I]*Integrate[Divide[Gamma[s],a - s]*(z)^(a - s), {s, c - I*Infinity, c + I*Infinity}, GenerateConditions->None] |
Failure | Aborted | Failed [90 / 90] 90/90]: [[.3508882474+.1990162824*I <- {a = 1.5, c = -1.5, z = 1/2*3^(1/2)+1/2*I, a = 1}.2281607298-.4280186861*I <- {a = 1.5, c = -1.5, z = 1/2-1/2*I*3^(1/2), a = 1} |
Skipped - Because timed out |
| 8.6.E11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{a}{z} = \frac{1}{2\pi i}\int_{c-i\infty}^{c+i\infty}\EulerGamma@{s+a}\frac{z^{-s}}{s}\diff{s}} | GAMMA(a, z) = (1)/(2*Pi*I)*int(GAMMA(s + a)*((z)^(- s))/(s), s = c - I*infinity..c + I*infinity) |
Gamma[a, z] == Divide[1,2*Pi*I]*Integrate[Gamma[s + a]*Divide[(z)^(- s),s], {s, c - I*Infinity, c + I*Infinity}, GenerateConditions->None] |
Failure | Aborted | Failed [180 / 180] 180/180]: [[.1072320848e-1-.1480251451*I <- {a = -1.5, c = -1.5, z = 1/2*3^(1/2)+1/2*I}-.2224046553+.6479031822e-1*I <- {a = -1.5, c = -1.5, z = 1/2-1/2*I*3^(1/2)} |
Skipped - Because timed out |
| 8.6.E12 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{a}{z} = -\frac{z^{a-1}e^{-z}}{\EulerGamma@{1-a}}\*\frac{1}{2\pi i}\int_{c-i\infty}^{c+i\infty}\EulerGamma@{s+1-a}\frac{\pi z^{-s}}{\sin@{\pi s}}\diff{s}} | GAMMA(a, z) = -((z)^(a - 1)* exp(- z))/(GAMMA(1 - a))*(1)/(2*Pi*I)*int(GAMMA(s + 1 - a)*(Pi*(z)^(- s))/(sin(Pi*s)), s = c - I*infinity..c + I*infinity) |
Gamma[a, z] == -Divide[(z)^(a - 1)* Exp[- z],Gamma[1 - a]]*Divide[1,2*Pi*I]*Integrate[Gamma[s + 1 - a]*Divide[Pi*(z)^(- s),Sin[Pi*s]], {s, c - I*Infinity, c + I*Infinity}, GenerateConditions->None] |
Failure | Aborted | Failed [168 / 168] 168/168]: [[.1072320848e-1-.1480251451*I <- {a = -1.5, c = -1.5, z = 1/2*3^(1/2)+1/2*I, a = -1}.7867555591e-1+.8824866094*I <- {a = -1.5, c = -1.5, z = -1/2+1/2*I*3^(1/2), a = -1} |
Skipped - Because timed out |
| 8.7.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \scincgamma@{a}{z} = e^{-z}\sum_{k=0}^{\infty}\frac{z^{k}}{\EulerGamma@{a+k+1}}} | (z)^(-(a))*(GAMMA(a)-GAMMA(a, z))/GAMMA(a) = exp(- z)*sum(((z)^(k))/(GAMMA(a + k + 1)), k = 0..infinity) |
Error |
Successful | Missing Macro Error | - | - |
| 8.7.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle e^{-z}\sum_{k=0}^{\infty}\frac{z^{k}}{\EulerGamma@{a+k+1}} = \frac{1}{\EulerGamma@{a}}\sum_{k=0}^{\infty}\frac{(-z)^{k}}{k!(a+k)}} | exp(- z)*sum(((z)^(k))/(GAMMA(a + k + 1)), k = 0..infinity) = (1)/(GAMMA(a))*sum(((- z)^(k))/(factorial(k)*(a + k)), k = 0..infinity) |
Exp[- z]*Sum[Divide[(z)^(k),Gamma[a + k + 1]], {k, 0, Infinity}, GenerateConditions->None] == Divide[1,Gamma[a]]*Sum[Divide[(- z)^(k),(k)!*(a + k)], {k, 0, Infinity}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 21] |
| 8.7.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incgamma@{a}{x+y}-\incgamma@{a}{x} = \incGamma@{a}{x}-\incGamma@{a}{x+y}} | GAMMA(a)-GAMMA(a, x + y)- GAMMA(a)-GAMMA(a, x) = GAMMA(a, x)- GAMMA(a, x + y) |
Gamma[a, 0, x + y]- Gamma[a, 0, x] == Gamma[a, x]- Gamma[a, x + y] |
Failure | Successful | Failed [18 / 18] 18/18]: [[-.6941375518 <- {a = 1.5, x = 1.5, y = -.5}-.6941375518 <- {a = 1.5, x = 1.5, y = .5} |
Successful [Tested: 18] |
| 8.7.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{a}{x}-\incGamma@{a}{x+y} = e^{-x}x^{a-1}\sum_{n=0}^{\infty}\frac{\Pochhammersym{1-a}{n}}{(-x)^{n}}(1-e^{-y}e_{n}(y))} | GAMMA(a, x)- GAMMA(a, x + y) = exp(- x)*(x)^(a - 1)* sum((pochhammer(1 - a, n))/((- x)^(n))*(1 - exp(- y)*exp(1)[n]*(y)), n = 0..infinity) |
Gamma[a, x]- Gamma[a, x + y] == Exp[- x]*(x)^(a - 1)* Sum[Divide[Pochhammer[1 - a, n],(- x)^(n)]*(1 - Exp[- y]*Subscript[E, n]*(y)), {n, 0, Infinity}, GenerateConditions->None] |
Error | Failure | Skip - symbolical successful subtest | Skipped - Because timed out |
| 8.7.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{a}{z} = \EulerGamma@{a}-\sum_{k=0}^{\infty}\frac{(-1)^{k}z^{a+k}}{k!(a+k)}} | GAMMA(a, z) = GAMMA(a)- sum(((- 1)^(k)* (z)^(a + k))/(factorial(k)*(a + k)), k = 0..infinity) |
Gamma[a, z] == Gamma[a]- Sum[Divide[(- 1)^(k)* (z)^(a + k),(k)!*(a + k)], {k, 0, Infinity}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 7] |
| 8.7.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \EulerGamma@{a}-\sum_{k=0}^{\infty}\frac{(-1)^{k}z^{a+k}}{k!(a+k)} = \EulerGamma@{a}\left(1-z^{a}e^{-z}\sum_{k=0}^{\infty}\frac{z^{k}}{\EulerGamma@{a+k+1}}\right)} | GAMMA(a)- sum(((- 1)^(k)* (z)^(a + k))/(factorial(k)*(a + k)), k = 0..infinity) = GAMMA(a)*(1 - (z)^(a)* exp(- z)*sum(((z)^(k))/(GAMMA(a + k + 1)), k = 0..infinity)) |
Gamma[a]- Sum[Divide[(- 1)^(k)* (z)^(a + k),(k)!*(a + k)], {k, 0, Infinity}, GenerateConditions->None] == Gamma[a]*(1 - (z)^(a)* Exp[- z]*Sum[Divide[(z)^(k),Gamma[a + k + 1]], {k, 0, Infinity}, GenerateConditions->None]) |
Successful | Successful | - | Successful [Tested: 7] |
| 8.7.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{a}{x} = x^{a}e^{-x}\sum_{n=0}^{\infty}\frac{\LaguerrepolyL[a]{n}@{x}}{n+1}} | Error |
Gamma[a, x] == (x)^(a)* Exp[- x]*Sum[Divide[LaguerreL[n, a, x],n + 1], {n, 0, Infinity}, GenerateConditions->None] |
Missing Macro Error | Failure | - | Failed [18 / 18]
{Plus[0.03483445061608508, Times[-0.1214566752420326, NSum[Times[Power[Plus[1, n], -1], LaguerreL[n, -1.5, 1.5]] <- {n, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[a, -1.5], Rule[x, 1.5]}Plus[0.7498909754592095, Times[-1.7155277699214138, NSum[Times[Power[Plus[1, n], -1], LaguerreL[n, -1.5, 0.5]] <- {n, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[a, -1.5], Rule[x, 0.5]} |
| 8.8.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incgamma@{a+1}{z} = a\incgamma@{a}{z}-z^{a}e^{-z}} | GAMMA(a + 1)-GAMMA(a + 1, z) = a*GAMMA(a)-GAMMA(a, z)- (z)^(a)* exp(- z) |
Gamma[a + 1, 0, z] == a*Gamma[a, 0, z]- (z)^(a)* Exp[- z] |
Failure | Successful | Failed [21 / 21] 21/21]: [[-.2676693395+.995081412e-1*I <- {a = 1.5, z = 1/2*3^(1/2)+1/2*I}-.820738205+.231239721*I <- {a = 1.5, z = -1/2+1/2*I*3^(1/2)} |
Successful [Tested: 21] |
| 8.8.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{a+1}{z} = a\incGamma@{a}{z}+z^{a}e^{-z}} | GAMMA(a + 1, z) = a*GAMMA(a, z)+ (z)^(a)* exp(- z) |
Gamma[a + 1, z] == a*Gamma[a, z]+ (z)^(a)* Exp[- z] |
Failure | Successful | Successful [Tested: 42] | Successful [Tested: 42] |
| 8.8.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle w(a+2,z)-(a+1+z)w(a+1,z)+azw(a,z) = 0} | w*(a + 2 , z)-(a + 1 + z)* w*(a + 1 , z)+ a*z*w*(a , z) = 0 |
w*(a + 2 , z)-(a + 1 + z)* w*(a + 1 , z)+ a*z*w*(a , z) == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.8.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle z\scincgamma@{a+1}{z} = \scincgamma@{a}{z}-\frac{e^{-z}}{\EulerGamma@{a+1}}} | z*(z)^(-(a + 1))*(GAMMA(a + 1)-GAMMA(a + 1, z))/GAMMA(a + 1) = (z)^(-(a))*(GAMMA(a)-GAMMA(a, z))/GAMMA(a)-(exp(- z))/(GAMMA(a + 1)) |
Error |
Failure | Missing Macro Error | Successful [Tested: 21] | - |
| 8.8.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincGammaP@{a+1}{z} = \normincGammaP@{a}{z}-\frac{z^{a}e^{-z}}{\EulerGamma@{a+1}}} | (GAMMA(a + 1)-GAMMA(a + 1, z))/GAMMA(a + 1) = (GAMMA(a)-GAMMA(a, z))/GAMMA(a)-((z)^(a)* exp(- z))/(GAMMA(a + 1)) |
GammaRegularized[a + 1, 0, z] == GammaRegularized[a, 0, z]-Divide[(z)^(a)* Exp[- z],Gamma[a + 1]] |
Failure | Successful | Successful [Tested: 28] | Successful [Tested: 28] |
| 8.8.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincGammaQ@{a+1}{z} = \normincGammaQ@{a}{z}+\frac{z^{a}e^{-z}}{\EulerGamma@{a+1}}} | GAMMA(a + 1, z)/GAMMA(a + 1) = GAMMA(a, z)/GAMMA(a)+((z)^(a)* exp(- z))/(GAMMA(a + 1)) |
GammaRegularized[a + 1, z] == GammaRegularized[a, z]+Divide[(z)^(a)* Exp[- z],Gamma[a + 1]] |
Failure | Successful | Successful [Tested: 28] | Successful [Tested: 21] |
| 8.8.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incgamma@{a+n}{z} = \Pochhammersym{a}{n}\incgamma@{a}{z}-z^{a}e^{-z}\sum_{k=0}^{n-1}\frac{\EulerGamma@{a+n}}{\EulerGamma@{a+k+1}}z^{k}} | GAMMA(a + n)-GAMMA(a + n, z) = pochhammer(a, n)*GAMMA(a)-GAMMA(a, z)- (z)^(a)* exp(- z)*sum((GAMMA(a + n))/(GAMMA(a + k + 1))*(z)^(k), k = 0..n - 1) |
Gamma[a + n, 0, z] == Pochhammer[a, n]*Gamma[a, 0, z]- (z)^(a)* Exp[- z]*Sum[Divide[Gamma[a + n],Gamma[a + k + 1]]*(z)^(k), {k, 0, n - 1}, GenerateConditions->None] |
Failure | Successful | Failed [63 / 63] 63/63]: [[-.2676693391+.995081412e-1*I <- {a = 1.5, z = 1/2*3^(1/2)+1/2*I, n = 1}-1.472181365+.5472947763*I <- {a = 1.5, z = 1/2*3^(1/2)+1/2*I, n = 2} |
Successful [Tested: 63] |
| 8.8.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incgamma@{a}{z} = \frac{\EulerGamma@{a}}{\EulerGamma@{a-n}}\incgamma@{a-n}{z}-z^{a-1}e^{-z}\sum_{k=0}^{n-1}\frac{\EulerGamma@{a}}{\EulerGamma@{a-k}}z^{-k}} | GAMMA(a)-GAMMA(a, z) = (GAMMA(a))/(GAMMA(a - n))*GAMMA(a - n)-GAMMA(a - n, z)- (z)^(a - 1)* exp(- z)*sum((GAMMA(a))/(GAMMA(a - k))*(z)^(- k), k = 0..n - 1) |
Gamma[a, 0, z] == Divide[Gamma[a],Gamma[a - n]]*Gamma[a - n, 0, z]- (z)^(a - 1)* Exp[- z]*Sum[Divide[Gamma[a],Gamma[a - k]]*(z)^(- k), {k, 0, n - 1}, GenerateConditions->None] |
Failure | Successful | Failed [7 / 14] 7/14]: [[.1265952281-.9976912441e-1*I <- {a = 1.5, z = 1/2*3^(1/2)+1/2*I, n = 1}.19739482e-1-.7595504274*I <- {a = 1.5, z = -1/2+1/2*I*3^(1/2), n = 1} |
Successful [Tested: 14] |
| 8.8.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{a+n}{z} = \Pochhammersym{a}{n}\incGamma@{a}{z}+z^{a}e^{-z}\sum_{k=0}^{n-1}\frac{\EulerGamma@{a+n}}{\EulerGamma@{a+k+1}}z^{k}} | GAMMA(a + n, z) = pochhammer(a, n)*GAMMA(a, z)+ (z)^(a)* exp(- z)*sum((GAMMA(a + n))/(GAMMA(a + k + 1))*(z)^(k), k = 0..n - 1) |
Gamma[a + n, z] == Pochhammer[a, n]*Gamma[a, z]+ (z)^(a)* Exp[- z]*Sum[Divide[Gamma[a + n],Gamma[a + k + 1]]*(z)^(k), {k, 0, n - 1}, GenerateConditions->None] |
Successful | Successful | - | Failed [7 / 105]
{Indeterminate <- {Rule[a, -2], Rule[n, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Indeterminate <- {Rule[a, -2], Rule[n, 3], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.8.E10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{a}{z} = \frac{\EulerGamma@{a}}{\EulerGamma@{a-n}}\incGamma@{a-n}{z}+z^{a-1}e^{-z}\sum_{k=0}^{n-1}\frac{\EulerGamma@{a}}{\EulerGamma@{a-k}}z^{-k}} | GAMMA(a, z) = (GAMMA(a))/(GAMMA(a - n))*GAMMA(a - n, z)+ (z)^(a - 1)* exp(- z)*sum((GAMMA(a))/(GAMMA(a - k))*(z)^(- k), k = 0..n - 1) |
Gamma[a, z] == Divide[Gamma[a],Gamma[a - n]]*Gamma[a - n, z]+ (z)^(a - 1)* Exp[- z]*Sum[Divide[Gamma[a],Gamma[a - k]]*(z)^(- k), {k, 0, n - 1}, GenerateConditions->None] |
Failure | Successful | Successful [Tested: 14] | Successful [Tested: 14] |
| 8.8.E11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincGammaP@{a+n}{z} = \normincGammaP@{a}{z}-z^{a}e^{-z}\sum_{k=0}^{n-1}\frac{z^{k}}{\EulerGamma@{a+k+1}}} | (GAMMA(a + n)-GAMMA(a + n, z))/GAMMA(a + n) = (GAMMA(a)-GAMMA(a, z))/GAMMA(a)- (z)^(a)* exp(- z)*sum(((z)^(k))/(GAMMA(a + k + 1)), k = 0..n - 1) |
GammaRegularized[a + n, 0, z] == GammaRegularized[a, 0, z]- (z)^(a)* Exp[- z]*Sum[Divide[(z)^(k),Gamma[a + k + 1]], {k, 0, n - 1}, GenerateConditions->None] |
Successful | Successful | - | Failed [21 / 126]
{Indeterminate <- {Rule[a, -2], Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Indeterminate <- {Rule[a, -2], Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} |
| 8.8.E12 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincGammaQ@{a+n}{z} = \normincGammaQ@{a}{z}+z^{a}e^{-z}\sum_{k=0}^{n-1}\frac{z^{k}}{\EulerGamma@{a+k+1}}} | GAMMA(a + n, z)/GAMMA(a + n) = GAMMA(a, z)/GAMMA(a)+ (z)^(a)* exp(- z)*sum(((z)^(k))/(GAMMA(a + k + 1)), k = 0..n - 1) |
GammaRegularized[a + n, z] == GammaRegularized[a, z]+ (z)^(a)* Exp[- z]*Sum[Divide[(z)^(k),Gamma[a + k + 1]], {k, 0, n - 1}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 63] |
| 8.8.E13 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv{}{z}\incgamma@{a}{z} = -\deriv{}{z}\incGamma@{a}{z}} | diff(GAMMA(a)-GAMMA(a, z), z) = - diff(GAMMA(a, z), z) |
D[Gamma[a, 0, z], z] == - D[Gamma[a, z], z] |
Successful | Successful | - | Successful [Tested: 21] |
| 8.8.E13 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -\deriv{}{z}\incGamma@{a}{z} = z^{a-1}e^{-z}} | - diff(GAMMA(a, z), z) = (z)^(a - 1)* exp(- z) |
- D[Gamma[a, z], z] == (z)^(a - 1)* Exp[- z] |
Successful | Successful | - | Successful [Tested: 21] |
| 8.8.E15 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv[n]{}{z}(z^{-a}\incgamma@{a}{z}) = (-1)^{n}z^{-a-n}\incgamma@{a+n}{z}} | diff((z)^(- a)* GAMMA(a)-GAMMA(a, z), [z$(n)]) = (- 1)^(n)* (z)^(- a - n)* GAMMA(a + n)-GAMMA(a + n, z) |
D[(z)^(- a)* Gamma[a, 0, z], {z, n}] == (- 1)^(n)* (z)^(- a - n)* Gamma[a + n, 0, z] |
Failure | Failure | Failed [63 / 63] 63/63]: [[1.615357258-.2793504168*I <- {a = 1.5, z = 1/2*3^(1/2)+1/2*I, n = 1}3.050292670-.1918135000*I <- {a = 1.5, z = 1/2*3^(1/2)+1/2*I, n = 2} |
Failed [63 / 63]
{Plus[Complex[0.20573036539123668, -0.07193062032175179], Inactive[Sum][Times[Power[Complex[0.8660254037844387, 0.49999999999999994], Plus[-1.5, Times[-1.0, K[1.0]]]], Binomial[1.0, K[1.0]], D[Complex[0.3508882473022298, 0.19901628242832037] <- {Complex[0.8660254037844387, 0.49999999999999994], Plus[1.0, Times[-1.0, K[1.0]]]}], FactorialPower[-1.5, K[1.0]]], {K[1.0], 0.0, 1.0}]], {Rule[a, 1.5], Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Plus[Complex[-0.13665910465469025, 0.05369371428345661], Inactive[Sum][Times[Power[Complex[0.8660254037844387, 0.49999999999999994], Plus[-1.5, Times[-1.0, K[1.0]]]], Binomial[2.0, K[1.0]], D[Complex[0.3508882473022298, 0.19901628242832037] <- {Complex[0.8660254037844387, 0.49999999999999994], Plus[2.0, Times[-1.0, K[1.0]]]}], FactorialPower[-1.5, K[1.0]]], {K[1.0], 0.0, 2.0}]], {Rule[a, 1.5], Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} |
| 8.8.E16 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv[n]{}{z}(z^{-a}\incGamma@{a}{z}) = (-1)^{n}z^{-a-n}\incGamma@{a+n}{z}} | diff((z)^(- a)* GAMMA(a, z), [z$(n)]) = (- 1)^(n)* (z)^(- a - n)* GAMMA(a + n, z) |
D[(z)^(- a)* Gamma[a, z], {z, n}] == (- 1)^(n)* (z)^(- a - n)* Gamma[a + n, z] |
Failure | Failure | Error | Failed [111 / 126] {Plus[Complex[0.14584260074790834, -0.14889469354125948], Times[Complex[0.9659258262890683, 0.25881904510252074], DifferenceRoot[Function[{, } <- {Equal[Plus[Times[-1, , Plus[-1, Times[-1, ], 1], Plus[Times[-1, ], 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]], []], Times[-1, Plus[-1, Times[-1, ], 1], Plus[1, Times[3, ], Times[3, Power[, 2]], Power[, 3], Times[-2, -1.5], Times[-4, , -1.5], Times[-2, Power[, 2], -1.5], Power[-1.5, 2], Times[, Power[-1.5, 2]], Times[-1, 1], Times[-2, , 1], Times[-1, Power[, 2], 1], Times[-1.5, 1], Times[, -1.5, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]], Times[2, , Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Times[2, Power[, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Times[-1, -1.5, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Times[-1, , -1.5, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Times[-1, 1, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Times[-2, , 1, Power[E, Times[Complex
|
| 8.8.E17 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv[n]{}{z}(e^{z}\incgamma@{a}{z}) = (-1)^{n}\Pochhammersym{1-a}{n}e^{z}\incgamma@{a-n}{z}} | diff(exp(z)*GAMMA(a)-GAMMA(a, z), [z$(n)]) = (- 1)^(n)* pochhammer(1 - a, n)*exp(z)*GAMMA(a - n)-GAMMA(a - n, z) |
D[Exp[z]*Gamma[a, 0, z], {z, n}] == (- 1)^(n)* Pochhammer[1 - a, n]*Exp[z]*Gamma[a - n, 0, z] |
Failure | Failure | Failed [14 / 14] 14/14]: [[.6619339064-.2987854069*I <- {a = 1.5, z = 1/2*3^(1/2)+1/2*I, n = 1}1.661215891-1.222029870*I <- {a = 1.5, z = -1/2+1/2*I*3^(1/2), n = 1} |
Failed [14 / 14]
{Plus[Complex[-1.471179750131411, -1.0739918488339026], Inactive[Sum][Times[Complex[2.0864022336812553, 1.1398067350757155], Binomial[1.0, K[1.0]], D[Complex[0.3508882473022298, 0.19901628242832037] <- {Complex[0.8660254037844387, 0.49999999999999994], Plus[1.0, Times[-1.0, K[1.0]]]}]], {K[1.0], 0.0, 1.0}]], {Rule[a, 1.5], Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Plus[Complex[0.01045242262446705, -0.698806597134537], Inactive[Sum][Times[Complex[0.3929465558343552, 0.4620307840711054], Binomial[1.0, K[1.0]], D[Complex[-0.7552494829576352, 0.46247944264186114] <- {Complex[-0.4999999999999998, 0.8660254037844387], Plus[1.0, Times[-1.0, K[1.0]]]}]], {K[1.0], 0.0, 1.0}]], {Rule[a, 1.5], Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.8.E18 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv[n]{}{z}(z^{a}e^{z}\scincgamma@{a}{z}) = z^{a-n}e^{z}\scincgamma@{a-n}{z}} | diff((z)^(a)* exp(z)*(z)^(-(a))*(GAMMA(a)-GAMMA(a, z))/GAMMA(a), [z$(n)]) = (z)^(a - n)* exp(z)*(z)^(-(a - n))*(GAMMA(a - n)-GAMMA(a - n, z))/GAMMA(a - n) |
Error |
Failure | Missing Macro Error | Successful [Tested: 14] | - |
| 8.8.E19 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv[n]{}{z}(e^{z}\incGamma@{a}{z}) = (-1)^{n}\Pochhammersym{1-a}{n}e^{z}\incGamma@{a-n}{z}} | diff(exp(z)*GAMMA(a, z), [z$(n)]) = (- 1)^(n)* pochhammer(1 - a, n)*exp(z)*GAMMA(a - n, z) |
D[Exp[z]*Gamma[a, z], {z, n}] == (- 1)^(n)* Pochhammer[1 - a, n]*Exp[z]*Gamma[a - n, z] |
Failure | Failure | Error | Failed [96 / 126] {Plus[Complex[0.06772606154573046, -0.6693082179083164], Times[Complex[2.0864022336812553, 1.1398067350757155], DifferenceRoot[Function[{, } <- {Equal[Plus[Times[-1, , Plus[-1, Times[-1, ], 1], Plus[Times[-1, ], 1], []], Times[Plus[-1, Times[-1, ], 1], Plus[-1, Times[-2, ], Times[-2, Power[, 2]], -1.5, Times[, -1.5], Times[, 1], Times[-1, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Times[-1, , Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]], [Plus[1, ]]], Times[-1, Plus[1, ], Plus[1, Times[2, ], Power[, 2], Times[-1, -1.5], Times[-1, , -1.5], Times[-1, 1], Times[-1, , 1], Times[-1.5, 1], Times[3, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Times[2, , Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Times[-1, 1, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]], [Plus[2, ]]], Times[Plus[1, ], Plus[2, ], Power[E, Times[Complex[0, Rational[1, 6]], Pi]], [Plus[3, ]]]], 0], Equal[[0], 0], Equal[[1], Times[Power[Factorial[1], -1], Gamma[-1.5,
|
| 8.10.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle x^{1-a}e^{x}\incGamma@{a}{x} \leq 1} | (x)^(1 - a)* exp(x)*GAMMA(a, x) <= 1 |
(x)^(1 - a)* Exp[x]*Gamma[a, x] <= 1 |
Failure | Failure | Successful [Tested: 3] | Successful [Tested: 3] |
| 8.10.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incgamma@{a}{x} \geq \frac{x^{a-1}}{a}(1-e^{-x})} | GAMMA(a)-GAMMA(a, x) >= ((x)^(a - 1))/(a)*(1 - exp(- x)) |
Gamma[a, 0, x] >= Divide[(x)^(a - 1),a]*(1 - Exp[- x]) |
Failure | Failure | Successful [Tested: 3] | Successful [Tested: 3] |
| 8.10.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle x^{1-a}e^{x}\incGamma@{a}{x} = 1+\frac{a-1}{x}\vartheta} | (x)^(1 - a)* exp(x)*GAMMA(a, x) = 1 +(a - 1)/(x)*vartheta |
(x)^(1 - a)* Exp[x]*Gamma[a, x] == 1 +Divide[a - 1,x]*\[CurlyTheta] |
Failure | Failure | Failed [180 / 180] 180/180]: [[.8735840245+.8333333335*I <- {a = -1.5, x = 1.5, vartheta = 1/2*3^(1/2)+1/2*I}-1.403124983+1.443375674*I <- {a = -1.5, x = 1.5, vartheta = -1/2+1/2*I*3^(1/2)} |
Failed [180 / 180]
{Complex[0.8735840235649492, 0.8333333333333331] <- {Rule[a, -1.5], Rule[x, 1.5], Rule[ϑ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Complex[-1.4031249827424481, 1.4433756729740643] <- {Rule[a, -1.5], Rule[x, 1.5], Rule[ϑ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.10.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle 0 < \vartheta} | 0 < vartheta |
0 < \[CurlyTheta] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.10.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle A_{n} < x^{1-a}e^{x}\incGamma@{a}{x}} | A[n] < (x)^(1 - a)* exp(x)*GAMMA(a, x) |
Subscript[A, n] < (x)^(1 - a)* Exp[x]*Gamma[a, x] |
Failure | Failure | Failed [75 / 300] 75/300]: [[1.5 < .4302083505 <- {a = -1.5, x = 1.5, A[n] = 1.5, n = 1}1.5 < .4302083505 <- {a = -1.5, x = 1.5, A[n] = 1.5, n = 2} |
Failed [195 / 300]
{Less[Complex[0.8660254037844387, 0.49999999999999994], 0.43020835059088497] <- {Rule[a, -1.5], Rule[n, 1], Rule[x, 1.5], Rule[Subscript[A, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Less[Complex[0.8660254037844387, 0.49999999999999994], 0.43020835059088497] <- {Rule[a, -1.5], Rule[n, 2], Rule[x, 1.5], Rule[Subscript[A, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} |
| 8.10.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle x^{1-a}e^{x}\incGamma@{a}{x} < B_{n}} | (x)^(1 - a)* exp(x)*GAMMA(a, x) < B[n] |
(x)^(1 - a)* Exp[x]*Gamma[a, x] < Subscript[B, n] |
Failure | Failure | Failed [105 / 300] 105/300]: [[.4302083505 < -1.5 <- {a = -1.5, x = 1.5, B[n] = -1.5, n = 1}.4302083505 < -1.5 <- {a = -1.5, x = 1.5, B[n] = -1.5, n = 2} |
Failed [225 / 300]
{Less[0.43020835059088497, Complex[0.8660254037844387, 0.49999999999999994]] <- {Rule[a, -1.5], Rule[n, 1], Rule[x, 1.5], Rule[Subscript[B, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Less[0.43020835059088497, Complex[0.8660254037844387, 0.49999999999999994]] <- {Rule[a, -1.5], Rule[n, 2], Rule[x, 1.5], Rule[Subscript[B, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} |
| 8.10#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle A_{1} = \frac{x}{x+1-a}} | A[1] = (x)/(x + 1 - a) |
Subscript[A, 1] == Divide[x,x + 1 - a] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.10#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle B_{1} = \frac{x+1}{x+2-a}} | B[1] = (x + 1)/(x + 2 - a) |
Subscript[B, 1] == Divide[x + 1,x + 2 - a] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.10#Ex3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle A_{2} = \frac{x(x+3-a)}{x^{2}+2(2-a)x+(1-a)(2-a)}} | A[2] = (x*(x + 3 - a))/((x)^(2)+ 2*(2 - a)* x +(1 - a)*(2 - a)) |
Subscript[A, 2] == Divide[x*(x + 3 - a),(x)^(2)+ 2*(2 - a)* x +(1 - a)*(2 - a)] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.10#Ex4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle B_{2} = \frac{x^{2}+(5-a)x+2}{x^{2}+2(3-a)x+(2-a)(3-a)}} | B[2] = ((x)^(2)+(5 - a)* x + 2)/((x)^(2)+ 2*(3 - a)* x +(2 - a)*(3 - a)) |
Subscript[B, 2] == Divide[(x)^(2)+(5 - a)* x + 2,(x)^(2)+ 2*(3 - a)* x +(2 - a)*(3 - a)] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.10.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle I = \int_{0}^{x}t^{a-1}e^{t}\diff{t}} | I = int((t)^(a - 1)* exp(t), t = 0..x) |
I == Integrate[(t)^(a - 1)* Exp[t], {t, 0, x}, GenerateConditions->None] |
Failure | Failure | Failed [90 / 90] 90/90]: [[-2.374226751+.5000000000*I <- {I = 1/2*3^(1/2)+1/2*I, a = 1.5, x = 1.5}.5451660792+.5000000000*I <- {I = 1/2*3^(1/2)+1/2*I, a = 1.5, x = .5} |
Failed [27 / 27]
{Complex[-2.240252154794788, -4.0113152157384396*^-17] <- {Rule[Complex[0, 1], 1], Rule[a, 1.5], Rule[x, 1.5]}Complex[-1.240252154794788, -4.0113152157384396*^-17] <- {Rule[Complex[0, 1], 2], Rule[a, 1.5], Rule[x, 1.5]} |
| 8.10.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{x}t^{a-1}e^{t}\diff{t} = \EulerGamma@{a}x^{a}\scincgamma@{a}{-x}} | int((t)^(a - 1)* exp(t), t = 0..x) = GAMMA(a)*(x)^(a)* (- x)^(-(a))*(GAMMA(a)-GAMMA(a, - x))/GAMMA(a) |
Error |
Failure | Missing Macro Error | Successful [Tested: 9] | Skip - symbolical successful subtest |
| 8.10.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{(a+1)(a+2)-x}{(a+1)(a+2+x)} < ax^{-a}e^{-x}I} | ((a + 1)*(a + 2)- x)/((a + 1)*(a + 2 + x)) < a*(x)^(- a)* exp(- x)*I |
Divide[(a + 1)*(a + 2)- x,(a + 1)*(a + 2 + x)] < a*(x)^(- a)* Exp[- x]*I |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.10#Ex5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{a} = (\EulerGamma@{1+a})^{1/(a-1)}} | c[a] = (GAMMA(1 + a))^(1/(a - 1)) |
Subscript[c, a] == (Gamma[1 + a])^(1/(a - 1)) |
Failure | Failure | Failed [39 / 40] 39/40]: [[-.9011204630+.5000000000*I <- {a = 1.5, c[a] = 1/2*3^(1/2)+1/2*I}-2.267145867+.8660254040*I <- {a = 1.5, c[a] = -1/2+1/2*I*3^(1/2)} |
Failed [39 / 40]
{Complex[-0.9011204638598199, 0.49999999999999994] <- {Rule[a, 1.5], Rule[Subscript[c, a], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Complex[-2.2671458676442584, 0.8660254037844387] <- {Rule[a, 1.5], Rule[Subscript[c, a], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.10#Ex6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle d_{a} = (\EulerGamma@{1+a})^{-1/a}} | d[a] = (GAMMA(1 + a))^(- 1/ a) |
Subscript[d, a] == (Gamma[1 + a])^(- 1/ a) |
Failure | Failure | Failed [40 / 40] 40/40]: [[.388914161e-1+.5000000000*I <- {a = 1.5, d[a] = 1/2*3^(1/2)+1/2*I}-1.327133988+.8660254040*I <- {a = 1.5, d[a] = -1/2+1/2*I*3^(1/2)} |
Failed [40 / 40]
{Complex[0.038891415918572037, 0.49999999999999994] <- {Rule[a, 1.5], Rule[Subscript[d, a], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Complex[-1.3271339878658663, 0.8660254037844387] <- {Rule[a, 1.5], Rule[Subscript[d, a], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.10.E10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{x}{2a}\left(\left(1+\frac{2}{x}\right)^{a}-1\right) < x^{1-a}e^{x}\incGamma@{a}{x}} | (x)/(2*a)*((1 +(2)/(x))^(a)- 1) < (x)^(1 - a)* exp(x)*GAMMA(a, x) |
Divide[x,2*a]*((1 +Divide[2,x])^(a)- 1) < (x)^(1 - a)* Exp[x]*Gamma[a, x] |
Failure | Failure | Successful [Tested: 3] | Successful [Tested: 3] |
| 8.10.E10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle x^{1-a}e^{x}\incGamma@{a}{x} \leq \frac{x}{ac_{a}}\left(\left(1+\frac{c_{a}}{x}\right)^{a}-1\right)} | (x)^(1 - a)* exp(x)*GAMMA(a, x) <= (x)/(a*c[a])*((1 +(c[a])/(x))^(a)- 1) |
(x)^(1 - a)* Exp[x]*Gamma[a, x] <= Divide[x,a*Subscript[c, a]]*((1 +Divide[Subscript[c, a],x])^(a)- 1) |
Failure | Failure | Failed [3 / 30] 3/30]: [[.8100694499 <= .7912878480 <- {a = .5, x = 1.5, c[a] = 2}.6556795425 <= .6180339885 <- {a = .5, x = .5, c[a] = 2} |
Failed [18 / 30]
{LessEqual[0.8100694501969615, Complex[0.8808481919138387, -0.05137441674828974]] <- {Rule[a, 0.5], Rule[x, 1.5], Rule[Subscript[c, a], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}LessEqual[0.8100694501969615, Complex[1.0324243733930456, -0.1801654927820326]] <- {Rule[a, 0.5], Rule[x, 1.5], Rule[Subscript[c, a], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.10.E11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle (1-e^{-\alpha_{a}x})^{a} \leq \normincGammaP@{a}{x}} | (1 - exp(- alpha[a]*x))^(a) <= (GAMMA(a)-GAMMA(a, x))/GAMMA(a) |
(1 - Exp[- Subscript[\[Alpha], a]*x])^(a) <= GammaRegularized[a, 0, x] |
Failure | Failure | Failed [78 / 270] 78/270]: [[.8461432717 <= .6083748237 <- {a = 1.5, alpha = 1.5, x = 1.5, alpha[a] = 1.5}.9262567903 <= .6083748237 <- {a = 1.5, alpha = 1.5, x = 1.5, alpha[a] = 2} |
Failed [240 / 270]
{LessEqual[Complex[0.7016331692747775, 0.2500919864059583], 0.608374823728911] <- {Rule[a, 1.5], Rule[x, 1.5], Rule[α, 1.5], Rule[Subscript[α, a], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}LessEqual[Complex[-1.369574242346028, 2.679891945423719], 0.608374823728911] <- {Rule[a, 1.5], Rule[x, 1.5], Rule[α, 1.5], Rule[Subscript[α, a], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.10.E11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincGammaP@{a}{x} \leq (1-e^{-\beta_{a}x})^{a}} | (GAMMA(a)-GAMMA(a, x))/GAMMA(a) <= (1 - exp(- beta[a]*x))^(a) |
GammaRegularized[a, 0, x] <= (1 - Exp[- Subscript[\[Beta], a]*x])^(a) |
Failure | Failure | Failed [30 / 270] 30/270]: [[.6083748237 <= .3832643966 <- {a = 1.5, beta = 1.5, x = 1.5, beta[a] = .5}.1987480431 <= .1040340193 <- {a = 1.5, beta = 1.5, x = .5, beta[a] = .5} |
Failed [192 / 270]
{LessEqual[0.608374823728911, Complex[0.7016331692747775, 0.2500919864059583]] <- {Rule[a, 1.5], Rule[x, 1.5], Rule[β, 1.5], Rule[Subscript[β, a], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}LessEqual[0.608374823728911, Complex[-1.369574242346028, 2.679891945423719]] <- {Rule[a, 1.5], Rule[x, 1.5], Rule[β, 1.5], Rule[Subscript[β, a], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.10.E13 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{\incGamma@{n}{n}}{\EulerGamma@{n}} < \frac{1}{2}} | (GAMMA(n, n))/(GAMMA(n)) < (1)/(2) |
Divide[Gamma[n, n],Gamma[n]] < Divide[1,2] |
Failure | Failure | Successful [Tested: 3] | Successful [Tested: 1] |
| 8.10.E13 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{1}{2} < \frac{\incGamma@{n}{n-1}}{\EulerGamma@{n}}} | (1)/(2) < (GAMMA(n, n - 1))/(GAMMA(n)) |
Divide[1,2] < Divide[Gamma[n, n - 1],Gamma[n]] |
Failure | Failure | Successful [Tested: 3] | Successful [Tested: 1] |
| 8.11.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incGamma@{a}{z} = z^{a-1}e^{-z}\left(\sum_{k=0}^{n-1}\frac{u_{k}}{z^{k}}+R_{n}(a,z)\right)} | GAMMA(a, z) = (z)^(a - 1)* exp(- z)*(sum((u[k])/((z)^(k)), k = 0..n - 1)+ R[n]*(a , z)) |
Gamma[a, z] == (z)^(a - 1)* Exp[- z]*(Sum[Divide[Subscript[u, k],(z)^(k)], {k, 0, n - 1}, GenerateConditions->None]+ Subscript[R, n]*(a , z)) |
Failure | Failure | Failed [300 / 300] 300/300]: [[.1072320848e-1-.1480251451*I+(.9924715785e-1+.4087434498*I)*(1.000000000+0.*I+(.8660254040+.5000000000*I)*(-1.5, .8660254040+.5000000000*I)) <- {a = -1.5, z = 1/2*3^(1/2)+1/2*I, R[n] = 1/2*3^(1/2)+1/2*I, n = 1, n = 3}.1072320848e-1-.1480251451*I+(.9924715785e-1+.4087434498*I)*(-1.165063509+1.250000000*I+(.8660254040+.5000000000*I)*(-1.5, .8660254040+.5000000000*I)) <- {a = -1.5, z = 1/2*3^(1/2)+1/2*I, R[n] = 1/2*3^(1/2)+1/2*I, n = 2, n = 3} |
Error |
| 8.11.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incgamma@{a}{z} = z^{a}e^{-z}\sum_{k=0}^{\infty}\frac{z^{k}}{\Pochhammersym{a}{k+1}}} | GAMMA(a)-GAMMA(a, z) = (z)^(a)* exp(- z)*sum(((z)^(k))/(pochhammer(a, k + 1)), k = 0..infinity) |
Gamma[a, 0, z] == (z)^(a)* Exp[- z]*Sum[Divide[(z)^(k),Pochhammer[a, k + 1]], {k, 0, Infinity}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 7] |
| 8.11#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle b_{0}(\lambda) = 1} | b[0]*(lambda) = 1 |
Subscript[b, 0]*(\[Lambda]) == 1 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.11#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle b_{1}(\lambda) = \lambda} | b[1]*(lambda) = lambda |
Subscript[b, 1]*(\[Lambda]) == \[Lambda] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.11#Ex3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle b_{2}(\lambda) = \lambda(2\lambda+1)} | b[2]*(lambda) = lambda*(2*lambda + 1) |
Subscript[b, 2]*(\[Lambda]) == \[Lambda]*(2*\[Lambda]+ 1) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.11.E15 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle S_{n}(x) = \frac{\incgamma@{n+1}{nx}}{(nx)^{n}e^{-nx}}} | S[n]*(x) = (GAMMA(n + 1)-GAMMA(n + 1, n*x))/((n*x)^(n)* exp(- n*x)) |
Subscript[S, n]*(x) == Divide[Gamma[n + 1, 0, n*x],(n*x)^(n)* Exp[- n*x]] |
Failure | Failure | Failed [90 / 90] 90/90]: [[-.22087941e-1+.7500000000*I <- {x = 1.5, S[n] = 1/2*3^(1/2)+1/2*I, n = 1}-1.275525655+.7500000000*I <- {x = 1.5, S[n] = 1/2*3^(1/2)+1/2*I, n = 2} |
Failed [90 / 90]
{Complex[-0.02208794121538471, 0.7499999999999999] <- {Rule[n, 1], Rule[x, 1.5], Rule[Subscript[S, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Complex[-1.2755256550317124, 0.7499999999999999] <- {Rule[n, 2], Rule[x, 1.5], Rule[Subscript[S, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} |
| 8.11.E19 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle d_{k}(x) = \frac{(-1)^{k}b_{k}(x)}{(1-x)^{2k+1}}} | d[k]*(x) = ((- 1)^(k)* b[k]*(x))/((1 - x)^(2*k + 1)) |
Subscript[d, k]*(x) == Divide[(- 1)^(k)* Subscript[b, k]*(x),(1 - x)^(2*k + 1)] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \lambda = z/a} | lambda = z/ a |
\[Lambda] == z/ a |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \eta = \left(2(\lambda-1-\ln@@{\lambda})\right)^{1/2}} | eta = (2*(lambda - 1 - ln(lambda)))^(1/ 2) |
\[Eta] == (2*(\[Lambda]- 1 - Log[\[Lambda]]))^(1/ 2) |
Failure | Failure | Failed [100 / 100] 100/100]: [[.8206105237+1.019626504*I <- {eta = 1/2*3^(1/2)+1/2*I, lambda = 1/2*3^(1/2)+1/2*I}.2036159778+2.354396465*I <- {eta = 1/2*3^(1/2)+1/2*I, lambda = -1/2+1/2*I*3^(1/2)} |
Failed [100 / 100]
{Complex[0.8206105232686428, 1.019626504138681] <- {Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[λ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Complex[0.20361597732323333, 2.3543964646926674] <- {Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[λ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.12#Ex3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \tfrac{1}{2}\eta^{2} = \lambda-1-\ln@@{\lambda}} | (1)/(2)*(eta)^(2) = lambda - 1 - ln(lambda) |
Divide[1,2]*\[Eta]^(2) == \[Lambda]- 1 - Log[\[Lambda]] |
Failure | Failure | Failed [100 / 100] 100/100]: [[.3839745964+.4566114775*I <- {eta = 1/2*3^(1/2)+1/2*I, lambda = 1/2*3^(1/2)+1/2*I}1.750000000+1.661382400*I <- {eta = 1/2*3^(1/2)+1/2*I, lambda = -1/2+1/2*I*3^(1/2)} |
Failed [100 / 100]
{Complex[0.38397459621556135, 0.45661147749051817] <- {Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[λ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Complex[1.7499999999999998, 1.6613824005009756] <- {Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[λ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.12#Ex4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv{\eta}{\lambda} = \frac{\lambda-1}{\lambda\eta}} | diff(eta, lambda) = (lambda - 1)/(lambda*eta) |
D[\[Eta], \[Lambda]] == Divide[\[Lambda]- 1,\[Lambda]*\[Eta]] |
Failure | Failure | Failed [100 / 100] 100/100]: [[-.3660254037-.3660254035*I <- {eta = 1/2*3^(1/2)+1/2*I, lambda = 1/2*3^(1/2)+1/2*I}-1.732050807-.2266367838e-9*I <- {eta = 1/2*3^(1/2)+1/2*I, lambda = -1/2+1/2*I*3^(1/2)} |
Failed [100 / 100]
{Complex[-0.3660254037844386, -0.3660254037844386] <- {Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[λ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Complex[-1.7320508075688772, 3.3306690738754696*^-16] <- {Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[λ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.12.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincGammaP@{a}{z} = \tfrac{1}{2}\erfc@{-\eta\sqrt{a/2}}-S(a,\eta)} | (GAMMA(a)-GAMMA(a, z))/GAMMA(a) = (1)/(2)*erfc(- eta*sqrt(a/ 2))- S*(a , eta) |
GammaRegularized[a, 0, z] == Divide[1,2]*Erfc[- \[Eta]*Sqrt[a/ 2]]- S*(a , \[Eta]) |
Failure | Failure | Failed [300 / 300] 300/300]: [[.8724483635-.3325384943*I+(.8660254040+.5000000000*I)*(-1.5, .8660254040+.5000000000*I) <- {S = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}.8436948583-.7685914925*I+(.8660254040+.5000000000*I)*(-1.5, .8660254040+.5000000000*I) <- {S = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)} |
Error |
| 8.12.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincGammaQ@{a}{z} = \tfrac{1}{2}\erfc@{\eta\sqrt{a/2}}+S(a,\eta)} | GAMMA(a, z)/GAMMA(a) = (1)/(2)*erfc(eta*sqrt(a/ 2))+ S*(a , eta) |
GammaRegularized[a, z] == Divide[1,2]*Erfc[\[Eta]*Sqrt[a/ 2]]+ S*(a , \[Eta]) |
Failure | Failure | Failed [300 / 300] 300/300]: [[-.8724483631+.3325384943*I-(.8660254040+.5000000000*I)*(-1.5, .8660254040+.5000000000*I) <- {S = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}-.8436948582+.7685914925*I-(.8660254040+.5000000000*I)*(-1.5, .8660254040+.5000000000*I) <- {S = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)} |
Error |
| 8.12.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{e^{+\pi ia}}{2i\sin@{\pi a}}\normincGammaQ@{-a}{ze^{+\pi i}} = +\tfrac{1}{2}\erfc@{+ i\eta\sqrt{a/2}}-iT(a,\eta)} | (exp(+ Pi*I*a))/(2*I*sin(Pi*a))*GAMMA(- a, z*exp(+ Pi*I))/GAMMA(- a) = +(1)/(2)*erfc(+ I*eta*sqrt(a/ 2))- I*T*(a , eta) |
Divide[Exp[+ Pi*I*a],2*I*Sin[Pi*a]]*GammaRegularized[- a, z*Exp[+ Pi*I]] == +Divide[1,2]*Erfc[+ I*\[Eta]*Sqrt[a/ 2]]- I*T*(a , \[Eta]) |
Failure | Failure | Failed [300 / 300] 300/300]: [[.1738836865-.4215091763*I+(-.5000000000+.8660254040*I)*(-1.5, .8660254040+.5000000000*I) <- {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}-.5322485765+.1038051776*I+(-.5000000000+.8660254040*I)*(-1.5, .8660254040+.5000000000*I) <- {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)} |
Error |
| 8.12.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{e^{-\pi ia}}{2i\sin@{\pi a}}\normincGammaQ@{-a}{ze^{-\pi i}} = -\tfrac{1}{2}\erfc@{- i\eta\sqrt{a/2}}-iT(a,\eta)} | (exp(- Pi*I*a))/(2*I*sin(Pi*a))*GAMMA(- a, z*exp(- Pi*I))/GAMMA(- a) = -(1)/(2)*erfc(- I*eta*sqrt(a/ 2))- I*T*(a , eta) |
Divide[Exp[- Pi*I*a],2*I*Sin[Pi*a]]*GammaRegularized[- a, z*Exp[- Pi*I]] == -Divide[1,2]*Erfc[- I*\[Eta]*Sqrt[a/ 2]]- I*T*(a , \[Eta]) |
Failure | Failure | Failed [300 / 300] 300/300]: [[-.9809290254+.1461521622*I+(-.5000000000+.8660254040*I)*(-1.5, .8660254040+.5000000000*I) <- {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}-.2747967621-.3791621909*I+(-.5000000000+.8660254040*I)*(-1.5, .8660254040+.5000000000*I) <- {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)} |
Error |
| 8.12#Ex5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \EulerGamma@{a+1}\frac{e^{+\pi ia}}{2\pi i}\incGamma@{-a}{ze^{+\pi i}} = -\tfrac{1}{2}\erfc@{+ i\eta\sqrt{a/2}}+iT(a,\eta)} | GAMMA(a + 1)*(exp(+ Pi*I*a))/(2*Pi*I)*GAMMA(- a, z*exp(+ Pi*I)) = -(1)/(2)*erfc(+ I*eta*sqrt(a/ 2))+ I*T*(a , eta) |
Gamma[a + 1]*Divide[Exp[+ Pi*I*a],2*Pi*I]*Gamma[- a, z*Exp[+ Pi*I]] == -Divide[1,2]*Erfc[+ I*\[Eta]*Sqrt[a/ 2]]+ I*T*(a , \[Eta]) |
Failure | Failure | Failed [300 / 300] 300/300]: [[-.1738836865+.4215091762*I+(.5000000000-.8660254040*I)*(-1.5, .8660254040+.5000000000*I) <- {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}.5322485766-.1038051776*I+(.5000000000-.8660254040*I)*(-1.5, .8660254040+.5000000000*I) <- {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)} |
Error |
| 8.12#Ex5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \EulerGamma@{a+1}\frac{e^{-\pi ia}}{2\pi i}\incGamma@{-a}{ze^{-\pi i}} = +\tfrac{1}{2}\erfc@{- i\eta\sqrt{a/2}}+iT(a,\eta)} | GAMMA(a + 1)*(exp(- Pi*I*a))/(2*Pi*I)*GAMMA(- a, z*exp(- Pi*I)) = +(1)/(2)*erfc(- I*eta*sqrt(a/ 2))+ I*T*(a , eta) |
Gamma[a + 1]*Divide[Exp[- Pi*I*a],2*Pi*I]*Gamma[- a, z*Exp[- Pi*I]] == +Divide[1,2]*Erfc[- I*\[Eta]*Sqrt[a/ 2]]+ I*T*(a , \[Eta]) |
Failure | Failure | Failed [300 / 300] 300/300]: [[.9809290254-.1461521621*I+(.5000000000-.8660254040*I)*(-1.5, .8660254040+.5000000000*I) <- {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}.2747967620+.3791621907*I+(.5000000000-.8660254040*I)*(-1.5, .8660254040+.5000000000*I) <- {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)} |
Error |
| 8.12.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle z^{-a}\scincgamma@{-a}{-z} = \cos@{\pi a}-2\sin@{\pi a}\left(\frac{e^{\frac{1}{2}a\eta^{2}}}{\sqrt{\pi}}\DawsonsintF@{\eta\sqrt{a/2}}+T(a,\eta)\right)} | (z)^(- a)* (- z)^(-(- a))*(GAMMA(- a)-GAMMA(- a, - z))/GAMMA(- a) = cos(Pi*a)- 2*sin(Pi*a)*((exp((1)/(2)*a*(eta)^(2)))/(sqrt(Pi))*dawson(eta*sqrt(a/ 2))+ T*(a , eta)) |
Error |
Failure | Missing Macro Error | Failed [300 / 300] 300/300]: [[.2923043261+1.961858052*I+(1.732050808+1.000000000*I)*(-1.5, .8660254040+.5000000000*I) <- {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}-.7583243808+.5495935246*I+(1.732050808+1.000000000*I)*(-1.5, .8660254040+.5000000000*I) <- {T = 1/2*3^(1/2)+1/2*I, a = -1.5, eta = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)} |
- |
| 8.12#Ex6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{0}(\eta) = \frac{1}{\mu}-\frac{1}{\eta}} | c[0]*(eta) = (1)/(mu)-(1)/(eta) |
Subscript[c, 0]*(\[Eta]) == Divide[1,\[Mu]]-Divide[1,\[Eta]] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12#Ex7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{1}(\eta) = \frac{1}{\eta^{3}}-\frac{1}{\mu^{3}}-\frac{1}{\mu^{2}}-\frac{1}{12\mu}} | c[1]*(eta) = (1)/((eta)^(3))-(1)/((mu)^(3))-(1)/((mu)^(2))-(1)/(12*mu) |
Subscript[c, 1]*(\[Eta]) == Divide[1,\[Eta]^(3)]-Divide[1,\[Mu]^(3)]-Divide[1,\[Mu]^(2)]-Divide[1,12*\[Mu]] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12.E10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{k}(\eta) = \frac{1}{\eta}\deriv{}{\eta}c_{k-1}(\eta)+(-1)^{k}\frac{g_{k}}{\mu}} | c[k]*(eta) = (1)/(eta)*diff(c[k - 1]*(eta), eta)+(- 1)^(k)*(g[k])/(mu) |
Subscript[c, k]*(\[Eta]) == Divide[1,\[Eta]]*D[Subscript[c, k - 1]*(\[Eta]), \[Eta]]+(- 1)^(k)*Divide[Subscript[g, k],\[Mu]] |
Failure | Failure | Failed [300 / 300] 300/300]: [[.5000000004+.8660254040*I <- {eta = 1/2*3^(1/2)+1/2*I, mu = 1/2*3^(1/2)+1/2*I, c[k] = 1/2*3^(1/2)+1/2*I, c[k-1] = 1/2*3^(1/2)+1/2*I, g[k] = 1/2*3^(1/2)+1/2*I, k = 1, k = 3}-1.500000000+.8660254040*I <- {eta = 1/2*3^(1/2)+1/2*I, mu = 1/2*3^(1/2)+1/2*I, c[k] = 1/2*3^(1/2)+1/2*I, c[k-1] = 1/2*3^(1/2)+1/2*I, g[k] = 1/2*3^(1/2)+1/2*I, k = 2, k = 3} |
Failed [300 / 300]
{Complex[0.5000000000000001, 0.8660254037844386] <- {Rule[k, 1], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[c, Plus[-1, k]], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[c, k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[g, k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Complex[-1.5, 0.8660254037844386] <- {Rule[k, 2], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[c, Plus[-1, k]], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[c, k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[g, k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} |
| 8.12.E11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{k}(\eta) = \sum_{n=0}^{\infty}d_{k,n}\eta^{n}} | c[k]*(eta) = sum(d[k , n]*(eta)^(n), n = 0..infinity) |
Subscript[c, k]*(\[Eta]) == Sum[Subscript[d, k , n]*\[Eta]^(n), {n, 0, Infinity}, GenerateConditions->None] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12#Ex8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle d_{0,n} = (n+2)\alpha_{n+2}} | d[0 , n] = (n + 2)* alpha[n + 2] |
Subscript[d, 0 , n] == (n + 2)* Subscript[\[Alpha], n + 2] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12#Ex9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle d_{k,n} = (-1)^{k}g_{k}d_{0,n}+(n+2)d_{k-1,n+2}} | d[k , n] = (- 1)^(k)* g[k]*d[0 , n]+(n + 2)* d[k - 1 , n + 2] |
Subscript[d, k , n] == (- 1)^(k)* Subscript[g, k]*Subscript[d, 0 , n]+(n + 2)* Subscript[d, k - 1 , n + 2] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12.E13 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \lambda-1 = \eta+\tfrac{1}{3}\eta^{2}+\sum_{n=3}^{\infty}\alpha_{n}\eta^{n}} | lambda - 1 = eta +(1)/(3)*(eta)^(2)+ sum(alpha[n]*(eta)^(n), n = 3..infinity) |
\[Lambda]- 1 == \[Eta]+Divide[1,3]*\[Eta]^(2)+ Sum[Subscript[\[Alpha], n]*\[Eta]^(n), {n, 3, Infinity}, GenerateConditions->None] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12#Ex10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \alpha_{3} = \tfrac{1}{36}} | alpha[3] = (1)/(36) |
Subscript[\[Alpha], 3] == Divide[1,36] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12#Ex11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \alpha_{4} = -\tfrac{1}{270}} | alpha[4] = -(1)/(270) |
Subscript[\[Alpha], 4] == -Divide[1,270] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12#Ex12 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \alpha_{5} = \tfrac{1}{4320}} | alpha[5] = (1)/(4320) |
Subscript[\[Alpha], 5] == Divide[1,4320] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12#Ex13 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \alpha_{6} = \tfrac{1}{17010}} | alpha[6] = (1)/(17010) |
Subscript[\[Alpha], 6] == Divide[1,17010] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12#Ex14 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \alpha_{7} = -\tfrac{139}{54\;43200}} | alpha[7] = -(139)/(5443200) |
Subscript[\[Alpha], 7] == -Divide[139,5443200] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12#Ex15 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \alpha_{8} = \tfrac{1}{2\;04120}} | alpha[8] = (1)/(204120) |
Subscript[\[Alpha], 8] == Divide[1,204120] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12#Ex16 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{0}(0) = -\tfrac{1}{3}} | c[0]*(0) = -(1)/(3) |
Subscript[c, 0]*(0) == -Divide[1,3] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12#Ex17 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{1}(0) = -\tfrac{1}{540}} | c[1]*(0) = -(1)/(540) |
Subscript[c, 1]*(0) == -Divide[1,540] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12#Ex18 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{2}(0) = \tfrac{25}{6048}} | c[2]*(0) = (25)/(6048) |
Subscript[c, 2]*(0) == Divide[25,6048] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12#Ex19 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{3}(0) = \tfrac{101}{1\;55520}} | c[3]*(0) = (101)/(155520) |
Subscript[c, 3]*(0) == Divide[101,155520] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12#Ex20 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{4}(0) = -\tfrac{31\;84811}{36951\;55200}} | c[4]*(0) = -(3184811)/(3695155200) |
Subscript[c, 4]*(0) == -Divide[3184811,3695155200] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12#Ex21 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{5}(0) = -\tfrac{27\;45493}{81517\;36320}} | c[5]*(0) = -(2745493)/(8151736320) |
Subscript[c, 5]*(0) == -Divide[2745493,8151736320] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.12.E21 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincGammaQ@{a}{x} = q} | GAMMA(a, x)/GAMMA(a) = q |
GammaRegularized[a, x] == q |
Failure | Failure | Failed [180 / 180] 180/180]: [[-.8512854784-.5000000000*I <- {a = -1.5, q = 1/2*3^(1/2)+1/2*I, x = 1.5}-.5487148961-.5000000000*I <- {a = -1.5, q = 1/2*3^(1/2)+1/2*I, x = .5} |
Failed [180 / 180]
{Complex[-0.8512854781447857, -0.49999999999999994] <- {Rule[a, -1.5], Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[x, 1.5]}Complex[-0.5487148959215247, -0.49999999999999994] <- {Rule[a, -1.5], Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[x, 0.5]} |
| 8.13.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle 1+a^{-1} < x_{-}(a)} | 1 + (a)^(- 1) < x[-]*(a) |
1 + (a)^(- 1) < Subscript[x, -]*(a) |
Error | Failure | - | Error |
| 8.13.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle x_{-}(a) < \ln@@{|a|}} | x[-]*(a) < ln(abs(a)) |
Subscript[x, -]*(a) < Log[Abs[a]] |
Error | Failure | - | Error |
| 8.14.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}e^{-ax}\frac{\incgamma@{b}{x}}{\EulerGamma@{b}}\diff{x} = \frac{(1+a)^{-b}}{a}} | int(exp(- a*x)*(GAMMA(b)-GAMMA(b, x))/(GAMMA(b)), x = 0..infinity) = ((1 + a)^(- b))/(a) |
Integrate[Exp[- a*x]*Divide[Gamma[b, 0, x],Gamma[b]], {x, 0, Infinity}, GenerateConditions->None] == Divide[(1 + a)^(- b),a] |
Successful | Aborted | - | Skipped - Because timed out |
| 8.14.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}e^{-ax}\incGamma@{b}{x}\diff{x} = \EulerGamma@{b}\frac{1-(1+a)^{-b}}{a}} | int(exp(- a*x)*GAMMA(b, x), x = 0..infinity) = GAMMA(b)*(1 -(1 + a)^(- b))/(a) |
Integrate[Exp[- a*x]*Gamma[b, x], {x, 0, Infinity}, GenerateConditions->None] == Gamma[b]*Divide[1 -(1 + a)^(- b),a] |
Failure | Aborted | Successful [Tested: 12] | Skipped - Because timed out |
| 8.14.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}x^{a-1}\incgamma@{b}{x}\diff{x} = -\frac{\EulerGamma@{a+b}}{a}} | int((x)^(a - 1)* GAMMA(b)-GAMMA(b, x), x = 0..infinity) = -(GAMMA(a + b))/(a) |
Integrate[(x)^(a - 1)* Gamma[b, 0, x], {x, 0, Infinity}, GenerateConditions->None] == -Divide[Gamma[a + b],a] |
Failure | Aborted | Failed [3 / 3] 3/3]: [[Float(infinity) <- {a = -1.5, b = 2}Float(infinity) <- {a = -.5, b = 1.5} |
Skip - No test values generated |
| 8.14.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}x^{a-1}\incGamma@{b}{x}\diff{x} = \frac{\EulerGamma@{a+b}}{a}} | int((x)^(a - 1)* GAMMA(b, x), x = 0..infinity) = (GAMMA(a + b))/(a) |
Integrate[(x)^(a - 1)* Gamma[b, x], {x, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[a + b],a] |
Successful | Successful | - | Successful [Tested: 12] |
| 8.14.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}x^{a-1}e^{-sx}\incgamma@{b}{x}\diff{x} = \frac{\EulerGamma@{a+b}}{b(1+s)^{a+b}}\*\hyperF@{1}{a+b}{1+b}{1/(1+s)}} | int((x)^(a - 1)* exp(- s*x)*GAMMA(b)-GAMMA(b, x), x = 0..infinity) = (GAMMA(a + b))/(b*(1 + s)^(a + b))* hypergeom([1, a + b], [1 + b], 1/(1 + s)) |
Integrate[(x)^(a - 1)* Exp[- s*x]*Gamma[b, 0, x], {x, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[a + b],b*(1 + s)^(a + b)]* Hypergeometric2F1[1, a + b, 1 + b, 1/(1 + s)] |
Failure | Aborted | Failed [36 / 36] 36/36]: [[Float(infinity) <- {a = -1.5, b = 2, s = 1.5}Float(infinity) <- {a = -1.5, b = 2, s = .5} |
Skipped - Because timed out |
| 8.14.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}x^{a-1}e^{-sx}\incGamma@{b}{x}\diff{x} = \frac{\EulerGamma@{a+b}}{a(1+s)^{a+b}}\*\hyperF@{1}{a+b}{1+a}{s/(1+s)}} | int((x)^(a - 1)* exp(- s*x)*GAMMA(b, x), x = 0..infinity) = (GAMMA(a + b))/(a*(1 + s)^(a + b))* hypergeom([1, a + b], [1 + a], s/(1 + s)) |
Integrate[(x)^(a - 1)* Exp[- s*x]*Gamma[b, x], {x, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[a + b],a*(1 + s)^(a + b)]* Hypergeometric2F1[1, a + b, 1 + a, s/(1 + s)] |
Failure | Aborted | Skipped - Because timed out | Skipped - Because timed out |
| 8.15.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incgamma@{a}{\lambda x} = \lambda^{a}\sum_{k=0}^{\infty}\incgamma@{a+k}{x}\frac{(1-\lambda)^{k}}{k!}} | GAMMA(a)-GAMMA(a, lambda*x) = (lambda)^(a)* sum(GAMMA(a + k)-GAMMA(a + k, x)*((1 - lambda)^(k))/(factorial(k)), k = 0..infinity) |
Gamma[a, 0, \[Lambda]*x] == \[Lambda]^(a)* Sum[Gamma[a + k, 0, x]*Divide[(1 - \[Lambda])^(k),(k)!], {k, 0, Infinity}, GenerateConditions->None] |
Failure | Failure | Failed [90 / 90] 90/90]: [[Float(infinity)+Float(infinity)*I <- {a = 1.5, lambda = 1/2*3^(1/2)+1/2*I, x = 1.5}Float(infinity)+Float(infinity)*I <- {a = 1.5, lambda = 1/2*3^(1/2)+1/2*I, x = .5} |
Skipped - Because timed out |
| 8.17.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incBeta{x}@{a}{b} = \int_{0}^{x}t^{a-1}(1-t)^{b-1}\diff{t}} | int(t^(a-1)*(1-t)^(b-1), t = 0 .. x) = int((t)^(a - 1)*(1 - t)^(b - 1), t = 0..x) |
Beta[x, a, b] == Integrate[(t)^(a - 1)*(1 - t)^(b - 1), {t, 0, x}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 108] |
| 8.17.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincBetaI{x}@{a}{b} = \incBeta{x}@{a}{b}/\EulerBeta@{a}{b}} | Error |
BetaRegularized[x, a, b] == Beta[x, a, b]/ Beta[a, b] |
Missing Macro Error | Successful | - | Failed [45 / 108]
{Indeterminate <- {Rule[a, -1.5], Rule[b, -1.5], Rule[x, 1.5]}Indeterminate <- {Rule[a, -1.5], Rule[b, -1.5], Rule[x, 0.5]} |
| 8.17.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \EulerBeta@{a}{b} = \frac{\EulerGamma@{a}\EulerGamma@{b}}{\EulerGamma@{a+b}}} | Beta(a, b) = (GAMMA(a)*GAMMA(b))/(GAMMA(a + b)) |
Beta[a, b] == Divide[Gamma[a]*Gamma[b],Gamma[a + b]] |
Failure | Successful | Successful [Tested: 9] | Successful [Tested: 9] |
| 8.17.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincBetaI{x}@{a}{b} = 1-\normincBetaI{1-x}@{b}{a}} | Error |
BetaRegularized[x, a, b] == 1 - BetaRegularized[1 - x, b, a] |
Missing Macro Error | Failure | - | Failed [39 / 108]
{Indeterminate <- {Rule[a, -1.5], Rule[b, -1.5], Rule[x, 1.5]}Indeterminate <- {Rule[a, -1.5], Rule[b, -1.5], Rule[x, 0.5]} |
| 8.17.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincBetaI{x}@{m}{n-m+1} = \sum_{j=m}^{n}\binom{n}{j}x^{j}(1-x)^{n-j}} | Error |
BetaRegularized[x, m, n - m + 1] == Sum[Binomial[n,j]*(x)^(j)*(1 - x)^(n - j), {j, m, n}, GenerateConditions->None] |
Missing Macro Error | Failure | - | Successful [Tested: 9] |
| 8.17.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincBetaI{x}@{a}{a} = \tfrac{1}{2}\normincBetaI{4x(1-x)}@{a}{\tfrac{1}{2}}} | Error |
BetaRegularized[x, a, a] == Divide[1,2]*BetaRegularized[4*x*(1 - x), a, Divide[1,2]] |
Missing Macro Error | Failure | - | Failed [3 / 6]
{Indeterminate <- {Rule[a, -1.5], Rule[x, 0.5]}Indeterminate <- {Rule[a, -0.5], Rule[x, 0.5]} |
| 8.17.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incBeta{x}@{a}{b} = \frac{x^{a}}{a}\hyperF@{a}{1-b}{a+1}{x}} | int(t^(a-1)*(1-t)^(b-1), t = 0 .. x) = ((x)^(a))/(a)*hypergeom([a, 1 - b], [a + 1], x) |
Beta[x, a, b] == Divide[(x)^(a),a]*Hypergeometric2F1[a, 1 - b, a + 1, x] |
Failure | Successful | Skipped - Because timed out | Failed [18 / 108]
{Indeterminate <- {Rule[a, -2], Rule[b, -1.5], Rule[x, 1.5]}Indeterminate <- {Rule[a, -2], Rule[b, -1.5], Rule[x, 0.5]} |
| 8.17.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incBeta{x}@{a}{b} = \frac{x^{a}(1-x)^{b}}{a}\hyperF@{a+b}{1}{a+1}{x}} | int(t^(a-1)*(1-t)^(b-1), t = 0 .. x) = ((x)^(a)*(1 - x)^(b))/(a)*hypergeom([a + b, 1], [a + 1], x) |
Beta[x, a, b] == Divide[(x)^(a)*(1 - x)^(b),a]*Hypergeometric2F1[a + b, 1, a + 1, x] |
Failure | Successful | Skipped - Because timed out | Failed [15 / 108]
{Indeterminate <- {Rule[a, -2], Rule[b, -1.5], Rule[x, 1.5]}Indeterminate <- {Rule[a, -2], Rule[b, -1.5], Rule[x, 0.5]} |
| 8.17.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \incBeta{x}@{a}{b} = \frac{x^{a}(1-x)^{b-1}}{a}\hyperF@@{1}{1-b}{a+1}{\frac{x}{x-1}}} | int(t^(a-1)*(1-t)^(b-1), t = 0 .. x) = ((x)^(a)*(1 - x)^(b - 1))/(a)*hypergeom([1, 1 - b], [a + 1], (x)/(x - 1)) |
Beta[x, a, b] == Divide[(x)^(a)*(1 - x)^(b - 1),a]*Hypergeometric2F1[1, 1 - b, a + 1, Divide[x,x - 1]] |
Failure | Failure | Skipped - Because timed out | Failed [46 / 108]
{Complex[4.9960036108132044*^-15, -27.48893571891068] <- {Rule[a, -1.5], Rule[b, -2], Rule[x, 1.5]}Complex[3.191891195797325*^-15, -27.48893571891068] <- {Rule[a, -1.5], Rule[b, -2], Rule[x, 2]} |
| 8.17.E10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincBetaI{x}@{a}{b} = \frac{x^{a}(1-x)^{b}}{2\pi i}\int_{c-i\infty}^{c+i\infty}s^{-a}(1-s)^{-b}\frac{\diff{s}}{s-x}} | Error |
BetaRegularized[x, a, b] == Divide[(x)^(a)*(1 - x)^(b),2*Pi*I]*Integrate[(s)^(- a)*(1 - s)^(- b)*Divide[1,s - x], {s, c - I*Infinity, c + I*Infinity}, GenerateConditions->None] |
Missing Macro Error | Aborted | - | Skipped - Because timed out |
| 8.17.E13 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle (a+b)\normincBetaI{x}@{a}{b} = a\normincBetaI{x}@{a+1}{b}+b\normincBetaI{x}@{a}{b+1}} | Error |
(a + b)* BetaRegularized[x, a, b] == a*BetaRegularized[x, a + 1, b]+ b*BetaRegularized[x, a, b + 1] |
Missing Macro Error | Successful | - | Failed [33 / 108]
{Indeterminate <- {Rule[a, -1.5], Rule[b, -1.5], Rule[x, 1.5]}Indeterminate <- {Rule[a, -1.5], Rule[b, -1.5], Rule[x, 0.5]} |
| 8.17.E14 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle (a+bx)\normincBetaI{x}@{a}{b} = xb\normincBetaI{x}@{a-1}{b+1}+a\normincBetaI{x}@{a+1}{b}} | Error |
(a + b*x)* BetaRegularized[x, a, b] == x*b*BetaRegularized[x, a - 1, b + 1]+ a*BetaRegularized[x, a + 1, b] |
Missing Macro Error | Successful | - | Failed [36 / 108]
{Indeterminate <- {Rule[a, -1.5], Rule[b, -1.5], Rule[x, 1.5]}Indeterminate <- {Rule[a, -1.5], Rule[b, -1.5], Rule[x, 0.5]} |
| 8.17.E16 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle a\normincBetaI{x}@{a+1}{b} = (a+cx)\normincBetaI{x}@{a}{b}-cx\normincBetaI{x}@{a-1}{b}} | Error |
a*BetaRegularized[x, a + 1, b] == (a + c*x)* BetaRegularized[x, a, b]- c*x*BetaRegularized[x, a - 1, b] |
Missing Macro Error | Failure | - | Failed [246 / 300]
{Indeterminate <- {Rule[a, -1.5], Rule[b, -1.5], Rule[c, -1.5], Rule[x, 1.5]}Indeterminate <- {Rule[a, -1.5], Rule[b, -1.5], Rule[c, -1.5], Rule[x, 0.5]} |
| 8.17#Ex3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle d_{2m} = \frac{m(b-m)x}{(a+2m-1)(a+2m)}} | d[2*m] = (m*(b - m)* x)/((a + 2*m - 1)*(a + 2*m)) |
Subscript[d, 2*m] == Divide[m*(b - m)* x,(a + 2*m - 1)*(a + 2*m)] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.17#Ex4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle d_{2m+1} = -\frac{(a+m)(a+b+m)x}{(a+2m)(a+2m+1)}} | d[2*m + 1] = -((a + m)*(a + b + m)* x)/((a + 2*m)*(a + 2*m + 1)) |
Subscript[d, 2*m + 1] == -Divide[(a + m)*(a + b + m)* x,(a + 2*m)*(a + 2*m + 1)] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.17.E24 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincBetaI{x}@{m}{n} = (1-x)^{n}\sum_{j=m}^{\infty}\binom{n+j-1}{j}x^{j}} | Error |
BetaRegularized[x, m, n] == (1 - x)^(n)* Sum[Binomial[n + j - 1,j]*(x)^(j), {j, m, Infinity}, GenerateConditions->None] |
Missing Macro Error | Failure | - | Successful [Tested: 9] |
| 8.18.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \xi = -\ln@@{x}} | xi = - ln(x) |
\[Xi] == - Log[x] |
Failure | Failure | Failed [30 / 30] 30/30]: [[1.271490512+.5000000000*I <- {x = 1.5, xi = 1/2*3^(1/2)+1/2*I}-.945348919e-1+.8660254040*I <- {x = 1.5, xi = -1/2+1/2*I*3^(1/2)} |
Failed [30 / 30]
{Complex[1.271490511892603, 0.49999999999999994] <- {Rule[x, 1.5], Rule[ξ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Complex[-0.0945348918918354, 0.8660254037844387] <- {Rule[x, 1.5], Rule[ξ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.18.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle aF_{k+1} = (k+b-a\xi)F_{k}+k\xi F_{k-1}} | a*F[k + 1] = (k + b - a*xi)* F[k]+ k*xi*F[k - 1] |
a*Subscript[F, k + 1] == (k + b - a*\[Xi])* Subscript[F, k]+ k*\[Xi]*Subscript[F, k - 1] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.18#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle F_{0} = a^{-b}\normincGammaQ@{b}{a\xi}} | F[0] = (a)^(- b)* GAMMA(b, a*xi)/GAMMA(b) |
Subscript[F, 0] == (a)^(- b)* GammaRegularized[b, a*\[Xi]] |
Failure | Failure | Failed [300 / 300] 300/300]: [[1.253924788+1.407498490*I <- {a = -1.5, b = -1.5, xi = 1/2*3^(1/2)+1/2*I, F[0] = 1/2*3^(1/2)+1/2*I}-.1121006157+1.773523894*I <- {a = -1.5, b = -1.5, xi = 1/2*3^(1/2)+1/2*I, F[0] = -1/2+1/2*I*3^(1/2)} |
Failed [300 / 300]
{Complex[1.2539247882576399, 1.4074984905445393] <- {Rule[a, -1.5], Rule[b, -1.5], Rule[ξ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[F, 0], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Complex[-0.11210061552679867, 1.7735238943289782] <- {Rule[a, -1.5], Rule[b, -1.5], Rule[ξ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[F, 0], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.18#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle F_{1} = \frac{b-a\xi}{a}F_{0}+\frac{\xi^{b}e^{-a\xi}}{a\EulerGamma@{b}}} | F[1] = (b - a*xi)/(a)*F[0]+((xi)^(b)* exp(- a*xi))/(a*GAMMA(b)) |
Subscript[F, 1] == Divide[b - a*\[Xi],a]*Subscript[F, 0]+Divide[\[Xi]^(b)* Exp[- a*\[Xi]],a*Gamma[b]] |
Failure | Failure | Failed [300 / 300] 300/300]: [[2.329643864+4.621882749*I <- {a = -1.5, b = 1.5, xi = 1/2*3^(1/2)+1/2*I, F[0] = 1/2*3^(1/2)+1/2*I, F[1] = 1/2*3^(1/2)+1/2*I}.9636184598+4.987908153*I <- {a = -1.5, b = 1.5, xi = 1/2*3^(1/2)+1/2*I, F[0] = 1/2*3^(1/2)+1/2*I, F[1] = -1/2+1/2*I*3^(1/2)} |
Failed [300 / 300]
{Complex[2.32964386182885, 4.621882746395113] <- {Rule[a, -1.5], Rule[b, 1.5], Rule[ξ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[F, 0], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[F, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Complex[0.9636184580444114, 4.9879081501795515] <- {Rule[a, -1.5], Rule[b, 1.5], Rule[ξ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[F, 0], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[F, 1], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.18.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \left(\frac{1-e^{-t}}{t}\right)^{b-1} = \sum_{k=0}^{\infty}d_{k}(t-\xi)^{k}} | ((1 - exp(- t))/(t))^(b - 1) = sum(d[k]*(t - xi)^(k), k = 0..infinity) |
(Divide[1 - Exp[- t],t])^(b - 1) == Sum[Subscript[d, k]*(t - \[Xi])^(k), {k, 0, Infinity}, GenerateConditions->None] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.18#Ex3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle d_{0} = \left(\frac{1-x}{\xi}\right)^{b-1}} | d[0] = ((1 - x)/(xi))^(b - 1) |
Subscript[d, 0] == (Divide[1 - x,\[Xi]])^(b - 1) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.18#Ex4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle d_{1} = \frac{x\xi+x-1}{(1-x)\xi}(b-1)d_{0}} | d[1] = (x*xi + x - 1)/((1 - x)* xi)*(b - 1)* d[0] |
Subscript[d, 1] == Divide[x*\[Xi]+ x - 1,(1 - x)* \[Xi]]*(b - 1)* Subscript[d, 0] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.18.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle x_{0} = a/(a+b)} | x[0] = a/(a + b) |
Subscript[x, 0] == a/(a + b) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.18.E10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -\tfrac{1}{2}\eta^{2} = x_{0}\ln@{\frac{x}{x_{0}}}+(1-x_{0})\ln@{\frac{1-x}{1-x_{0}}}} | -(1)/(2)*(eta)^(2) = x[0]*ln((x)/(x[0]))+(1 - x[0])* ln((1 - x)/(1 - x[0])) |
-Divide[1,2]*\[Eta]^(2) == Subscript[x, 0]*Log[Divide[x,Subscript[x, 0]]]+(1 - Subscript[x, 0])* Log[Divide[1 - x,1 - Subscript[x, 0]]] |
Failure | Failure | Failed [300 / 300] 300/300]: [[.580000474e-1+.458917392e-1*I <- {eta = 1/2*3^(1/2)+1/2*I, x = 1.5, x[0] = 1/2*3^(1/2)+1/2*I}2.269862383+1.019641337*I <- {eta = 1/2*3^(1/2)+1/2*I, x = 1.5, x[0] = -1/2+1/2*I*3^(1/2)} |
Failed [300 / 300]
{Complex[0.058000047924774145, 0.04589173995258988] <- {Rule[x, 1.5], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[x, 0], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Complex[2.2698623824536366, 1.0196413375539057] <- {Rule[x, 1.5], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[x, 0], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.18.E11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{0}(\eta) = \frac{1}{\eta}-\frac{\sqrt{x_{0}(1-x_{0})}}{x-x_{0}}} | c[0]*(eta) = (1)/(eta)-(sqrt(x[0]*(1 - x[0])))/(x - x[0]) |
Subscript[c, 0]*(\[Eta]) == Divide[1,\[Eta]]-Divide[Sqrt[Subscript[x, 0]*(1 - Subscript[x, 0])],x - Subscript[x, 0]] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.18.E12 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{0}(0) = \frac{1-2x_{0}}{3\sqrt{x_{0}(1-x_{0})}}} | c[0]*(0) = (1 - 2*x[0])/(3*sqrt(x[0]*(1 - x[0]))) |
Subscript[c, 0]*(0) == Divide[1 - 2*Subscript[x, 0],3*Sqrt[Subscript[x, 0]*(1 - Subscript[x, 0])]] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.18.E15 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \mu\ln@@{\zeta}-\zeta = \ln@@{x}+\mu\ln@{1-x}+(1+\mu)\ln@{1+\mu}-\mu} | mu*ln(zeta)- zeta = ln(x)+ mu*ln(1 - x)+(1 + mu)* ln(1 + mu)- mu |
\[Mu]*Log[\[Zeta]]- \[Zeta] == Log[x]+ \[Mu]*Log[1 - x]+(1 + \[Mu])* Log[1 + \[Mu]]- \[Mu] |
Failure | Failure | Failed [299 / 300] 299/300]: [[.405976146-2.738439399*I <- {mu = 1/2*3^(1/2)+1/2*I, x = 1.5, zeta = 1/2*3^(1/2)+1/2*I}.9866033870-1.744115280*I <- {mu = 1/2*3^(1/2)+1/2*I, x = 1.5, zeta = -1/2+1/2*I*3^(1/2)} |
Failed [299 / 300]
{Complex[0.4059761460255107, -2.7384393975724306] <- {Rule[x, 1.5], Rule[ζ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Complex[1.0560847852373059, 1.7517066341083583] <- {Rule[x, 1.5], Rule[ζ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[μ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.18.E16 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle h_{0}(\zeta,\mu) = \mu\left(\frac{1}{\zeta-\mu}-\frac{(1+\mu)^{-3/2}}{x_{0}-x}\right)} | h[0]*(zeta , mu) = mu*((1)/(zeta - mu)-((1 + mu)^(- 3/ 2))/(x[0]- x)) |
Subscript[h, 0]*(\[Zeta], \[Mu]) == \[Mu]*(Divide[1,\[Zeta]- \[Mu]]-Divide[(1 + \[Mu])^(- 3/ 2),Subscript[x, 0]- x]) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.18.E17 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle h_{0}(\mu,\mu) = \frac{1}{3}\left(\frac{1-\mu}{\sqrt{1+\mu}}-1\right)} | h[0]*(mu , mu) = (1)/(3)*((1 - mu)/(sqrt(1 + mu))- 1) |
Subscript[h, 0]*(\[Mu], \[Mu]) == Divide[1,3]*(Divide[1 - \[Mu],Sqrt[1 + \[Mu]]]- 1) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.18.E18 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \normincBetaI{x}@{a}{b} = p} | Error |
BetaRegularized[x, a, b] == p |
Missing Macro Error | Failure | - | Failed [105 / 108]
{DirectedInfinity[] <- {Rule[a, -1.5], Rule[b, -1.5], Rule[p, 0.5], Rule[x, 1.5]}Indeterminate <- {Rule[a, -1.5], Rule[b, -1.5], Rule[p, 0.5], Rule[x, 0.5]} |
| 8.19.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \genexpintE{p}@{z} = z^{p-1}\incGamma@{1-p}{z}} | Ei(p, z) = (z)^(p - 1)* GAMMA(1 - p, z) |
ExpIntegralE[p, z] == (z)^(p - 1)* Gamma[1 - p, z] |
Successful | Successful | - | Successful [Tested: 70] |
| 8.19.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \genexpintE{p}@{z} = z^{p-1}\int_{z}^{\infty}\frac{e^{-t}}{t^{p}}\diff{t}} | Ei(p, z) = (z)^(p - 1)* int((exp(- t))/((t)^(p)), t = z..infinity) |
ExpIntegralE[p, z] == (z)^(p - 1)* Integrate[Divide[Exp[- t],(t)^(p)], {t, z, Infinity}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 70] |
| 8.19.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \genexpintE{p}@{z} = \int_{1}^{\infty}\frac{e^{-zt}}{t^{p}}\diff{t}} | Ei(p, z) = int((exp(- z*t))/((t)^(p)), t = 1..infinity) |
ExpIntegralE[p, z] == Integrate[Divide[Exp[- z*t],(t)^(p)], {t, 1, Infinity}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 50] |
| 8.19.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \genexpintE{p}@{z} = \frac{z^{p-1}e^{-z}}{\EulerGamma@{p}}\int_{0}^{\infty}\frac{t^{p-1}e^{-zt}}{1+t}\diff{t}} | Ei(p, z) = ((z)^(p - 1)* exp(- z))/(GAMMA(p))*int(((t)^(p - 1)* exp(- z*t))/(1 + t), t = 0..infinity) |
ExpIntegralE[p, z] == Divide[(z)^(p - 1)* Exp[- z],Gamma[p]]*Integrate[Divide[(t)^(p - 1)* Exp[- z*t],1 + t], {t, 0, Infinity}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 25] |
| 8.19.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \genexpintE{0}@{z} = z^{-1}e^{-z}} | Ei(0, z) = (z)^(- 1)* exp(- z) |
ExpIntegralE[0, z] == (z)^(- 1)* Exp[- z] |
Successful | Successful | - | Successful [Tested: 7] |
| 8.19.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \genexpintE{p}@{0} = \frac{1}{p-1}} | Ei(p, 0) = (1)/(p - 1) |
ExpIntegralE[p, 0] == Divide[1,p - 1] |
Successful | Successful | - | Successful [Tested: 2] |
| 8.19.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \genexpintE{n}@{z} = \frac{(-z)^{n-1}}{(n-1)!}\expintE@{z}+\frac{e^{-z}}{(n-1)!}\sum_{k=0}^{n-2}(n-k-2)!(-z)^{k}} | Ei(n, z) = ((- z)^(n - 1))/(factorial(n - 1))*Ei(z)+(exp(- z))/(factorial(n - 1))*sum(factorial(n - k - 2)*(- z)^(k), k = 0..n - 2) |
ExpIntegralE[n, z] == Divide[(- z)^(n - 1),(n - 1)!]*ExpIntegralE[1, z]+Divide[Exp[- z],(n - 1)!]*Sum[(n - k - 2)!*(- z)^(k), {k, 0, n - 2}, GenerateConditions->None] |
Failure | Failure | Failed [21 / 21] 21/21]: [[-1.393548628-1.498247032*I <- {z = 1/2*3^(1/2)+1/2*I, n = 1, n = 2}.4577249979+1.994294304*I <- {z = 1/2*3^(1/2)+1/2*I, n = 2, n = 2} |
Successful [Tested: 21] |
| 8.19.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \genexpintE{n}@{z} = \frac{(-1)^{n}z^{n-1}}{(n-1)!}\ln@@{z}+\frac{e^{-z}}{(n-1)!}\sum_{k=1}^{n-1}(-z)^{k-1}\EulerGamma@{n-k}+\frac{e^{-z}(-z)^{n-1}}{(n-1)!}\sum_{k=0}^{\infty}\frac{z^{k}}{k!}\digamma@{k+1}} | Ei(n, z) = ((- 1)^(n)* (z)^(n - 1))/(factorial(n - 1))*ln(z)+(exp(- z))/(factorial(n - 1))*sum((- z)^(k - 1)* GAMMA(n - k), k = 1..n - 1)+(exp(- z)*(- z)^(n - 1))/(factorial(n - 1))*sum(((z)^(k))/(factorial(k))*Psi(k + 1), k = 0..infinity) |
ExpIntegralE[n, z] == Divide[(- 1)^(n)* (z)^(n - 1),(n - 1)!]*Log[z]+Divide[Exp[- z],(n - 1)!]*Sum[(- z)^(k - 1)* Gamma[n - k], {k, 1, n - 1}, GenerateConditions->None]+Divide[Exp[- z]*(- z)^(n - 1),(n - 1)!]*Sum[Divide[(z)^(k),(k)!]*PolyGamma[k + 1], {k, 0, Infinity}, GenerateConditions->None] |
Failure | Failure | Successful [Tested: 21] | Failed [16 / 21]
{Plus[Complex[0.3691288000469654, -0.2016559825387078], Times[Complex[0.2188469268397846, -0.35920360372711485], Plus[-1.0, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[Power[-1, Rational[1, 6]], []], Times[Plus[1, Times[-1, Power[-1, Rational[1, 6]]], Times[-1, ]], [Plus[1, ]]], Times[Plus[-1, ], [Plus[2, ]]]], 0], Equal[[0], 0], Equal[[1], 1]}]][2.0]]]], {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Plus[Complex[-0.0256870546657635, -0.10579058942927923], Times[Complex[0.1094234634198923, -0.17960180186355743], Plus[-2.0, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[Power[-1, Rational[1, 6]], []], Times[Plus[2, Times[-1, Power[-1, Rational[1, 6]]], Times[-1, ]], [Plus[1, ]]], Times[Plus[-2, ], [Plus[2, ]]]], 0], Equal[[0], 0], Equal[[1], 2]}]][3.0]]]], {Rule[n, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} |
| 8.19.E10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \genexpintE{p}@{z} = z^{p-1}\EulerGamma@{1-p}-\sum_{k=0}^{\infty}\frac{(-z)^{k}}{k!(1-p+k)}} | Ei(p, z) = (z)^(p - 1)* GAMMA(1 - p)- sum(((- z)^(k))/(factorial(k)*(1 - p + k)), k = 0..infinity) |
ExpIntegralE[p, z] == (z)^(p - 1)* Gamma[1 - p]- Sum[Divide[(- z)^(k),(k)!*(1 - p + k)], {k, 0, Infinity}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 56] |
| 8.19.E11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \genexpintE{p}@{z} = \EulerGamma@{1-p}\left(z^{p-1}-e^{-z}\sum_{k=0}^{\infty}\frac{z^{k}}{\EulerGamma@{2-p+k}}\right)} | Ei(p, z) = GAMMA(1 - p)*((z)^(p - 1)- exp(- z)*sum(((z)^(k))/(GAMMA(2 - p + k)), k = 0..infinity)) |
ExpIntegralE[p, z] == Gamma[1 - p]*((z)^(p - 1)- Exp[- z]*Sum[Divide[(z)^(k),Gamma[2 - p + k]], {k, 0, Infinity}, GenerateConditions->None]) |
Successful | Successful | - | Successful [Tested: 56] |
| 8.19.E12 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle p\genexpintE{p+1}@{z}+z\genexpintE{p}@{z} = e^{-z}} | p*Ei(p + 1, z)+ z*Ei(p, z) = exp(- z) |
p*ExpIntegralE[p + 1, z]+ z*ExpIntegralE[p, z] == Exp[- z] |
Successful | Successful | - | Successful [Tested: 70] |
| 8.19.E13 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv{}{z}\genexpintE{p}@{z} = -\genexpintE{p-1}@{z}} | diff(Ei(p, z), z) = - Ei(p - 1, z) |
D[ExpIntegralE[p, z], z] == - ExpIntegralE[p - 1, z] |
Successful | Successful | - | Successful [Tested: 70] |
| 8.19.E14 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv{}{z}(e^{z}\genexpintE{p}@{z}) = e^{z}\genexpintE{p}@{z}\left(1+\frac{p-1}{z}\right)-\frac{1}{z}} | diff(exp(z)*Ei(p, z), z) = exp(z)*Ei(p, z)*(1 +(p - 1)/(z))-(1)/(z) |
D[Exp[z]*ExpIntegralE[p, z], z] == Exp[z]*ExpIntegralE[p, z]*(1 +Divide[p - 1,z])-Divide[1,z] |
Successful | Successful | - | Successful [Tested: 70] |
| 8.19.E15 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \pderiv[j]{\genexpintE{p}@{z}}{p} = (-1)^{j}\int_{1}^{\infty}(\ln@@{t})^{j}t^{-p}e^{-zt}\diff{t}} | diff(Ei(p, z), [p$(j)]) = (- 1)^(j)* int((ln(t))^(j)* (t)^(- p)* exp(- z*t), t = 1..infinity) |
D[ExpIntegralE[p, z], {p, j}] == (- 1)^(j)* Integrate[(Log[t])^(j)* (t)^(- p)* Exp[- z*t], {t, 1, Infinity}, GenerateConditions->None] |
Failure | Aborted | Skipped - Because timed out | Skipped - Because timed out |
| 8.19.E16 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \genexpintE{p}@{z} = z^{p-1}e^{-z}\KummerconfhyperU@{p}{p}{z}} | Ei(p, z) = (z)^(p - 1)* exp(- z)*KummerU(p, p, z) |
ExpIntegralE[p, z] == (z)^(p - 1)* Exp[- z]*HypergeometricU[p, p, z] |
Successful | Successful | - | Successful [Tested: 70] |
| 8.19.E19 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{n-1}{n}\genexpintE{n}@{x} < \genexpintE{n+1}@{x}} | (n - 1)/(n)*Ei(n, x) < Ei(n + 1, x) |
Divide[n - 1,n]*ExpIntegralE[n, x] < ExpIntegralE[n + 1, x] |
Failure | Failure | Successful [Tested: 9] | Successful [Tested: 9] |
| 8.19.E19 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \genexpintE{n+1}@{x} < \genexpintE{n}@{x}} | Ei(n + 1, x) < Ei(n, x) |
ExpIntegralE[n + 1, x] < ExpIntegralE[n, x] |
Failure | Failure | Successful [Tested: 9] | Successful [Tested: 9] |
| 8.19.E20 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \left(\genexpintE{n}@{x}\right)^{2} < \genexpintE{n-1}@{x}\genexpintE{n+1}@{x}} | (Ei(n, x))^(2) < Ei(n - 1, x)*Ei(n + 1, x) |
(ExpIntegralE[n, x])^(2) < ExpIntegralE[n - 1, x]*ExpIntegralE[n + 1, x] |
Failure | Failure | Successful [Tested: 9] | Successful [Tested: 9] |
| 8.19.E21 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{1}{x+n} < e^{x}\genexpintE{n}@{x}} | (1)/(x + n) < exp(x)*Ei(n, x) |
Divide[1,x + n] < Exp[x]*ExpIntegralE[n, x] |
Failure | Failure | Successful [Tested: 9] | Successful [Tested: 9] |
| 8.19.E21 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle e^{x}\genexpintE{n}@{x} \leq \frac{1}{x+n-1}} | exp(x)*Ei(n, x) <= (1)/(x + n - 1) |
Exp[x]*ExpIntegralE[n, x] <= Divide[1,x + n - 1] |
Failure | Failure | Successful [Tested: 9] | Successful [Tested: 9] |
| 8.19.E22 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \deriv{}{x}\frac{\genexpintE{n}@{x}}{\genexpintE{n-1}@{x}} > 0} | diff((Ei(n, x))/(Ei(n - 1, x)), x) > 0 |
D[Divide[ExpIntegralE[n, x],ExpIntegralE[n - 1, x]], x] > 0 |
Failure | Failure | Successful [Tested: 9] | Successful [Tested: 9] |
| 8.19.E23 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{z}^{\infty}\genexpintE{p-1}@{t}\diff{t} = \genexpintE{p}@{z}} | int(Ei(p - 1, t), t = z..infinity) = Ei(p, z) |
Integrate[ExpIntegralE[p - 1, t], {t, z, Infinity}, GenerateConditions->None] == ExpIntegralE[p, z] |
Failure | Successful | Skipped - Because timed out | Successful [Tested: 70] |
| 8.19.E24 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}e^{-at}\genexpintE{n}@{t}\diff{t} = \frac{(-1)^{n-1}}{a^{n}}\left(\ln@{1+a}+\sum_{k=1}^{n-1}\frac{(-1)^{k}a^{k}}{k}\right)} | int(exp(- a*t)*Ei(n, t), t = 0..infinity) = ((- 1)^(n - 1))/((a)^(n))*(ln(1 + a)+ sum(((- 1)^(k)* (a)^(k))/(k), k = 1..n - 1)) |
Integrate[Exp[- a*t]*ExpIntegralE[n, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[(- 1)^(n - 1),(a)^(n)]*(Log[1 + a]+ Sum[Divide[(- 1)^(k)* (a)^(k),k], {k, 1, n - 1}, GenerateConditions->None]) |
Successful | Failure | - | Successful [Tested: 18] |
| 8.19.E25 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}e^{-at}t^{b-1}\genexpintE{p}@{t}\diff{t} = \frac{\EulerGamma@{b}(1+a)^{-b}}{p+b-1}\*\hyperF@{1}{b}{p+b}{a/(1+a)}} | int(exp(- a*t)*(t)^(b - 1)* Ei(p, t), t = 0..infinity) = (GAMMA(b)*(1 + a)^(- b))/(p + b - 1)* hypergeom([1, b], [p + b], a/(1 + a)) |
Integrate[Exp[- a*t]*(t)^(b - 1)* ExpIntegralE[p, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[b]*(1 + a)^(- b),p + b - 1]* Hypergeometric2F1[1, b, p + b, a/(1 + a)] |
Failure | Aborted | Skipped - Because timed out | Successful [Tested: 64] |
| 8.19.E26 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}\genexpintE{p}@{t}\genexpintE{q}@{t}\diff{t} = \frac{L(p)+L(q)}{p+q-1}} | int(Ei(p, t)*Ei(q, t), t = 0..infinity) = (L*(p)+ L*(q))/(p + q - 1) |
Integrate[ExpIntegralE[p, t]*ExpIntegralE[q, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[L*(p)+ L*(q),p + q - 1] |
Failure | Failure | Skipped - Because timed out | Failed [80 / 80]
{Complex[-0.8698344324715543, -0.7499999999999999] <- {Rule[L, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[p, 1.5], Rule[q, 1.5]}Complex[0.26794919243112303, -0.9999999999999999] <- {Rule[L, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[p, 1.5], Rule[q, 0.5]} |
| 8.19.E27 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle L(p) = \int_{0}^{\infty}e^{-t}\genexpintE{p}@{t}\diff{t}} | L*(p) = int(exp(- t)*Ei(p, t), t = 0..infinity) |
L*(p) == Integrate[Exp[- t]*ExpIntegralE[p, t], {t, 0, Infinity}, GenerateConditions->None] |
Failure | Failure | Skipped - Because timed out | Failed [30 / 30]
{Complex[0.8698344324715546, 0.7499999999999999] <- {Rule[L, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[p, 1.5]}Complex[-1.1377836249026771, 0.24999999999999997] <- {Rule[L, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[p, 0.5]} |
| 8.19.E27 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}e^{-t}\genexpintE{p}@{t}\diff{t} = \frac{1}{2p}\hyperF@{1}{1}{1+p}{\tfrac{1}{2}}} | int(exp(- t)*Ei(p, t), t = 0..infinity) = (1)/(2*p)*hypergeom([1, 1], [1 + p], (1)/(2)) |
Integrate[Exp[- t]*ExpIntegralE[p, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[1,2*p]*Hypergeometric2F1[1, 1, 1 + p, Divide[1,2]] |
Failure | Successful | Successful [Tested: 3] | Successful [Tested: 3] |
| 8.20.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \genexpintE{p}@{z} = \frac{e^{-z}}{z}\left(\sum_{k=0}^{n-1}(-1)^{k}\frac{\Pochhammersym{p}{k}}{z^{k}}+(-1)^{n}\frac{\Pochhammersym{p}{n}e^{z}}{z^{n-1}}\genexpintE{n+p}@{z}\right)} | Ei(p, z) = (exp(- z))/(z)*(sum((- 1)^(k)*(pochhammer(p, k))/((z)^(k)), k = 0..n - 1)+(- 1)^(n)*(pochhammer(p, n)*exp(z))/((z)^(n - 1))*Ei(n + p, z)) |
ExpIntegralE[p, z] == Divide[Exp[- z],z]*(Sum[(- 1)^(k)*Divide[Pochhammer[p, k],(z)^(k)], {k, 0, n - 1}, GenerateConditions->None]+(- 1)^(n)*Divide[Pochhammer[p, n]*Exp[z],(z)^(n - 1)]*ExpIntegralE[n + p, z]) |
Failure | Successful | Manual Skip! | Failed [7 / 70]
{Indeterminate <- {Rule[n, 3], Rule[p, -2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Indeterminate <- {Rule[n, 3], Rule[p, -2], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.20.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle A_{k+1}(\lambda) = (1-2k\lambda)A_{k}(\lambda)+\lambda(\lambda+1)\deriv{A_{k}(\lambda)}{\lambda}} | A[k + 1]*(lambda) = (1 - 2*k*lambda)* A[k]*(lambda)+ lambda*(lambda + 1)* diff(A[k]*(lambda), lambda) |
Subscript[A, k + 1]*(\[Lambda]) == (1 - 2*k*\[Lambda])* Subscript[A, k]*(\[Lambda])+ \[Lambda]*(\[Lambda]+ 1)* D[Subscript[A, k]*(\[Lambda]), \[Lambda]] |
Failure | Failure | Failed [300 / 300] 300/300]: [[-.5000000000+.133974596*I <- {lambda = 1/2*3^(1/2)+1/2*I, A[k] = 1/2*3^(1/2)+1/2*I, A[k+1] = 1/2*3^(1/2)+1/2*I, k = 1, k = 3}-.4999999993+2.133974597*I <- {lambda = 1/2*3^(1/2)+1/2*I, A[k] = 1/2*3^(1/2)+1/2*I, A[k+1] = 1/2*3^(1/2)+1/2*I, k = 2, k = 3} |
Failed [300 / 300]
{Complex[-0.49999999999999944, 4.133974596215561] <- {Rule[k, 3], Rule[λ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[A, k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[A, Plus[1, k]], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}Complex[-1.8660254037844384, 3.7679491924311224] <- {Rule[k, 3], Rule[λ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[A, k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[A, Plus[1, k]], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
| 8.20#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle A_{1}(\lambda) = 1} | A[1]*(lambda) = 1 |
Subscript[A, 1]*(\[Lambda]) == 1 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.20#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle A_{2}(\lambda) = 1-2\lambda} | A[2]*(lambda) = 1 - 2*lambda |
Subscript[A, 2]*(\[Lambda]) == 1 - 2*\[Lambda] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.20#Ex3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle A_{3}(\lambda) = 1-8\lambda+6\lambda^{2}} | A[3]*(lambda) = 1 - 8*lambda + 6*(lambda)^(2) |
Subscript[A, 3]*(\[Lambda]) == 1 - 8*\[Lambda]+ 6*\[Lambda]^(2) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 8.21.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}t^{a-1}e^{+\iunit t}\diff{t} = e^{+\frac{1}{2}\pi\iunit a}\EulerGamma@{a}} | int((t)^(a - 1)* exp(+ I*t), t = 0..infinity) = exp(+(1)/(2)*Pi*I*a)*GAMMA(a) |
Integrate[(t)^(a - 1)* Exp[+ I*t], {t, 0, Infinity}, GenerateConditions->None] == Exp[+Divide[1,2]*Pi*I*a]*Gamma[a] |
Successful | Aborted | - | Successful [Tested: 1] |
| 8.21.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}t^{a-1}e^{-\iunit t}\diff{t} = e^{-\frac{1}{2}\pi\iunit a}\EulerGamma@{a}} | int((t)^(a - 1)* exp(- I*t), t = 0..infinity) = exp(-(1)/(2)*Pi*I*a)*GAMMA(a) |
Integrate[(t)^(a - 1)* Exp[- I*t], {t, 0, Infinity}, GenerateConditions->None] == Exp[-Divide[1,2]*Pi*I*a]*Gamma[a] |
Successful | Aborted | - | Successful [Tested: 1] |
| 8.22.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{\EulerGamma@{p}}{2\pi}z^{1-p}\genexpintE{p}@{z} = \frac{\EulerGamma@{p}}{2\pi}\incGamma@{1-p}{z}} | (GAMMA(p))/(2*Pi)*(z)^(1 - p)* Ei(p, z) = (GAMMA(p))/(2*Pi)*GAMMA(1 - p, z) |
Divide[Gamma[p],2*Pi]*(z)^(1 - p)* ExpIntegralE[p, z] == Divide[Gamma[p],2*Pi]*Gamma[1 - p, z] |
Successful | Successful | - | Successful [Tested: 35] |
| 8.22.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \zeta_{x}(s) = \sum_{k=1}^{\infty}k^{-s}\normincGammaP@{s}{kx}} | zeta[x]*(s) = sum((k)^(- s)* (GAMMA(s)-GAMMA(s, k*x))/GAMMA(s), k = 1..infinity) |
Subscript[\[Zeta], x]*(s) == Sum[(k)^(- s)* GammaRegularized[s, 0, k*x], {k, 1, Infinity}, GenerateConditions->None] |
Failure | Aborted | Manual Skip! | Skipped - Because timed out |