32.8

DLMF	Formula	Constraints	Maple	Mathematica	Symbolic Maple	Symbolic Mathematica	Numeric Maple	Numeric Mathematica
32.8.E1	${\displaystyle{\displaystyle w(z;1)=-\ifrac{1}{z}}}$ w(z;1) = -\ifrac{1}{z}		w(z ; 1) = -(1)/(z)	w[z ; 1] == -Divide[1,z]	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E2	${\displaystyle{\displaystyle w(z;2)=\frac{1}{z}-\frac{3z^{2}}{z^{3}+4}}}$ w(z;2) = \frac{1}{z}-\frac{3z^{2}}{z^{3}+4}		w(z ; 2) = (1)/(z)-(3*(z)^(2))/((z)^(3)+ 4)	w[z ; 2] == Divide[1,z]-Divide[3*(z)^(2),(z)^(3)+ 4]	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E3	${\displaystyle{\displaystyle w(z;3)=\frac{3z^{2}}{z^{3}+4}-\frac{6z^{2}(z^{3}+10)}{z^{6}+20z^{3}-80}}}$ w(z;3) = \frac{3z^{2}}{z^{3}+4}-\frac{6z^{2}(z^{3}+10)}{z^{6}+20z^{3}-80}		w(z ; 3) = (3*(z)^(2))/((z)^(3)+ 4)-(6*(z)^(2)*((z)^(3)+ 10))/((z)^(6)+ 20*(z)^(3)- 80)	w[z ; 3] == Divide[3*(z)^(2),(z)^(3)+ 4]-Divide[6*(z)^(2)*((z)^(3)+ 10),(z)^(6)+ 20*(z)^(3)- 80]	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E4	${\displaystyle{\displaystyle w(z;4)=-\frac{1}{z}+\frac{6z^{2}(z^{3}+10)}{z^{6}+20z^{3}-80}-\frac{9z^{5}(z^{3}+40)}{z^{9}+60z^{6}+11200}}}$ w(z;4) = -\frac{1}{z}+\frac{6z^{2}(z^{3}+10)}{z^{6}+20z^{3}-80}-\frac{9z^{5}(z^{3}+40)}{z^{9}+60z^{6}+11200}		w(z ; 4) = -(1)/(z)+(6*(z)^(2)*((z)^(3)+ 10))/((z)^(6)+ 20*(z)^(3)- 80)-(9*(z)^(5)*((z)^(3)+ 40))/((z)^(9)+ 60*(z)^(6)+ 11200)	w[z ; 4] == -Divide[1,z]+Divide[6*(z)^(2)*((z)^(3)+ 10),(z)^(6)+ 20*(z)^(3)- 80]-Divide[9*(z)^(5)*((z)^(3)+ 40),(z)^(9)+ 60*(z)^(6)+ 11200]	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E5	${\displaystyle{\displaystyle w(z;n)=\frac{\mathrm{d}}{\mathrm{d}z}\left(\ln\left(\frac{Q_{n-1}(z)}{Q_{n}(z)}\right)\right)}}$ w(z;n) = \deriv{}{z}\left(\ln@{\frac{Q_{n-1}(z)}{Q_{n}(z)}}\right)		w(z ; n) = diff(ln((Q[n - 1](z))/(Q[n](z))), z)	w[z ; n] == D[Log[Divide[Subscript[Q, n - 1][z],Subscript[Q, n][z]]], z]	Translation Error	Translation Error	-	-
32.8#Ex1	${\displaystyle{\displaystyle Q_{2}(z)=z^{3}+4}}$ Q_{2}(z) = z^{3}+4		Q[2](z) = (z)^(3)+ 4	Subscript[Q, 2][z] == (z)^(3)+ 4	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8#Ex2	${\displaystyle{\displaystyle Q_{3}(z)=z^{6}+20z^{3}-80}}$ Q_{3}(z) = z^{6}+20z^{3}-80		Q[3](z) = (z)^(6)+ 20*(z)^(3)- 80	Subscript[Q, 3][z] == (z)^(6)+ 20*(z)^(3)- 80	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8#Ex3	${\displaystyle{\displaystyle Q_{4}(z)=z^{10}+60z^{7}+11200z}}$ Q_{4}(z) = z^{10}+60z^{7}+11200z		Q[4](z) = (z)^(10)+ 60*(z)^(7)+ 11200*z	Subscript[Q, 4][z] == (z)^(10)+ 60*(z)^(7)+ 11200*z	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8#Ex4	${\displaystyle{\displaystyle Q_{5}(z)=z^{15}+140z^{12}+2800z^{9}+78400z^{6}-3\;13600z^{3}-62\;72000}}$ Q_{5}(z) = z^{15}+140z^{12}+2800z^{9}+78400z^{6}-3\;13600z^{3}-62\;72000		Q[5](z) = (z)^(15)+ 140*(z)^(12)+ 2800*(z)^(9)+ 78400*(z)^(6)- 313600*(z)^(3)- 6272000	Subscript[Q, 5][z] == (z)^(15)+ 140*(z)^(12)+ 2800*(z)^(9)+ 78400*(z)^(6)- 313600*(z)^(3)- 6272000	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8#Ex5	${\displaystyle{\displaystyle Q_{6}(z)=z^{21}+280z^{18}+18480z^{15}+6\;27200z^{12}-172\;48000z^{9}+14488\;32000z^{6}+1\;93177\;60000z^{3}-3\;86355\;20000}}$ Q_{6}(z) = z^{21}+280z^{18}+18480z^{15}+6\;27200z^{12}-172\;48000z^{9}+14488\;32000z^{6}+1\;93177\;60000z^{3}-3\;86355\;20000		Q[6](z) = (z)^(21)+ 280*(z)^(18)+ 18480*(z)^(15)+ 627200*(z)^(12)- 17248000*(z)^(9)+ 1448832000*(z)^(6)+ 19317760000*(z)^(3)- 38635520000	Subscript[Q, 6][z] == (z)^(21)+ 280*(z)^(18)+ 18480*(z)^(15)+ 627200*(z)^(12)- 17248000*(z)^(9)+ 1448832000*(z)^(6)+ 19317760000*(z)^(3)- 38635520000	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E8	${\displaystyle{\displaystyle\sum_{m=0}^{\infty}p_{m}(z)\lambda^{m}=\exp\left(z\lambda-\tfrac{4}{3}\lambda^{3}\right)}}$ \sum_{m=0}^{\infty}p_{m}(z)\lambda^{m} = \exp@{z\lambda-\tfrac{4}{3}\lambda^{3}}		sum(p[m](z)* (lambda)^(m), m = 0..infinity) = exp(z*lambda -(4)/(3)*(lambda)^(3))	Sum[Subscript[p, m][z]* \[Lambda]^(m), {m, 0, Infinity}, GenerateConditions->None] == Exp[z*\[Lambda]-Divide[4,3]*\[Lambda]^(3)]	Failure	Failure	Skipped - Because timed out	Failed [300 / 300] Result: Plus[Complex[-1.4719523959894307, 0.7427233484952657], NSum[Times[Power[E, Times[Complex[0, Rational[1, 3]], Pi]], Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], m]] Test Values: {m, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[λ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[p, m], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Result: Plus[Complex[-1.4719523959894307, 0.7427233484952657], NSum[Times[Power[E, Times[Complex[0, Rational[5, 6]], Pi]], Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], m]] Test Values: {m, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[λ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[p, m], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} ... skip entries to safe data
32.8.E9	${\displaystyle{\displaystyle w(z;n)=\frac{\mathrm{d}}{\mathrm{d}z}\left(\ln\left(\frac{\tau_{n-1}(z)}{\tau_{n}(z)}\right)\right)}}$ w(z;n) = \deriv{}{z}\left(\ln@{\frac{\tau_{n-1}(z)}{\tau_{n}(z)}}\right)		w(z ; n) = diff(ln((tau[n - 1](z))/(tau[n](z))), z)	w[z ; n] == D[Log[Divide[Subscript[\[Tau], n - 1][z],Subscript[\[Tau], n][z]]], z]	Translation Error	Translation Error	-	-
32.8.E11	${\displaystyle{\displaystyle w(z;\mu,-\mu\kappa^{2},\lambda,-\lambda\kappa^{4})=\kappa}}$ w(z;\mu,-\mu\kappa^{2},\lambda,-\lambda\kappa^{4}) = \kappa		w(z ; mu , - mu*(kappa)^(2), lambda , - lambda*(kappa)^(4)) = kappa	w[z ; \[Mu], - \[Mu]*\[Kappa]^(2), \[Lambda], - \[Lambda]*\[Kappa]^(4)] == \[Kappa]	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E12	${\displaystyle{\displaystyle w(z;0,-\mu,0,\mu\kappa)=\kappa z}}$ w(z;0,-\mu,0,\mu\kappa) = \kappa z		w(z ; 0 , - mu , 0 , mu*kappa) = kappa*z	w[z ; 0 , - \[Mu], 0 , \[Mu]*\[Kappa]] == \[Kappa]*z	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E13	${\displaystyle{\displaystyle w(z;2\kappa+3,-2\kappa+1,1,-1)=\dfrac{z+\kappa}{z+\kappa+1}}}$ w(z;2\kappa+3,-2\kappa+1,1,-1) = \dfrac{z+\kappa}{z+\kappa+1}		w(z ; 2*kappa + 3 , - 2*kappa + 1 , 1 , - 1) = (z + kappa)/(z + kappa + 1)	w[z ; 2*\[Kappa]+ 3 , - 2*\[Kappa]+ 1 , 1 , - 1] == Divide[z + \[Kappa],z + \[Kappa]+ 1]	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E14	${\displaystyle{\displaystyle\alpha+\beta=4n}}$ \alpha+\beta = 4n		alpha + beta = 4*n	\[Alpha]+ \[Beta] == 4*n	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E15	${\displaystyle{\displaystyle w(z)=\ifrac{P_{m}(z)}{Q_{m}(z)}}}$ w(z) = \ifrac{P_{m}(z)}{Q_{m}(z)}		w(z) = (P[m](z))/(Q[m](z))	w[z] == Divide[Subscript[P, m][z],Subscript[Q, m][z]]	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E16	${\displaystyle{\displaystyle w_{1}(z;+2,-2)=+\ifrac{1}{z}}}$ w_{1}(z;+ 2,-2) = +\ifrac{1}{z}		w[1](z ; + 2 , - 2) = +(1)/(z)	Subscript[w, 1][z ; + 2 , - 2] == +Divide[1,z]	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E17	${\displaystyle{\displaystyle w_{2}(z;0,-2)=-2z}}$ w_{2}(z;0,-2) = -2z		w[2](z ; 0 , - 2) = - 2*z	Subscript[w, 2][z ; 0 , - 2] == - 2*z	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E18	${\displaystyle{\displaystyle w_{3}(z;0,-\tfrac{2}{9})=-\tfrac{2}{3}z}}$ w_{3}(z;0,-\tfrac{2}{9}) = -\tfrac{2}{3}z		w[3](z ; 0 , -(2)/(9)) = -(2)/(3)*z	Subscript[w, 3][z ; 0 , -Divide[2,9]] == -Divide[2,3]*z	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E19	${\displaystyle{\displaystyle w_{1}(z;\alpha_{1},\beta_{1})=\ifrac{P_{1,n-1}(z)}{Q_{1,n}(z)}}}$ w_{1}(z;\alpha_{1},\beta_{1}) = \ifrac{P_{1,n-1}(z)}{Q_{1,n}(z)}		w[1](z ; alpha[1], beta[1]) = (P[1 , n - 1](z))/(Q[1 , n](z))	Subscript[w, 1][z ; Subscript[\[Alpha], 1], Subscript[\[Beta], 1]] == Divide[Subscript[P, 1 , n - 1][z],Subscript[Q, 1 , n][z]]	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E20	${\displaystyle{\displaystyle w_{2}(z;\alpha_{2},\beta_{2})=-2z+(\ifrac{P_{2,n-1}(z)}{Q_{2,n}(z)})}}$ w_{2}(z;\alpha_{2},\beta_{2}) = -2z+(\ifrac{P_{2,n-1}(z)}{Q_{2,n}(z)})		w[2](z ; alpha[2], beta[2]) = - 2*z +((P[2 , n - 1](z))/(Q[2 , n](z)))	Subscript[w, 2][z ; Subscript[\[Alpha], 2], Subscript[\[Beta], 2]] == - 2*z +(Divide[Subscript[P, 2 , n - 1][z],Subscript[Q, 2 , n][z]])	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E21	${\displaystyle{\displaystyle w_{3}(z;\alpha_{3},\beta_{3})=-\tfrac{2}{3}z+(\ifrac{P_{3,n-1}(z)}{Q_{3,n}(z)})}}$ w_{3}(z;\alpha_{3},\beta_{3}) = -\tfrac{2}{3}z+(\ifrac{P_{3,n-1}(z)}{Q_{3,n}(z)})		w[3](z ; alpha[3], beta[3]) = -(2)/(3)*z +((P[3 , n - 1](z))/(Q[3 , n](z)))	Subscript[w, 3][z ; Subscript[\[Alpha], 3], Subscript[\[Beta], 3]] == -Divide[2,3]*z +(Divide[Subscript[P, 3 , n - 1][z],Subscript[Q, 3 , n][z]])	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8#Ex6	${\displaystyle{\displaystyle\alpha=m}}$ \alpha = m		alpha = m	\[Alpha] == m	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8#Ex7	${\displaystyle{\displaystyle\beta=-2(1+2n-m)^{2}}}$ \beta = -2(1+2n-m)^{2}		beta = - 2*(1 + 2*n - m)^(2)	\[Beta] == - 2*(1 + 2*n - m)^(2)	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8#Ex8	${\displaystyle{\displaystyle\mspace{12.0mu }\alpha=m}}$ \mspace{12.0mu }\alpha = m		alpha = m	\[Alpha] == m	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8#Ex9	${\displaystyle{\displaystyle\beta=-2(\tfrac{1}{3}+2n-m)^{2}}}$ \beta = -2(\tfrac{1}{3}+2n-m)^{2}		beta = - 2*((1)/(3)+ 2*n - m)^(2)	\[Beta] == - 2*(Divide[1,3]+ 2*n - m)^(2)	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E24	${\displaystyle{\displaystyle w(z;\tfrac{1}{2},-\tfrac{1}{2}\mu^{2},\kappa(2-\mu),-\tfrac{1}{2}\kappa^{2})=\kappa z+\mu}}$ w(z;\tfrac{1}{2},-\tfrac{1}{2}\mu^{2},\kappa(2-\mu),-\tfrac{1}{2}\kappa^{2}) = \kappa z+\mu		w(z ;(1)/(2), -(1)/(2)*(mu)^(2), kappa*(2 - mu), -(1)/(2)*(kappa)^(2)) = kappa*z + mu	w[z ;Divide[1,2], -Divide[1,2]*\[Mu]^(2), \[Kappa]*(2 - \[Mu]), -Divide[1,2]*\[Kappa]^(2)] == \[Kappa]*z + \[Mu]	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E25	${\displaystyle{\displaystyle w(z;\tfrac{1}{2},\kappa^{2}\mu,2\kappa\mu,\mu)=\kappa/(z+\kappa)}}$ w(z;\tfrac{1}{2},\kappa^{2}\mu,2\kappa\mu,\mu) = \kappa/(z+\kappa)		w(z ;(1)/(2), (kappa)^(2)* mu , 2*kappa*mu , mu) = kappa/(z + kappa)	w[z ;Divide[1,2], \[Kappa]^(2)* \[Mu], 2*\[Kappa]*\[Mu], \[Mu]] == \[Kappa]/(z + \[Kappa])	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E26	${\displaystyle{\displaystyle w(z;\tfrac{1}{8},-\tfrac{1}{8},-\kappa\mu,\mu)=(\kappa+z)/(\kappa-z)}}$ w(z;\tfrac{1}{8},-\tfrac{1}{8},-\kappa\mu,\mu) = (\kappa+z)/(\kappa-z)		w(z ;(1)/(8), -(1)/(8), - kappa*mu , mu) = (kappa + z)/(kappa - z)	w[z ;Divide[1,8], -Divide[1,8], - \[Kappa]*\[Mu], \[Mu]] == (\[Kappa]+ z)/(\[Kappa]- z)	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E27	${\displaystyle{\displaystyle w(z)=\lambda z+\mu+(\ifrac{P_{n-1}(z)}{Q_{n}(z)})}}$ w(z) = \lambda z+\mu+(\ifrac{P_{n-1}(z)}{Q_{n}(z)})		w(z) = lambda*z + mu +((P[n - 1](z))/(Q[n](z)))	w[z] == \[Lambda]*z + \[Mu]+(Divide[Subscript[P, n - 1][z],Subscript[Q, n][z]])	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E28	${\displaystyle{\displaystyle w(z;\mu,-\mu\kappa^{2},\tfrac{1}{2},\tfrac{1}{2}-\mu(\kappa-1)^{2})=\kappa z}}$ w(z;\mu,-\mu\kappa^{2},\tfrac{1}{2},\tfrac{1}{2}-\mu(\kappa-1)^{2}) = \kappa z		w(z ; mu , - mu*(kappa)^(2),(1)/(2),(1)/(2)- mu*(kappa - 1)^(2)) = kappa*z	w[z ; \[Mu], - \[Mu]*\[Kappa]^(2),Divide[1,2],Divide[1,2]- \[Mu]*(\[Kappa]- 1)^(2)] == \[Kappa]*z	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E29	${\displaystyle{\displaystyle w(z;0,0,2,0)=\kappa z^{2}}}$ w(z;0,0,2,0) = \kappa z^{2}		w(z ; 0 , 0 , 2 , 0) = kappa*(z)^(2)	w[z ; 0 , 0 , 2 , 0] == \[Kappa]*(z)^(2)	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E30	${\displaystyle{\displaystyle w(z;0,0,\tfrac{1}{2},-\tfrac{3}{2})=\ifrac{\kappa}{z}}}$ w(z;0,0,\tfrac{1}{2},-\tfrac{3}{2}) = \ifrac{\kappa}{z}		w(z ; 0 , 0 ,(1)/(2), -(3)/(2)) = (kappa)/(z)	w[z ; 0 , 0 ,Divide[1,2], -Divide[3,2]] == Divide[\[Kappa],z]	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E31	${\displaystyle{\displaystyle w(z;0,0,2,-4)=\ifrac{\kappa}{z^{2}}}}$ w(z;0,0,2,-4) = \ifrac{\kappa}{z^{2}}		w(z ; 0 , 0 , 2 , - 4) = (kappa)/((z)^(2))	w[z ; 0 , 0 , 2 , - 4] == Divide[\[Kappa],(z)^(2)]	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E32	${\displaystyle{\displaystyle w(z;\tfrac{1}{2}(\kappa+\mu)^{2},-\tfrac{1}{2},\tfrac{1}{2}(\mu-1)^{2},\tfrac{1}{2}\kappa(2-\kappa))=\dfrac{z}{\kappa+\mu z}}}$ w(z;\tfrac{1}{2}(\kappa+\mu)^{2},-\tfrac{1}{2},\tfrac{1}{2}(\mu-1)^{2},\tfrac{1}{2}\kappa(2-\kappa)) = \dfrac{z}{\kappa+\mu z}		w(z ;(1)/(2)*(kappa + mu)^(2), -(1)/(2),(1)/(2)*(mu - 1)^(2),(1)/(2)*kappa*(2 - kappa)) = (z)/(kappa + mu*z)	w[z ;Divide[1,2]*(\[Kappa]+ \[Mu])^(2), -Divide[1,2],Divide[1,2]*(\[Mu]- 1)^(2),Divide[1,2]*\[Kappa]*(2 - \[Kappa])] == Divide[z,\[Kappa]+ \[Mu]*z]	Skipped - no semantic math	Skipped - no semantic math	-	-
32.8.E33	${\displaystyle{\displaystyle a+b+c+d=2n+1}}$ a+b+c+d = 2n+1		a + b + c + d = 2*n + 1	a + b + c + d == 2*n + 1	Skipped - no semantic math	Skipped - no semantic math	-	-