18.15

DLMF	Formula	Constraints	Maple	Mathematica	Symbolic Maple	Symbolic Mathematica	Numeric Maple	Numeric Mathematica
18.15.E6	${\displaystyle{\displaystyle(\sin\tfrac{1}{2}\theta)^{\alpha+\frac{1}{2}}(\cos\tfrac{1}{2}\theta)^{\beta+\frac{1}{2}}P^{(\alpha,\beta)}_{n}\left(\cos\theta\right)=\frac{\Gamma\left(n+\alpha+1\right)}{2^{\frac{1}{2}}\rho^{\alpha}n!}\*\left(\theta^{\frac{1}{2}}J_{\alpha}\left(\rho\theta\right)\sum_{m=0}^{M}\dfrac{A_{m}(\theta)}{\rho^{2m}}+\theta^{\frac{3}{2}}J_{\alpha+1}\left(\rho\theta\right)\sum_{m=0}^{M-1}\dfrac{B_{m}(\theta)}{\rho^{2m+1}}+\varepsilon_{M}(\rho,\theta)\right)}}$ (\sin@@{\tfrac{1}{2}\theta})^{\alpha+\frac{1}{2}}(\cos@@{\tfrac{1}{2}\theta})^{\beta+\frac{1}{2}}\JacobipolyP{\alpha}{\beta}{n}@{\cos@@{\theta}} = \frac{\EulerGamma@{n+\alpha+1}}{2^{\frac{1}{2}}\rho^{\alpha}n!}\*\left(\theta^{\frac{1}{2}}\BesselJ{\alpha}@{\rho\theta}\sum_{m=0}^{M}\dfrac{A_{m}(\theta)}{\rho^{2m}}+\theta^{\frac{3}{2}}\BesselJ{\alpha+1}@{\rho\theta}\sum_{m=0}^{M-1}\dfrac{B_{m}(\theta)}{\rho^{2m+1}}+\varepsilon_{M}(\rho,\theta)\right)	${\displaystyle{\displaystyle\Re((\alpha)+k+1)>0,\Re((\alpha+1)+k+1)>0,\Re(n+\alpha+1)>0}}$	(sin((1)/(2)*theta))^(alpha +(1)/(2))*(cos((1)/(2)*theta))^(beta +(1)/(2))* JacobiP(n, alpha, beta, cos(theta)) = (GAMMA(n + alpha + 1))/((2)^((1)/(2))*(n +(1)/(2)*(alpha + beta + 1))^(alpha)* factorial(n))*((theta)^((1)/(2))* BesselJ(alpha, (n +(1)/(2)*(alpha + beta + 1))*theta)*sum((A[m](theta))/((n +(1)/(2)*(alpha + beta + 1))^(2*m)), m = 0..M)+ (theta)^((3)/(2))* BesselJ(alpha + 1, (n +(1)/(2)*(alpha + beta + 1))*theta)*sum((B[m](theta))/((n +(1)/(2)*(alpha + beta + 1))^(2*m + 1)), m = 0..M - 1)+ varepsilon[M]((n +(1)/(2)*(alpha + beta + 1)), theta))	(Sin[Divide[1,2]*\[Theta]])^(\[Alpha]+Divide[1,2])*(Cos[Divide[1,2]*\[Theta]])^(\[Beta]+Divide[1,2])* JacobiP[n, \[Alpha], \[Beta], Cos[\[Theta]]] == Divide[Gamma[n + \[Alpha]+ 1],(2)^(Divide[1,2])*(n +Divide[1,2]*(\[Alpha]+ \[Beta]+ 1))^\[Alpha]* (n)!]*(\[Theta]^(Divide[1,2])* BesselJ[\[Alpha], (n +Divide[1,2]*(\[Alpha]+ \[Beta]+ 1))*\[Theta]]*Sum[Divide[Subscript[A, m][\[Theta]],(n +Divide[1,2]*(\[Alpha]+ \[Beta]+ 1))^(2*m)], {m, 0, M}, GenerateConditions->None]+ \[Theta]^(Divide[3,2])* BesselJ[\[Alpha]+ 1, (n +Divide[1,2]*(\[Alpha]+ \[Beta]+ 1))*\[Theta]]*Sum[Divide[Subscript[B, m][\[Theta]],(n +Divide[1,2]*(\[Alpha]+ \[Beta]+ 1))^(2*m + 1)], {m, 0, M - 1}, GenerateConditions->None]+ Subscript[\[CurlyEpsilon], M][(n +Divide[1,2]*(\[Alpha]+ \[Beta]+ 1)), \[Theta]])	Failure	Failure	Skipped - Because timed out	Skipped - Because timed out
18.15.E24	${\displaystyle{\displaystyle\mu=2n+1}}$ \mu = 2n+1		mu = 2*n + 1	\[Mu] == 2*n + 1	Skipped - no semantic math	Skipped - no semantic math	-	-
18.15.E28	${\displaystyle{\displaystyle H_{n}\left(x\right)=2^{\frac{1}{4}(\mu^{2}-1)}e^{\frac{1}{2}\mu^{2}t^{2}}U\left(-\tfrac{1}{2}\mu^{2},\mu t\sqrt{2}\right)}}$ \HermitepolyH{n}@{x} = 2^{\frac{1}{4}(\mu^{2}-1)}e^{\frac{1}{2}\mu^{2}t^{2}}\paraU@{-\tfrac{1}{2}\mu^{2}}{\mu t\sqrt{2}}		HermiteH(n, x) = (2)^((1)/(4)*((mu)^(2)- 1))* exp((1)/(2)*(mu)^(2)* (t)^(2))*CylinderU(-(1)/(2)*(mu)^(2), mu*t*sqrt(2))	HermiteH[n, x] == (2)^(Divide[1,4]*(\[Mu]^(2)- 1))* Exp[Divide[1,2]*\[Mu]^(2)* (t)^(2)]*ParabolicCylinderD[- 1/2 -(-Divide[1,2]*\[Mu]^(2)), \[Mu]*t*Sqrt[2]]	Failure	Failure	Failed [300 / 300] Result: -1.440969060-2.714107233*I Test Values: {mu = 1/2*3^(1/2)+1/2*I, t = -3/2, x = 3/2, n = 1} Result: 2.559030940-2.714107233*I Test Values: {mu = 1/2*3^(1/2)+1/2*I, t = -3/2, x = 3/2, n = 2} ... skip entries to safe data	Failed [300 / 300] Result: Complex[-1.440969055661161, -2.714107231302052] Test Values: {Rule[n, 1], Rule[t, -1.5], Rule[x, 1.5], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Result: Complex[2.559030944338839, -2.714107231302052] Test Values: {Rule[n, 2], Rule[t, -1.5], Rule[x, 1.5], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} ... skip entries to safe data