q -Hypergeometric and Related Functions - 17.6 Function

From testwiki
Revision as of 11:42, 28 June 2021 by Admin (talk | contribs) (Admin moved page Main Page to Verifying DLMF with Maple and Mathematica)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


DLMF Formula Constraints Maple Mathematica Symbolic
Maple 		Symbolic
Mathematica 		Numeric
Maple 		Numeric
Mathematica
17.6.E1 ϕ 1 2 ⁡ ( a , b c ; q , c / ( a ⁢ b ) ) = ( c / a , c / b ; q ) ∞ ( c , c / ( a ⁢ b ) ; q ) ∞ q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑐 𝑎 𝑏 q-multiple-Pochhammer 𝑐 𝑎 𝑐 𝑏 𝑞 q-multiple-Pochhammer 𝑐 𝑐 𝑎 𝑏 𝑞 {\displaystyle{\displaystyle{{}_{2}\phi_{1}}\left({a,b\atop c};q,\ifrac{c}{(ab% )}\right)=\frac{\left(c/a,c/b;q\right)_{\infty}}{\left(c,c/(ab);q\right)_{% \infty}}}}
\qgenhyperphi{2}{1}@@{a,b}{c}{q}{\ifrac{c}{(ab)}} = \frac{\qmultiPochhammersym{c/a,c/b}{q}{\infty}}{\qmultiPochhammersym{c,c/(ab)}{q}{\infty}}		 

Error

QHypergeometricPFQ[{a , b},{c},q,Divide[c,a*b]] == Divide[Product[QPochhammer[Part[{c/a , c/b},i],q,Infinity],{i,1,Length[{c/a , c/b}]}],Product[QPochhammer[Part[{c , c/(a*b)},i],q,Infinity],{i,1,Length[{c , c/(a*b)}]}]]
Missing Macro Error Failure -
Failed [262 / 300]
Result: Plus[0.0, QHypergeometricPFQ[{-1.5, -1.5}
Test Values: {-1.5}, Complex[0.8660254037844387, 0.49999999999999994], -0.6666666666666666]], {Rule[a, -1.5], Rule[b, -1.5], Rule[c, -1.5], Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}


Result: Plus[0.0, QHypergeometricPFQ[{-1.5, -1.5}
Test Values: {-1.5}, Complex[-0.4999999999999998, 0.8660254037844387], -0.6666666666666666]], {Rule[a, -1.5], Rule[b, -1.5], Rule[c, -1.5], Rule[q, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}

... skip entries to safe data
17.6.E2 ϕ 1 2 ⁡ ( a , q - n c ; q , c ⁢ q n / a ) = ( c / a ; q ) n ( c ; q ) n q-hypergeometric-rphis 2 1 𝑎 superscript 𝑞 𝑛 𝑐 𝑞 𝑐 superscript 𝑞 𝑛 𝑎 q-Pochhammer-symbol 𝑐 𝑎 𝑞 𝑛 q-Pochhammer-symbol 𝑐 𝑞 𝑛 {\displaystyle{\displaystyle{{}_{2}\phi_{1}}\left({a,q^{-n}\atop c};q,\ifrac{% cq^{n}}{a}\right)=\frac{\left(c/a;q\right)_{n}}{\left(c;q\right)_{n}}}}
\qgenhyperphi{2}{1}@@{a,q^{-n}}{c}{q}{\ifrac{cq^{n}}{a}} = \frac{\qPochhammer{c/a}{q}{n}}{\qPochhammer{c}{q}{n}}		 

Error

QHypergeometricPFQ[{a , (q)^(- n)},{c},q,Divide[c*(q)^(n),a]] == Divide[QPochhammer[c/a, q, n],QPochhammer[c, q, n]]
Missing Macro Error Failure -
Failed [204 / 300]
Result: Plus[0.0, QHypergeometricPFQ[{-1.5, Complex[0.8660254037844387, -0.49999999999999994]}
Test Values: {-1.5}, Complex[0.8660254037844387, 0.49999999999999994], Complex[0.8660254037844387, 0.49999999999999994]]], {Rule[a, -1.5], Rule[c, -1.5], Rule[n, 1], Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}


Result: Plus[Complex[0.0, 0.0], QHypergeometricPFQ[{-1.5, Complex[0.5000000000000001, -0.8660254037844386]}
Test Values: {-1.5}, Complex[0.8660254037844387, 0.49999999999999994], Complex[0.5000000000000001, 0.8660254037844386]]], {Rule[a, -1.5], Rule[c, -1.5], Rule[n, 2], Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

... skip entries to safe data
17.6.E3 ϕ 1 2 ⁡ ( a , q - n c ; q , q ) = a n ⁢ ( c / a ; q ) n ( c ; q ) n q-hypergeometric-rphis 2 1 𝑎 superscript 𝑞 𝑛 𝑐 𝑞 𝑞 superscript 𝑎 𝑛 q-Pochhammer-symbol 𝑐 𝑎 𝑞 𝑛 q-Pochhammer-symbol 𝑐 𝑞 𝑛 {\displaystyle{\displaystyle{{}_{2}\phi_{1}}\left({a,q^{-n}\atop c};q,q\right)% =\frac{a^{n}\left(c/a;q\right)_{n}}{\left(c;q\right)_{n}}}}
\qgenhyperphi{2}{1}@@{a,q^{-n}}{c}{q}{q} = \frac{a^{n}\qPochhammer{c/a}{q}{n}}{\qPochhammer{c}{q}{n}}		 

Error

QHypergeometricPFQ[{a , (q)^(- n)},{c},q,q] == Divide[(a)^(n)* QPochhammer[c/a, q, n],QPochhammer[c, q, n]]
Missing Macro Error Failure -
Failed [168 / 300]
Result: Plus[0.0, QHypergeometricPFQ[{-1.5, Complex[0.8660254037844387, -0.49999999999999994]}
Test Values: {-1.5}, Complex[0.8660254037844387, 0.49999999999999994], Complex[0.8660254037844387, 0.49999999999999994]]], {Rule[a, -1.5], Rule[c, -1.5], Rule[n, 1], Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}


Result: Plus[Complex[0.0, 0.0], QHypergeometricPFQ[{-1.5, Complex[0.5000000000000001, -0.8660254037844386]}
Test Values: {-1.5}, Complex[0.8660254037844387, 0.49999999999999994], Complex[0.8660254037844387, 0.49999999999999994]]], {Rule[a, -1.5], Rule[c, -1.5], Rule[n, 2], Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

... skip entries to safe data
17.6.E4 ϕ 1 2 ⁡ ( b 2 , b 2 / c c ; q 2 , c ⁢ q / b 2 ) = 1 2 ⁢ ( b 2 , q ; q 2 ) ∞ ( c , c ⁢ q / b 2 ; q 2 ) ∞ ⁢ ( ( c / b ; q ) ∞ ( b ; q ) ∞ + ( - c / b ; q ) ∞ ( - b ; q ) ∞ ) q-hypergeometric-rphis 2 1 superscript 𝑏 2 superscript 𝑏 2 𝑐 𝑐 superscript 𝑞 2 𝑐 𝑞 superscript 𝑏 2 1 2 q-multiple-Pochhammer superscript 𝑏 2 𝑞 superscript 𝑞 2 q-multiple-Pochhammer 𝑐 𝑐 𝑞 superscript 𝑏 2 superscript 𝑞 2 q-Pochhammer-symbol 𝑐 𝑏 𝑞 q-Pochhammer-symbol 𝑏 𝑞 q-Pochhammer-symbol 𝑐 𝑏 𝑞 q-Pochhammer-symbol 𝑏 𝑞 {\displaystyle{\displaystyle{{}_{2}\phi_{1}}\left({b^{2},\ifrac{b^{2}}{c}\atop c% };q^{2},\ifrac{cq}{b^{2}}\right)=\frac{1}{2}\frac{\left(b^{2},q;q^{2}\right)_{% \infty}}{\left(c,cq/b^{2};q^{2}\right)_{\infty}}\left(\frac{\left(c/b;q\right)% _{\infty}}{\left(b;q\right)_{\infty}}+\frac{\left(-c/b;q\right)_{\infty}}{% \left(-b;q\right)_{\infty}}\right)}}
\qgenhyperphi{2}{1}@@{b^{2},\ifrac{b^{2}}{c}}{c}{q^{2}}{\ifrac{cq}{b^{2}}} = \frac{1}{2}\frac{\qmultiPochhammersym{b^{2},q}{q^{2}}{\infty}}{\qmultiPochhammersym{c,cq/b^{2}}{q^{2}}{\infty}}\left(\frac{\qPochhammer{c/b}{q}{\infty}}{\qPochhammer{b}{q}{\infty}}+\frac{\qPochhammer{-c/b}{q}{\infty}}{\qPochhammer{-b}{q}{\infty}}\right)		 | c ⁢ q | < | b 2 | 𝑐 𝑞 superscript 𝑏 2 {\displaystyle{\displaystyle|cq|<|b^{2}|}} 
Error

QHypergeometricPFQ[{(b)^(2),Divide[(b)^(2),c]},{c},(q)^(2),Divide[c*q,(b)^(2)]] == Divide[1,2]*Divide[Product[QPochhammer[Part[{(b)^(2), q},i],(q)^(2),Infinity],{i,1,Length[{(b)^(2), q}]}],Product[QPochhammer[Part[{c , c*q/(b)^(2)},i],(q)^(2),Infinity],{i,1,Length[{c , c*q/(b)^(2)}]}]]*(Divide[QPochhammer[c/b, q, Infinity],QPochhammer[b, q, Infinity]]+Divide[QPochhammer[- c/b, q, Infinity],QPochhammer[- b, q, Infinity]])
Missing Macro Error Failure - Skipped - Because timed out
17.6.E5 ϕ 1 2 ⁡ ( a , b a ⁢ q / b ; q , - q / b ) = ( - q ; q ) ∞ ⁢ ( a ⁢ q , a ⁢ q 2 / b 2 ; q 2 ) ∞ ( - q / b , a ⁢ q / b ; q ) ∞ q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑎 𝑞 𝑏 𝑞 𝑞 𝑏 q-Pochhammer-symbol 𝑞 𝑞 q-multiple-Pochhammer 𝑎 𝑞 𝑎 superscript 𝑞 2 superscript 𝑏 2 superscript 𝑞 2 q-multiple-Pochhammer 𝑞 𝑏 𝑎 𝑞 𝑏 𝑞 {\displaystyle{\displaystyle{{}_{2}\phi_{1}}\left({a,b\atop aq/b};q,-q/b\right% )=\frac{\left(-q;q\right)_{\infty}\left(aq,\ifrac{aq^{2}}{b^{2}};q^{2}\right)_% {\infty}}{\left(-q/b,aq/b;q\right)_{\infty}}}}
\qgenhyperphi{2}{1}@@{a,b}{aq/b}{q}{-q/b} = \frac{\qPochhammer{-q}{q}{\infty}\qmultiPochhammersym{aq,\ifrac{aq^{2}}{b^{2}}}{q^{2}}{\infty}}{\qmultiPochhammersym{-q/b,aq/b}{q}{\infty}}		 | b | > | q | 𝑏 𝑞 {\displaystyle{\displaystyle|b|>|q|}} 
Error

QHypergeometricPFQ[{a , b},{a*q/b},q,- q/b] == Divide[QPochhammer[- q, q, Infinity]*Product[QPochhammer[Part[{a*q ,Divide[a*(q)^(2),(b)^(2)]},i],(q)^(2),Infinity],{i,1,Length[{a*q ,Divide[a*(q)^(2),(b)^(2)]}]}],Product[QPochhammer[Part[{- q/b , a*q/b},i],q,Infinity],{i,1,Length[{- q/b , a*q/b}]}]]
Missing Macro Error Failure - Skipped - Because timed out
17.6.E6 ϕ 1 2 ⁡ ( a , b c ; q , z ) = ( b , a ⁢ z ; q ) ∞ ( c , z ; q ) ∞ ⁢ ϕ 1 2 ⁡ ( c / b , z a ⁢ z ; q , b ) q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑧 q-multiple-Pochhammer 𝑏 𝑎 𝑧 𝑞 q-multiple-Pochhammer 𝑐 𝑧 𝑞 q-hypergeometric-rphis 2 1 𝑐 𝑏 𝑧 𝑎 𝑧 𝑞 𝑏 {\displaystyle{\displaystyle{{}_{2}\phi_{1}}\left({a,b\atop c};q,z\right)=% \frac{\left(b,az;q\right)_{\infty}}{\left(c,z;q\right)_{\infty}}{{}_{2}\phi_{1% }}\left({c/b,z\atop az};q,b\right)}}
\qgenhyperphi{2}{1}@@{a,b}{c}{q}{z} = \frac{\qmultiPochhammersym{b,az}{q}{\infty}}{\qmultiPochhammersym{c,z}{q}{\infty}}\qgenhyperphi{2}{1}@@{c/b,z}{az}{q}{b}		 | z | < 1 , | b | < 1 formulae-sequence 𝑧 1 𝑏 1 {\displaystyle{\displaystyle|z|<1,|b|<1}} 
Error

QHypergeometricPFQ[{a , b},{c},q,z] == Divide[Product[QPochhammer[Part[{b , a*z},i],q,Infinity],{i,1,Length[{b , a*z}]}],Product[QPochhammer[Part[{c , z},i],q,Infinity],{i,1,Length[{c , z}]}]]*QHypergeometricPFQ[{c/b , z},{a*z},q,b]
Missing Macro Error Failure - Skip - No test values generated
17.6.E7 ϕ 1 2 ⁡ ( a , b c ; q , z ) = ( c / b , b ⁢ z ; q ) ∞ ( c , z ; q ) ∞ ⁢ ϕ 1 2 ⁡ ( a ⁢ b ⁢ z / c , b b ⁢ z ; q , c / b ) q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑧 q-multiple-Pochhammer 𝑐 𝑏 𝑏 𝑧 𝑞 q-multiple-Pochhammer 𝑐 𝑧 𝑞 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑧 𝑐 𝑏 𝑏 𝑧 𝑞 𝑐 𝑏 {\displaystyle{\displaystyle{{}_{2}\phi_{1}}\left({a,b\atop c};q,z\right)=% \frac{\left(c/b,bz;q\right)_{\infty}}{\left(c,z;q\right)_{\infty}}{{}_{2}\phi_% {1}}\left({\ifrac{abz}{c},b\atop bz};q,c/b\right)}}
\qgenhyperphi{2}{1}@@{a,b}{c}{q}{z} = \frac{\qmultiPochhammersym{c/b,bz}{q}{\infty}}{\qmultiPochhammersym{c,z}{q}{\infty}}\qgenhyperphi{2}{1}@@{\ifrac{abz}{c},b}{bz}{q}{c/b}		 | z | < 1 , | c | < | b | formulae-sequence 𝑧 1 𝑐 𝑏 {\displaystyle{\displaystyle|z|<1,|c|<|b|}} 
Error

QHypergeometricPFQ[{a , b},{c},q,z] == Divide[Product[QPochhammer[Part[{c/b , b*z},i],q,Infinity],{i,1,Length[{c/b , b*z}]}],Product[QPochhammer[Part[{c , z},i],q,Infinity],{i,1,Length[{c , z}]}]]*QHypergeometricPFQ[{Divide[a*b*z,c], b},{b*z},q,c/b]
Missing Macro Error Failure - Skip - No test values generated
17.6.E8 ϕ 1 2 ⁡ ( a , b c ; q , z ) = ( a ⁢ b ⁢ z / c ; q ) ∞ ( z ; q ) ∞ ⁢ ϕ 1 2 ⁡ ( c / a , c / b c ; q , a ⁢ b ⁢ z / c ) q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑧 q-Pochhammer-symbol 𝑎 𝑏 𝑧 𝑐 𝑞 q-Pochhammer-symbol 𝑧 𝑞 q-hypergeometric-rphis 2 1 𝑐 𝑎 𝑐 𝑏 𝑐 𝑞 𝑎 𝑏 𝑧 𝑐 {\displaystyle{\displaystyle{{}_{2}\phi_{1}}\left({a,b\atop c};q,z\right)=% \frac{\left(\ifrac{abz}{c};q\right)_{\infty}}{\left(z;q\right)_{\infty}}{{}_{2% }\phi_{1}}\left({c/a,c/b\atop c};q,\ifrac{abz}{c}\right)}}
\qgenhyperphi{2}{1}@@{a,b}{c}{q}{z} = \frac{\qPochhammer{\ifrac{abz}{c}}{q}{\infty}}{\qPochhammer{z}{q}{\infty}}\qgenhyperphi{2}{1}@@{c/a,c/b}{c}{q}{\ifrac{abz}{c}}		 | z | < 1 , | a ⁢ b ⁢ z | < | c | formulae-sequence 𝑧 1 𝑎 𝑏 𝑧 𝑐 {\displaystyle{\displaystyle|z|<1,|abz|<|c|}} 
Error

QHypergeometricPFQ[{a , b},{c},q,z] == Divide[QPochhammer[Divide[a*b*z,c], q, Infinity],QPochhammer[z, q, Infinity]]*QHypergeometricPFQ[{c/a , c/b},{c},q,Divide[a*b*z,c]]
Missing Macro Error Failure - Skip - No test values generated
17.6.E9 ϕ 1 2 ⁡ ( q , a ⁢ q b ⁢ q ; q , z ) = - ( 1 - b ) ⁢ ( a ⁢ q / b ) ( 1 - ( a ⁢ q / b ) ) ⁢ ∑ n = 0 ∞ ( a ⁢ q , a ⁢ z ⁢ q / b ; q ) n ⁢ q n ( a ⁢ z ⁢ q 2 / b ; q ) n + ( a ⁢ q , a ⁢ z ⁢ q / b ; q ) ∞ ( a ⁢ q / b ; q ) ∞ ⁢ ϕ 1 2 ⁡ ( q , 0 b ⁢ q ; q , z ) q-hypergeometric-rphis 2 1 𝑞 𝑎 𝑞 𝑏 𝑞 𝑞 𝑧 1 𝑏 𝑎 𝑞 𝑏 1 𝑎 𝑞 𝑏 superscript subscript 𝑛 0 q-multiple-Pochhammer 𝑎 𝑞 𝑎 𝑧 𝑞 𝑏 𝑞 𝑛 superscript 𝑞 𝑛 q-Pochhammer-symbol 𝑎 𝑧 superscript 𝑞 2 𝑏 𝑞 𝑛 q-multiple-Pochhammer 𝑎 𝑞 𝑎 𝑧 𝑞 𝑏 𝑞 q-Pochhammer-symbol 𝑎 𝑞 𝑏 𝑞 q-hypergeometric-rphis 2 1 𝑞 0 𝑏 𝑞 𝑞 𝑧 {\displaystyle{\displaystyle{{}_{2}\phi_{1}}\left({q,aq\atop bq};q,z\right)=-% \frac{(1-b)(aq/b)}{(1-(\ifrac{aq}{b}))}\sum_{n=0}^{\infty}\frac{\left(aq,azq/b% ;q\right)_{n}q^{n}}{\left(azq^{2}/b;q\right)_{n}}+\frac{\left(aq,azq/b;q\right% )_{\infty}}{\left(aq/b;q\right)_{\infty}}{{}_{2}\phi_{1}}\left({q,0\atop bq};q% ,z\right)}}
\qgenhyperphi{2}{1}@@{q,aq}{bq}{q}{z} = -\frac{(1-b)(aq/b)}{(1-(\ifrac{aq}{b}))}\sum_{n=0}^{\infty}\frac{\qmultiPochhammersym{aq,azq/b}{q}{n}q^{n}}{\qPochhammer{azq^{2}/b}{q}{n}}+\frac{\qmultiPochhammersym{aq,azq/b}{q}{\infty}}{\qPochhammer{aq/b}{q}{\infty}}\qgenhyperphi{2}{1}@@{q,0}{bq}{q}{z}		 | z | < 1 𝑧 1 {\displaystyle{\displaystyle|z|<1}} 
Error

QHypergeometricPFQ[{q , a*q},{b*q},q,z] == -Divide[(1 - b)*(a*q/b),1 -(Divide[a*q,b])]*Sum[Divide[Product[QPochhammer[Part[{a*q , a*z*q/b},i],q,n],{i,1,Length[{a*q , a*z*q/b}]}]*(q)^(n),QPochhammer[a*z*(q)^(2)/b, q, n]], {n, 0, Infinity}, GenerateConditions->None]+Divide[Product[QPochhammer[Part[{a*q , a*z*q/b},i],q,Infinity],{i,1,Length[{a*q , a*z*q/b}]}],QPochhammer[a*q/b, q, Infinity]]*QHypergeometricPFQ[{q , 0},{b*q},q,z]
Missing Macro Error Aborted - Skipped - Because timed out
17.6.E10 ( 1 - z ) ⁢ ϕ 1 2 ⁡ ( q , a ⁢ q b ⁢ q ; q , z ) = ∑ n = 0 ∞ ( b / a ; q ) n ⁢ ( - a ⁢ z ) n ⁢ q ( n 2 + n ) / 2 ( b ⁢ q , z ⁢ q ; q ) n 1 𝑧 q-hypergeometric-rphis 2 1 𝑞 𝑎 𝑞 𝑏 𝑞 𝑞 𝑧 superscript subscript 𝑛 0 q-Pochhammer-symbol 𝑏 𝑎 𝑞 𝑛 superscript 𝑎 𝑧 𝑛 superscript 𝑞 superscript 𝑛 2 𝑛 2 q-multiple-Pochhammer 𝑏 𝑞 𝑧 𝑞 𝑞 𝑛 {\displaystyle{\displaystyle(1-z){{}_{2}\phi_{1}}\left({q,aq\atop bq};q,z% \right)=\sum_{n=0}^{\infty}\frac{\left(b/a;q\right)_{n}(-az)^{n}q^{(n^{2}+n)/2% }}{\left(bq,zq;q\right)_{n}}}}
(1-z)\qgenhyperphi{2}{1}@@{q,aq}{bq}{q}{z} = \sum_{n=0}^{\infty}\frac{\qPochhammer{b/a}{q}{n}(-az)^{n}q^{(n^{2}+n)/2}}{\qmultiPochhammersym{bq,zq}{q}{n}}		 | z | < 1 𝑧 1 {\displaystyle{\displaystyle|z|<1}} 
Error

(1 - z)*QHypergeometricPFQ[{q , a*q},{b*q},q,z] == Sum[Divide[QPochhammer[b/a, q, n]*(- a*z)^(n)* (q)^(((n)^(2)+ n)/2),Product[QPochhammer[Part[{b*q , z*q},i],q,n],{i,1,Length[{b*q , z*q}]}]], {n, 0, Infinity}, GenerateConditions->None]
Missing Macro Error Aborted - Skipped - Because timed out
17.6.E11 1 - z 1 - b ⁢ ϕ 1 2 ⁡ ( q , a ⁢ q b ⁢ q ; q , z ) = ∑ n = 0 ∞ ( a ⁢ q ; q ) n ⁢ ( a ⁢ z ⁢ q / b ; q ) 2 ⁢ n ⁢ b n ( z ⁢ q , a ⁢ q / b ; q ) n - a ⁢ q ⁢ ∑ n = 0 ∞ ( a ⁢ q ; q ) n ⁢ ( a ⁢ z ⁢ q / b ; q ) 2 ⁢ n + 1 ⁢ ( b ⁢ q ) n ( z ⁢ q ; q ) n ⁢ ( a ⁢ q / b ; q ) n + 1 1 𝑧 1 𝑏 q-hypergeometric-rphis 2 1 𝑞 𝑎 𝑞 𝑏 𝑞 𝑞 𝑧 superscript subscript 𝑛 0 q-Pochhammer-symbol 𝑎 𝑞 𝑞 𝑛 q-Pochhammer-symbol 𝑎 𝑧 𝑞 𝑏 𝑞 2 𝑛 superscript 𝑏 𝑛 q-multiple-Pochhammer 𝑧 𝑞 𝑎 𝑞 𝑏 𝑞 𝑛 𝑎 𝑞 superscript subscript 𝑛 0 q-Pochhammer-symbol 𝑎 𝑞 𝑞 𝑛 q-Pochhammer-symbol 𝑎 𝑧 𝑞 𝑏 𝑞 2 𝑛 1 superscript 𝑏 𝑞 𝑛 q-Pochhammer-symbol 𝑧 𝑞 𝑞 𝑛 q-Pochhammer-symbol 𝑎 𝑞 𝑏 𝑞 𝑛 1 {\displaystyle{\displaystyle\frac{1-z}{1-b}{{}_{2}\phi_{1}}\left({q,aq\atop bq% };q,z\right)=\sum_{n=0}^{\infty}\frac{\left(aq;q\right)_{n}\left(azq/b;q\right% )_{2n}b^{n}}{\left(zq,aq/b;q\right)_{n}}-aq\sum_{n=0}^{\infty}\frac{\left(aq;q% \right)_{n}\left(azq/b;q\right)_{2n+1}(bq)^{n}}{\left(zq;q\right)_{n}\left(aq/% b;q\right)_{n+1}}}}
\frac{1-z}{1-b}\qgenhyperphi{2}{1}@@{q,aq}{bq}{q}{z} = \sum_{n=0}^{\infty}\frac{\qPochhammer{aq}{q}{n}\qPochhammer{azq/b}{q}{2n}b^{n}}{\qmultiPochhammersym{zq,aq/b}{q}{n}}-aq\sum_{n=0}^{\infty}\frac{\qPochhammer{aq}{q}{n}\qPochhammer{azq/b}{q}{2n+1}(bq)^{n}}{\qPochhammer{zq}{q}{n}\qPochhammer{aq/b}{q}{n+1}}		 | z | < 1 , | b | < 1 formulae-sequence 𝑧 1 𝑏 1 {\displaystyle{\displaystyle|z|<1,|b|<1}} 
Error

Divide[1 - z,1 - b]*QHypergeometricPFQ[{q , a*q},{b*q},q,z] == Sum[Divide[QPochhammer[a*q, q, n]*QPochhammer[a*z*q/b, q, 2*n]*(b)^(n),Product[QPochhammer[Part[{z*q , a*q/b},i],q,n],{i,1,Length[{z*q , a*q/b}]}]], {n, 0, Infinity}, GenerateConditions->None]- a*q*Sum[Divide[QPochhammer[a*q, q, n]*QPochhammer[a*z*q/b, q, 2*n + 1]*(b*q)^(n),QPochhammer[z*q, q, n]*QPochhammer[a*q/b, q, n + 1]], {n, 0, Infinity}, GenerateConditions->None]
Missing Macro Error Aborted - Skipped - Because timed out
17.6.E12 ( 1 - z ) ⁢ ϕ 1 2 ⁡ ( q , a ⁢ q b ⁢ q ; q , z ) = ∑ n = 0 ∞ ( a ⁢ q , a ⁢ z ⁢ q / b ; q ) n ( b ⁢ q , z ⁢ q ; q ) n ⁢ ( 1 - a ⁢ z ⁢ q 2 ⁢ n + 1 ) ⁢ ( b ⁢ z ) n ⁢ q n 2 1 𝑧 q-hypergeometric-rphis 2 1 𝑞 𝑎 𝑞 𝑏 𝑞 𝑞 𝑧 superscript subscript 𝑛 0 q-multiple-Pochhammer 𝑎 𝑞 𝑎 𝑧 𝑞 𝑏 𝑞 𝑛 q-multiple-Pochhammer 𝑏 𝑞 𝑧 𝑞 𝑞 𝑛 1 𝑎 𝑧 superscript 𝑞 2 𝑛 1 superscript 𝑏 𝑧 𝑛 superscript 𝑞 superscript 𝑛 2 {\displaystyle{\displaystyle(1-z){{}_{2}\phi_{1}}\left({q,aq\atop bq};q,z% \right)=\sum_{n=0}^{\infty}\frac{\left(aq,azq/b;q\right)_{n}}{\left(bq,zq;q% \right)_{n}}(1-azq^{2n+1})(bz)^{n}q^{n^{2}}}}
(1-z)\qgenhyperphi{2}{1}@@{q,aq}{bq}{q}{z} = \sum_{n=0}^{\infty}\frac{\qmultiPochhammersym{aq,azq/b}{q}{n}}{\qmultiPochhammersym{bq,zq}{q}{n}}(1-azq^{2n+1})(bz)^{n}q^{n^{2}}		 | z | < 1 𝑧 1 {\displaystyle{\displaystyle|z|<1}} 
Error

(1 - z)*QHypergeometricPFQ[{q , a*q},{b*q},q,z] == Sum[Divide[Product[QPochhammer[Part[{a*q , a*z*q/b},i],q,n],{i,1,Length[{a*q , a*z*q/b}]}],Product[QPochhammer[Part[{b*q , z*q},i],q,n],{i,1,Length[{b*q , z*q}]}]]*(1 - a*z*(q)^(2*n + 1))*(b*z)^(n)* (q)^((n)^(2)), {n, 0, Infinity}, GenerateConditions->None]
Missing Macro Error Aborted - Skipped - Because timed out
17.6.E13 ϕ 1 2 ⁡ ( a , b ; c ; q , q ) + ( q / c , a , b ; q ) ∞ ( c / q , a ⁢ q / c , b ⁢ q / c ; q ) ∞ ⁢ ϕ 1 2 ⁡ ( a ⁢ q / c , b ⁢ q / c ; q 2 / c ; q , q ) = ( q / c , a ⁢ b ⁢ q / c ; q ) ∞ ( a ⁢ q / c , b ⁢ q / c ; q ) ∞ q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑞 q-multiple-Pochhammer 𝑞 𝑐 𝑎 𝑏 𝑞 q-multiple-Pochhammer 𝑐 𝑞 𝑎 𝑞 𝑐 𝑏 𝑞 𝑐 𝑞 q-hypergeometric-rphis 2 1 𝑎 𝑞 𝑐 𝑏 𝑞 𝑐 superscript 𝑞 2 𝑐 𝑞 𝑞 q-multiple-Pochhammer 𝑞 𝑐 𝑎 𝑏 𝑞 𝑐 𝑞 q-multiple-Pochhammer 𝑎 𝑞 𝑐 𝑏 𝑞 𝑐 𝑞 {\displaystyle{\displaystyle{{}_{2}\phi_{1}}\left(a,b;c;q,q\right)+\frac{\left% (q/c,a,b;q\right)_{\infty}}{\left(c/q,aq/c,bq/c;q\right)_{\infty}}{{}_{2}\phi_% {1}}\left(aq/c,bq/c;q^{2}/c;q,q\right)=\frac{\left(q/c,abq/c;q\right)_{\infty}% }{\left(aq/c,bq/c;q\right)_{\infty}}}}
\qgenhyperphi{2}{1}@{a,b}{c}{q}{q}+\frac{\qmultiPochhammersym{q/c,a,b}{q}{\infty}}{\qmultiPochhammersym{c/q,aq/c,bq/c}{q}{\infty}}\qgenhyperphi{2}{1}@{aq/c,bq/c}{q^{2}/c}{q}{q} = \frac{\qmultiPochhammersym{q/c,abq/c}{q}{\infty}}{\qmultiPochhammersym{aq/c,bq/c}{q}{\infty}}		 

Error

QHypergeometricPFQ[{a , b},{c},q,q]+Divide[Product[QPochhammer[Part[{q/c , a , b},i],q,Infinity],{i,1,Length[{q/c , a , b}]}],Product[QPochhammer[Part[{c/q , a*q/c , b*q/c},i],q,Infinity],{i,1,Length[{c/q , a*q/c , b*q/c}]}]]*QHypergeometricPFQ[{a*q/c , b*q/c},{(q)^(2)/c},q,q] == Divide[Product[QPochhammer[Part[{q/c , a*b*q/c},i],q,Infinity],{i,1,Length[{q/c , a*b*q/c}]}],Product[QPochhammer[Part[{a*q/c , b*q/c},i],q,Infinity],{i,1,Length[{a*q/c , b*q/c}]}]]
Missing Macro Error Failure - Skipped - Because timed out
17.6.E14 ∑ n = 0 ∞ ( a ; q ) n ⁢ ( b ; q 2 ) n ⁢ z n ( q ; q ) n ⁢ ( a ⁢ z ⁢ b ; q 2 ) n = ( a ⁢ z , b ⁢ z ; q 2 ) ∞ ( z , a ⁢ z ⁢ b ; q 2 ) ∞ ⁢ ϕ 1 2 ⁡ ( a , b b ⁢ z ; q 2 , z ⁢ q ) superscript subscript 𝑛 0 q-Pochhammer-symbol 𝑎 𝑞 𝑛 q-Pochhammer-symbol 𝑏 superscript 𝑞 2 𝑛 superscript 𝑧 𝑛 q-Pochhammer-symbol 𝑞 𝑞 𝑛 q-Pochhammer-symbol 𝑎 𝑧 𝑏 superscript 𝑞 2 𝑛 q-multiple-Pochhammer 𝑎 𝑧 𝑏 𝑧 superscript 𝑞 2 q-multiple-Pochhammer 𝑧 𝑎 𝑧 𝑏 superscript 𝑞 2 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑏 𝑧 superscript 𝑞 2 𝑧 𝑞 {\displaystyle{\displaystyle\sum_{n=0}^{\infty}\frac{\left(a;q\right)_{n}\left% (b;q^{2}\right)_{n}z^{n}}{\left(q;q\right)_{n}\left(azb;q^{2}\right)_{n}}=% \frac{\left(az,bz;q^{2}\right)_{\infty}}{\left(z,azb;q^{2}\right)_{\infty}}{{}% _{2}\phi_{1}}\left({a,b\atop bz};q^{2},zq\right)}}
\sum_{n=0}^{\infty}\frac{\qPochhammer{a}{q}{n}\qPochhammer{b}{q^{2}}{n}z^{n}}{\qPochhammer{q}{q}{n}\qPochhammer{azb}{q^{2}}{n}} = \frac{\qmultiPochhammersym{az,bz}{q^{2}}{\infty}}{\qmultiPochhammersym{z,azb}{q^{2}}{\infty}}\qgenhyperphi{2}{1}@@{a,b}{bz}{q^{2}}{zq}		 

Error

Sum[Divide[QPochhammer[a, q, n]*QPochhammer[b, (q)^(2), n]*(z)^(n),QPochhammer[q, q, n]*QPochhammer[a*z*b, (q)^(2), n]], {n, 0, Infinity}, GenerateConditions->None] == Divide[Product[QPochhammer[Part[{a*z , b*z},i],(q)^(2),Infinity],{i,1,Length[{a*z , b*z}]}],Product[QPochhammer[Part[{z , a*z*b},i],(q)^(2),Infinity],{i,1,Length[{z , a*z*b}]}]]*QHypergeometricPFQ[{a , b},{b*z},(q)^(2),z*q]
Missing Macro Error Aborted - Skipped - Because timed out
17.6.E15 ϕ 1 2 ⁡ ( a , b c ; q , z ) = ( a ⁢ b ⁢ z / c , q / c ; q ) ∞ ( a ⁢ z / c , q / a ; q ) ∞ ⁢ ϕ 1 2 ⁡ ( c / a , c ⁢ q / ( a ⁢ b ⁢ z ) c ⁢ q / ( a ⁢ z ) ; q , b ⁢ q / c ) - ( b , q / c , c / a , a ⁢ z / q , q 2 / ( a ⁢ z ) ; q ) ∞ ( c / q , b ⁢ q / c , q / a , a ⁢ z / c , c ⁢ q / ( a ⁢ z ) ; q ) ∞ ⁢ ϕ 1 2 ⁡ ( a ⁢ q / c , b ⁢ q / c q 2 / c ; q , z ) q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑧 q-multiple-Pochhammer 𝑎 𝑏 𝑧 𝑐 𝑞 𝑐 𝑞 q-multiple-Pochhammer 𝑎 𝑧 𝑐 𝑞 𝑎 𝑞 q-hypergeometric-rphis 2 1 𝑐 𝑎 𝑐 𝑞 𝑎 𝑏 𝑧 𝑐 𝑞 𝑎 𝑧 𝑞 𝑏 𝑞 𝑐 q-multiple-Pochhammer 𝑏 𝑞 𝑐 𝑐 𝑎 𝑎 𝑧 𝑞 superscript 𝑞 2 𝑎 𝑧 𝑞 q-multiple-Pochhammer 𝑐 𝑞 𝑏 𝑞 𝑐 𝑞 𝑎 𝑎 𝑧 𝑐 𝑐 𝑞 𝑎 𝑧 𝑞 q-hypergeometric-rphis 2 1 𝑎 𝑞 𝑐 𝑏 𝑞 𝑐 superscript 𝑞 2 𝑐 𝑞 𝑧 {\displaystyle{\displaystyle{{}_{2}\phi_{1}}\left({a,b\atop c};q,z\right)=% \frac{\left(abz/c,q/c;q\right)_{\infty}}{\left(az/c,q/a;q\right)_{\infty}}{{}_% {2}\phi_{1}}\left({c/a,cq/(abz)\atop cq/(az)};q,bq/c\right)-\frac{\left(b,q/c,% c/a,az/q,q^{2}/(az);q\right)_{\infty}}{\left(c/q,bq/c,q/a,az/c,cq/(az);q\right% )_{\infty}}{{}_{2}\phi_{1}}\left({aq/c,bq/c\atop q^{2}/c};q,z\right)}}
\qgenhyperphi{2}{1}@@{a,b}{c}{q}{z} = \frac{\qmultiPochhammersym{abz/c,q/c}{q}{\infty}}{\qmultiPochhammersym{az/c,q/a}{q}{\infty}}\qgenhyperphi{2}{1}@@{c/a,cq/(abz)}{cq/(az)}{q}{bq/c}-\frac{\qmultiPochhammersym{b,q/c,c/a,az/q,q^{2}/(az)}{q}{\infty}}{\qmultiPochhammersym{c/q,bq/c,q/a,az/c,cq/(az)}{q}{\infty}}\qgenhyperphi{2}{1}@@{aq/c,bq/c}{q^{2}/c}{q}{z}		 | z | < 1 , | b ⁢ q | < | c | formulae-sequence 𝑧 1 𝑏 𝑞 𝑐 {\displaystyle{\displaystyle|z|<1,|bq|<|c|}} 
Error

QHypergeometricPFQ[{a , b},{c},q,z] == Divide[Product[QPochhammer[Part[{a*b*z/c , q/c},i],q,Infinity],{i,1,Length[{a*b*z/c , q/c}]}],Product[QPochhammer[Part[{a*z/c , q/a},i],q,Infinity],{i,1,Length[{a*z/c , q/a}]}]]*QHypergeometricPFQ[{c/a , c*q/(a*b*z)},{c*q/(a*z)},q,b*q/c]-Divide[Product[QPochhammer[Part[{b , q/c , c/a , a*z/q , (q)^(2)/(a*z)},i],q,Infinity],{i,1,Length[{b , q/c , c/a , a*z/q , (q)^(2)/(a*z)}]}],Product[QPochhammer[Part[{c/q , b*q/c , q/a , a*z/c , c*q/(a*z)},i],q,Infinity],{i,1,Length[{c/q , b*q/c , q/a , a*z/c , c*q/(a*z)}]}]]*QHypergeometricPFQ[{a*q/c , b*q/c},{(q)^(2)/c},q,z]
Missing Macro Error Failure - Skip - No test values generated
17.6.E16 ϕ 1 2 ⁡ ( a , b c ; q , z ) = ( b , c / a , a ⁢ z , q / ( a ⁢ z ) ; q ) ∞ ( c , b / a , z , q / z ; q ) ∞ ⁢ ϕ 1 2 ⁡ ( a , a ⁢ q / c a ⁢ q / b ; q , c ⁢ q / ( a ⁢ b ⁢ z ) ) + ( a , c / b , b ⁢ z , q / ( b ⁢ z ) ; q ) ∞ ( c , a / b , z , q / z ; q ) ∞ ⁢ ϕ 1 2 ⁡ ( b , b ⁢ q / c b ⁢ q / a ; q , c ⁢ q / ( a ⁢ b ⁢ z ) ) q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑧 q-multiple-Pochhammer 𝑏 𝑐 𝑎 𝑎 𝑧 𝑞 𝑎 𝑧 𝑞 q-multiple-Pochhammer 𝑐 𝑏 𝑎 𝑧 𝑞 𝑧 𝑞 q-hypergeometric-rphis 2 1 𝑎 𝑎 𝑞 𝑐 𝑎 𝑞 𝑏 𝑞 𝑐 𝑞 𝑎 𝑏 𝑧 q-multiple-Pochhammer 𝑎 𝑐 𝑏 𝑏 𝑧 𝑞 𝑏 𝑧 𝑞 q-multiple-Pochhammer 𝑐 𝑎 𝑏 𝑧 𝑞 𝑧 𝑞 q-hypergeometric-rphis 2 1 𝑏 𝑏 𝑞 𝑐 𝑏 𝑞 𝑎 𝑞 𝑐 𝑞 𝑎 𝑏 𝑧 {\displaystyle{\displaystyle{{}_{2}\phi_{1}}\left({a,b\atop c};q,z\right)=% \frac{\left(b,c/a,az,q/(az);q\right)_{\infty}}{\left(c,b/a,z,q/z;q\right)_{% \infty}}{{}_{2}\phi_{1}}\left({a,aq/c\atop aq/b};q,cq/(abz)\right)+\frac{\left% (a,c/b,bz,q/(bz);q\right)_{\infty}}{\left(c,a/b,z,q/z;q\right)_{\infty}}{{}_{2% }\phi_{1}}\left({b,bq/c\atop bq/a};q,cq/(abz)\right)}}
\qgenhyperphi{2}{1}@@{a,b}{c}{q}{z} = \frac{\qmultiPochhammersym{b,c/a,az,q/(az)}{q}{\infty}}{\qmultiPochhammersym{c,b/a,z,q/z}{q}{\infty}}\qgenhyperphi{2}{1}@@{a,aq/c}{aq/b}{q}{cq/(abz)}+\frac{\qmultiPochhammersym{a,c/b,bz,q/(bz)}{q}{\infty}}{\qmultiPochhammersym{c,a/b,z,q/z}{q}{\infty}}\qgenhyperphi{2}{1}@@{b,bq/c}{bq/a}{q}{cq/(abz)}		 | z | < 1 , | a ⁢ b ⁢ z | < | c ⁢ q | formulae-sequence 𝑧 1 𝑎 𝑏 𝑧 𝑐 𝑞 {\displaystyle{\displaystyle|z|<1,|abz|<|cq|}} 
Error

QHypergeometricPFQ[{a , b},{c},q,z] == Divide[Product[QPochhammer[Part[{b , c/a , a*z , q/(a*z)},i],q,Infinity],{i,1,Length[{b , c/a , a*z , q/(a*z)}]}],Product[QPochhammer[Part[{c , b/a , z , q/z},i],q,Infinity],{i,1,Length[{c , b/a , z , q/z}]}]]*QHypergeometricPFQ[{a , a*q/c},{a*q/b},q,c*q/(a*b*z)]+Divide[Product[QPochhammer[Part[{a , c/b , b*z , q/(b*z)},i],q,Infinity],{i,1,Length[{a , c/b , b*z , q/(b*z)}]}],Product[QPochhammer[Part[{c , a/b , z , q/z},i],q,Infinity],{i,1,Length[{c , a/b , z , q/z}]}]]*QHypergeometricPFQ[{b , b*q/c},{b*q/a},q,c*q/(a*b*z)]
Missing Macro Error Failure - Skipped - Because timed out
17.6.E17 ϕ 1 2 ⁡ ( a , b c / q ; q , z ) - ϕ 1 2 ⁡ ( a , b c ; q , z ) = c ⁢ z ⁢ ( 1 - a ) ⁢ ( 1 - b ) ( q - c ) ⁢ ( 1 - c ) ⁢ ϕ 1 2 ⁡ ( a ⁢ q , b ⁢ q c ⁢ q ; q , z ) q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑞 𝑧 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑧 𝑐 𝑧 1 𝑎 1 𝑏 𝑞 𝑐 1 𝑐 q-hypergeometric-rphis 2 1 𝑎 𝑞 𝑏 𝑞 𝑐 𝑞 𝑞 𝑧 {\displaystyle{\displaystyle{{}_{2}\phi_{1}}\left({a,b\atop c/q};q,z\right)-{{% }_{2}\phi_{1}}\left({a,b\atop c};q,z\right)=cz\frac{(1-a)(1-b)}{(q-c)(1-c)}{{}% _{2}\phi_{1}}\left({aq,bq\atop cq};q,z\right)}}
\qgenhyperphi{2}{1}@@{a,b}{c/q}{q}{z}-\qgenhyperphi{2}{1}@@{a,b}{c}{q}{z} = cz\frac{(1-a)(1-b)}{(q-c)(1-c)}\qgenhyperphi{2}{1}@@{aq,bq}{cq}{q}{z}		 

Error

QHypergeometricPFQ[{a , b},{c/q},q,z]- QHypergeometricPFQ[{a , b},{c},q,z] == c*z*Divide[(1 - a)*(1 - b),(q - c)*(1 - c)]*QHypergeometricPFQ[{a*q , b*q},{c*q},q,z]
Missing Macro Error Failure - Skipped - Because timed out
17.6.E18 ϕ 1 2 ⁡ ( a ⁢ q , b c ; q , z ) - ϕ 1 2 ⁡ ( a , b c ; q , z ) = a ⁢ z ⁢ 1 - b 1 - c ⁢ ϕ 1 2 ⁡ ( a ⁢ q , b ⁢ q c ⁢ q ; q , z ) q-hypergeometric-rphis 2 1 𝑎 𝑞 𝑏 𝑐 𝑞 𝑧 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑧 𝑎 𝑧 1 𝑏 1 𝑐 q-hypergeometric-rphis 2 1 𝑎 𝑞 𝑏 𝑞 𝑐 𝑞 𝑞 𝑧 {\displaystyle{\displaystyle{{}_{2}\phi_{1}}\left({aq,b\atop c};q,z\right)-{{}% _{2}\phi_{1}}\left({a,b\atop c};q,z\right)=az\frac{1-b}{1-c}{{}_{2}\phi_{1}}% \left({aq,bq\atop cq};q,z\right)}}
\qgenhyperphi{2}{1}@@{aq,b}{c}{q}{z}-\qgenhyperphi{2}{1}@@{a,b}{c}{q}{z} = az\frac{1-b}{1-c}\qgenhyperphi{2}{1}@@{aq,bq}{cq}{q}{z}		 

Error

QHypergeometricPFQ[{a*q , b},{c},q,z]- QHypergeometricPFQ[{a , b},{c},q,z] == a*z*Divide[1 - b,1 - c]*QHypergeometricPFQ[{a*q , b*q},{c*q},q,z]
Missing Macro Error Failure - Skipped - Because timed out
17.6.E19 ϕ 1 2 ⁡ ( a ⁢ q , b c ⁢ q ; q , z ) - ϕ 1 2 ⁡ ( a , b c ; q , z ) = a ⁢ z ⁢ ( 1 - b ) ⁢ ( 1 - ( c / a ) ) ( 1 - c ) ⁢ ( 1 - c ⁢ q ) ⁢ ϕ 1 2 ⁡ ( a ⁢ q , b ⁢ q c ⁢ q 2 ; q , z ) q-hypergeometric-rphis 2 1 𝑎 𝑞 𝑏 𝑐 𝑞 𝑞 𝑧 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑧 𝑎 𝑧 1 𝑏 1 𝑐 𝑎 1 𝑐 1 𝑐 𝑞 q-hypergeometric-rphis 2 1 𝑎 𝑞 𝑏 𝑞 𝑐 superscript 𝑞 2 𝑞 𝑧 {\displaystyle{\displaystyle{{}_{2}\phi_{1}}\left({aq,b\atop cq};q,z\right)-{{% }_{2}\phi_{1}}\left({a,b\atop c};q,z\right)=az\frac{(1-b)(1-(c/a))}{(1-c)(1-cq% )}{{}_{2}\phi_{1}}\left({aq,bq\atop cq^{2}};q,z\right)}}
\qgenhyperphi{2}{1}@@{aq,b}{cq}{q}{z}-\qgenhyperphi{2}{1}@@{a,b}{c}{q}{z} = az\frac{(1-b)(1-(c/a))}{(1-c)(1-cq)}\qgenhyperphi{2}{1}@@{aq,bq}{cq^{2}}{q}{z}		 

Error

QHypergeometricPFQ[{a*q , b},{c*q},q,z]- QHypergeometricPFQ[{a , b},{c},q,z] == a*z*Divide[(1 - b)*(1 -(c/a)),(1 - c)*(1 - c*q)]*QHypergeometricPFQ[{a*q , b*q},{c*(q)^(2)},q,z]
Missing Macro Error Failure - Skipped - Because timed out
17.6.E20 ϕ 1 2 ⁡ ( a ⁢ q , b / q c ; q , z ) - ϕ 1 2 ⁡ ( a , b c ; q , z ) = a ⁢ z ⁢ ( 1 - b / ( a ⁢ q ) ) 1 - c ⁢ ϕ 1 2 ⁡ ( a ⁢ q , b c ⁢ q ; q , z ) q-hypergeometric-rphis 2 1 𝑎 𝑞 𝑏 𝑞 𝑐 𝑞 𝑧 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑧 𝑎 𝑧 1 𝑏 𝑎 𝑞 1 𝑐 q-hypergeometric-rphis 2 1 𝑎 𝑞 𝑏 𝑐 𝑞 𝑞 𝑧 {\displaystyle{\displaystyle{{}_{2}\phi_{1}}\left({aq,b/q\atop c};q,z\right)-{% {}_{2}\phi_{1}}\left({a,b\atop c};q,z\right)=az\frac{(1-b/(aq))}{1-c}{{}_{2}% \phi_{1}}\left({aq,b\atop cq};q,z\right)}}
\qgenhyperphi{2}{1}@@{aq,b/q}{c}{q}{z}-\qgenhyperphi{2}{1}@@{a,b}{c}{q}{z} = az\frac{(1-b/(aq))}{1-c}\qgenhyperphi{2}{1}@@{aq,b}{cq}{q}{z}		 

Error

QHypergeometricPFQ[{a*q , b/q},{c},q,z]- QHypergeometricPFQ[{a , b},{c},q,z] == a*z*Divide[1 - b/(a*q),1 - c]*QHypergeometricPFQ[{a*q , b},{c*q},q,z]
Missing Macro Error Failure - Skipped - Because timed out
17.6.E21 b ⁢ ( 1 - a ) ⁢ ϕ 1 2 ⁡ ( a ⁢ q , b c ; q , z ) - a ⁢ ( 1 - b ) ⁢ ϕ 1 2 ⁡ ( a , b ⁢ q c ; q , z ) = ( b - a ) ⁢ ϕ 1 2 ⁡ ( a , b c ; q , z ) 𝑏 1 𝑎 q-hypergeometric-rphis 2 1 𝑎 𝑞 𝑏 𝑐 𝑞 𝑧 𝑎 1 𝑏 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑞 𝑐 𝑞 𝑧 𝑏 𝑎 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑧 {\displaystyle{\displaystyle b(1-a){{}_{2}\phi_{1}}\left({aq,b\atop c};q,z% \right)-a(1-b){{}_{2}\phi_{1}}\left({a,bq\atop c};q,z\right)=(b-a){{}_{2}\phi_% {1}}\left({a,b\atop c};q,z\right)}}
b(1-a)\qgenhyperphi{2}{1}@@{aq,b}{c}{q}{z}-a(1-b)\qgenhyperphi{2}{1}@@{a,bq}{c}{q}{z} = (b-a)\qgenhyperphi{2}{1}@@{a,b}{c}{q}{z}		 

Error

b*(1 - a)*QHypergeometricPFQ[{a*q , b},{c},q,z]- a*(1 - b)*QHypergeometricPFQ[{a , b*q},{c},q,z] == (b - a)*QHypergeometricPFQ[{a , b},{c},q,z]
Missing Macro Error Failure - Skipped - Because timed out
17.6.E22 a ⁢ ( 1 - b c ) ⁢ ϕ 1 2 ⁡ ( a , b / q c ; q , z ) - b ⁢ ( 1 - a c ) ⁢ ϕ 1 2 ⁡ ( a / q , b c ; q , z ) = ( a - b ) ⁢ ( 1 - a ⁢ b ⁢ z c ⁢ q ) ⁢ ϕ 1 2 ⁡ ( a , b c ; q , z ) 𝑎 1 𝑏 𝑐 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑞 𝑐 𝑞 𝑧 𝑏 1 𝑎 𝑐 q-hypergeometric-rphis 2 1 𝑎 𝑞 𝑏 𝑐 𝑞 𝑧 𝑎 𝑏 1 𝑎 𝑏 𝑧 𝑐 𝑞 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑧 {\displaystyle{\displaystyle a\left(1-\frac{b}{c}\right){{}_{2}\phi_{1}}\left(% {a,b/q\atop c};q,z\right)-b\left(1-\frac{a}{c}\right){{}_{2}\phi_{1}}\left({a/% q,b\atop c};q,z\right)=(a-b)\left(1-\frac{abz}{cq}\right){{}_{2}\phi_{1}}\left% ({a,b\atop c};q,z\right)}}
a\left(1-\frac{b}{c}\right)\qgenhyperphi{2}{1}@@{a,b/q}{c}{q}{z}-b\left(1-\frac{a}{c}\right)\qgenhyperphi{2}{1}@@{a/q,b}{c}{q}{z} = (a-b)\left(1-\frac{abz}{cq}\right)\qgenhyperphi{2}{1}@@{a,b}{c}{q}{z}		 

Error

a*(1 -Divide[b,c])*QHypergeometricPFQ[{a , b/q},{c},q,z]- b*(1 -Divide[a,c])*QHypergeometricPFQ[{a/q , b},{c},q,z] == (a - b)*(1 -Divide[a*b*z,c*q])*QHypergeometricPFQ[{a , b},{c},q,z]
Missing Macro Error Failure - Skipped - Because timed out
17.6.E23 q ⁢ ( 1 - a c ) ⁢ ϕ 1 2 ⁡ ( a / q , b c ; q , z ) + ( 1 - a ) ⁢ ( 1 - a ⁢ b ⁢ z c ) ⁢ ϕ 1 2 ⁡ ( a ⁢ q , b c ; q , z ) = ( 1 + q - a - a ⁢ q c + a 2 ⁢ z c - a ⁢ b ⁢ z c ) ⁢ ϕ 1 2 ⁡ ( a , b c ; q , z ) 𝑞 1 𝑎 𝑐 q-hypergeometric-rphis 2 1 𝑎 𝑞 𝑏 𝑐 𝑞 𝑧 1 𝑎 1 𝑎 𝑏 𝑧 𝑐 q-hypergeometric-rphis 2 1 𝑎 𝑞 𝑏 𝑐 𝑞 𝑧 1 𝑞 𝑎 𝑎 𝑞 𝑐 superscript 𝑎 2 𝑧 𝑐 𝑎 𝑏 𝑧 𝑐 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑧 {\displaystyle{\displaystyle q\left(1-\frac{a}{c}\right){{}_{2}\phi_{1}}\left(% {a/q,b\atop c};q,z\right)+(1-a)\left(1-\frac{abz}{c}\right){{}_{2}\phi_{1}}% \left({aq,b\atop c};q,z\right)=\left(1+q-a-\frac{aq}{c}+\frac{a^{2}z}{c}-\frac% {abz}{c}\right){{}_{2}\phi_{1}}\left({a,b\atop c};q,z\right)}}
q\left(1-\frac{a}{c}\right)\qgenhyperphi{2}{1}@@{a/q,b}{c}{q}{z}+(1-a)\left(1-\frac{abz}{c}\right)\qgenhyperphi{2}{1}@@{aq,b}{c}{q}{z} = \left(1+q-a-\frac{aq}{c}+\frac{a^{2}z}{c}-\frac{abz}{c}\right)\qgenhyperphi{2}{1}@@{a,b}{c}{q}{z}		 

Error

q*(1 -Divide[a,c])*QHypergeometricPFQ[{a/q , b},{c},q,z]+(1 - a)*(1 -Divide[a*b*z,c])*QHypergeometricPFQ[{a*q , b},{c},q,z] == (1 + q - a -Divide[a*q,c]+Divide[(a)^(2)* z,c]-Divide[a*b*z,c])*QHypergeometricPFQ[{a , b},{c},q,z]
Missing Macro Error Failure - Skipped - Because timed out
17.6.E24 ( 1 - c ) ⁢ ( q - c ) ⁢ ( a ⁢ b ⁢ z - c ) ⁢ ϕ 1 2 ⁡ ( a , b c / q ; q , z ) + z ⁢ ( c - a ) ⁢ ( c - b ) ⁢ ϕ 1 2 ⁡ ( a , b c ⁢ q ; q , z ) = ( c - 1 ) ⁢ ( c ⁢ ( q - c ) + z ⁢ ( c ⁢ a + c ⁢ b - a ⁢ b - a ⁢ b ⁢ q ) ) ⁢ ϕ 1 2 ⁡ ( a , b c ; q , z ) 1 𝑐 𝑞 𝑐 𝑎 𝑏 𝑧 𝑐 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑞 𝑧 𝑧 𝑐 𝑎 𝑐 𝑏 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑞 𝑧 𝑐 1 𝑐 𝑞 𝑐 𝑧 𝑐 𝑎 𝑐 𝑏 𝑎 𝑏 𝑎 𝑏 𝑞 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑧 {\displaystyle{\displaystyle(1-c)(q-c)(abz-c){{}_{2}\phi_{1}}\left({a,b\atop c% /q};q,z\right)+z(c-a)(c-b){{}_{2}\phi_{1}}\left({a,b\atop cq};q,z\right)=(c-1)% (c(q-c)+z(ca+cb-ab-abq)){{}_{2}\phi_{1}}\left({a,b\atop c};q,z\right)}}
(1-c)(q-c)(abz-c)\qgenhyperphi{2}{1}@@{a,b}{c/q}{q}{z}+z(c-a)(c-b)\qgenhyperphi{2}{1}@@{a,b}{cq}{q}{z} = (c-1)(c(q-c)+z(ca+cb-ab-abq))\qgenhyperphi{2}{1}@@{a,b}{c}{q}{z}		 

Error

(1 - c)*(q - c)*(a*b*z - c)*QHypergeometricPFQ[{a , b},{c/q},q,z]+ z*(c - a)*(c - b)*QHypergeometricPFQ[{a , b},{c*q},q,z] == (c - 1)*(c*(q - c)+ z*(c*a + c*b - a*b - a*b*q))*QHypergeometricPFQ[{a , b},{c},q,z]
Missing Macro Error Failure - Skipped - Because timed out
17.6.E25 𝒟 q n ⁢ ϕ 1 2 ⁡ ( a , b c ; q , z ⁢ d ) = ( a , b ; q ) n ⁢ d n ( c ; q ) n ⁢ ( 1 - q ) n ⁢ ϕ 1 2 ⁡ ( a ⁢ q n , b ⁢ q n c ⁢ q n ; q , d ⁢ z ) superscript subscript 𝒟 𝑞 𝑛 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑧 𝑑 q-multiple-Pochhammer 𝑎 𝑏 𝑞 𝑛 superscript 𝑑 𝑛 q-Pochhammer-symbol 𝑐 𝑞 𝑛 superscript 1 𝑞 𝑛 q-hypergeometric-rphis 2 1 𝑎 superscript 𝑞 𝑛 𝑏 superscript 𝑞 𝑛 𝑐 superscript 𝑞 𝑛 𝑞 𝑑 𝑧 {\displaystyle{\displaystyle\mathcal{D}_{q}^{n}{{}_{2}\phi_{1}}\left({a,b\atop c% };q,zd\right)=\frac{\left(a,b;q\right)_{n}d^{n}}{\left(c;q\right)_{n}(1-q)^{n}% }{{}_{2}\phi_{1}}\left({aq^{n},bq^{n}\atop cq^{n}};q,dz\right)}}
\mathcal{D}_{q}^{n}\qgenhyperphi{2}{1}@@{a,b}{c}{q}{zd} = \frac{\qmultiPochhammersym{a,b}{q}{n}d^{n}}{\qPochhammer{c}{q}{n}(1-q)^{n}}\qgenhyperphi{2}{1}@@{aq^{n},bq^{n}}{cq^{n}}{q}{dz}		 

Error

(Subscript[D, q])^(n)*QHypergeometricPFQ[{a , b},{c},q,z*d] == Divide[Product[QPochhammer[Part[{a , b},i],q,n],{i,1,Length[{a , b}]}]*(d)^(n),QPochhammer[c, q, n]*(1 - q)^(n)]*QHypergeometricPFQ[{a*(q)^(n), b*(q)^(n)},{c*(q)^(n)},q,d*z]
Missing Macro Error Failure - Skipped - Because timed out
17.6.E26 𝒟 q n ⁢ ( ( z ; q ) ∞ ( a ⁢ b ⁢ z / c ; q ) ∞ ⁢ ϕ 1 2 ⁡ ( a , b c ; q , z ) ) = ( c / a , c / b ; q ) n ( c ; q ) n ⁢ ( 1 - q ) n ⁢ ( a ⁢ b c ) n ⁢ ( z ⁢ q n ; q ) ∞ ( a ⁢ b ⁢ z / c ; q ) ∞ ⁢ ϕ 1 2 ⁡ ( a , b c ⁢ q n ; q , z ⁢ q n ) superscript subscript 𝒟 𝑞 𝑛 q-Pochhammer-symbol 𝑧 𝑞 q-Pochhammer-symbol 𝑎 𝑏 𝑧 𝑐 𝑞 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑧 q-multiple-Pochhammer 𝑐 𝑎 𝑐 𝑏 𝑞 𝑛 q-Pochhammer-symbol 𝑐 𝑞 𝑛 superscript 1 𝑞 𝑛 superscript 𝑎 𝑏 𝑐 𝑛 q-Pochhammer-symbol 𝑧 superscript 𝑞 𝑛 𝑞 q-Pochhammer-symbol 𝑎 𝑏 𝑧 𝑐 𝑞 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 superscript 𝑞 𝑛 𝑞 𝑧 superscript 𝑞 𝑛 {\displaystyle{\displaystyle\mathcal{D}_{q}^{n}\left(\frac{\left(z;q\right)_{% \infty}}{\left(abz/c;q\right)_{\infty}}{{}_{2}\phi_{1}}\left({a,b\atop c};q,z% \right)\right)=\frac{\left(c/a,c/b;q\right)_{n}}{\left(c;q\right)_{n}(1-q)^{n}% }\left(\frac{ab}{c}\right)^{n}\frac{\left(zq^{n};q\right)_{\infty}}{\left(abz/% c;q\right)_{\infty}}{{}_{2}\phi_{1}}\left({a,b\atop cq^{n}};q,zq^{n}\right)}}
\mathcal{D}_{q}^{n}\left(\frac{\qPochhammer{z}{q}{\infty}}{\qPochhammer{abz/c}{q}{\infty}}\qgenhyperphi{2}{1}@@{a,b}{c}{q}{z}\right) = \frac{\qmultiPochhammersym{c/a,c/b}{q}{n}}{\qPochhammer{c}{q}{n}(1-q)^{n}}\left(\frac{ab}{c}\right)^{n}\frac{\qPochhammer{zq^{n}}{q}{\infty}}{\qPochhammer{abz/c}{q}{\infty}}\qgenhyperphi{2}{1}@@{a,b}{cq^{n}}{q}{zq^{n}}		 

Error

(Subscript[D, q])^(n)[Divide[QPochhammer[z, q, Infinity],QPochhammer[a*b*z/c, q, Infinity]]*QHypergeometricPFQ[{a , b},{c},q,z]] == Divide[Product[QPochhammer[Part[{c/a , c/b},i],q,n],{i,1,Length[{c/a , c/b}]}],QPochhammer[c, q, n]*(1 - q)^(n)]*(Divide[a*b,c])^(n)*Divide[QPochhammer[z*(q)^(n), q, Infinity],QPochhammer[a*b*z/c, q, Infinity]]*QHypergeometricPFQ[{a , b},{c*(q)^(n)},q,z*(q)^(n)]
Missing Macro Error Failure -
Failed [264 / 300]
Result: Plus[0.0, Times[Complex[0.8660254037844387, 0.49999999999999994], QHypergeometricPFQ[{-1.5, -1.5}
Test Values: {-1.5}, Complex[0.8660254037844387, 0.49999999999999994], Complex[0.8660254037844387, 0.49999999999999994]], Power[QPochhammer[Complex[-1.299038105676658, -0.7499999999999999], Complex[0.8660254037844387, 0.49999999999999994], DirectedInfinity[1]], -1], QPochhammer[Complex[0.8660254037844387, 0.49999999999999994], Complex[0.8660254037844387, 0.49999999999999994], DirectedInfinity[1]]]], {Rule[a, -1.5], Rule[b, -1.5], Rule[c, -1.5], Rule[n, 1], Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[D, q], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}


Result: Plus[Complex[0.0, 0.0], Times[Complex[0.5000000000000001, 0.8660254037844386], QHypergeometricPFQ[{-1.5, -1.5}
Test Values: {-1.5}, Complex[0.8660254037844387, 0.49999999999999994], Complex[0.8660254037844387, 0.49999999999999994]], Power[QPochhammer[Complex[-1.299038105676658, -0.7499999999999999], Complex[0.8660254037844387, 0.49999999999999994], DirectedInfinity[1]], -1], QPochhammer[Complex[0.8660254037844387, 0.49999999999999994], Complex[0.8660254037844387, 0.49999999999999994], DirectedInfinity[1]]]], {Rule[a, -1.5], Rule[b, -1.5], Rule[c, -1.5], Rule[n, 2], Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[D, q], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

... skip entries to safe data
17.6.E27 z ⁢ ( c - a ⁢ b ⁢ q ⁢ z ) ⁢ 𝒟 q 2 ⁢ ϕ 1 2 ⁡ ( a , b c ; q , z ) + ( 1 - c 1 - q + ( 1 - a ) ⁢ ( 1 - b ) - ( 1 - a ⁢ b ⁢ q ) 1 - q ⁢ z ) ⁢ 𝒟 q ⁢ ϕ 1 2 ⁡ ( a , b c ; q , z ) - ( 1 - a ) ⁢ ( 1 - b ) ( 1 - q ) 2 ⁢ ϕ 1 2 ⁡ ( a , b c ; q , z ) = 0 𝑧 𝑐 𝑎 𝑏 𝑞 𝑧 superscript subscript 𝒟 𝑞 2 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑧 1 𝑐 1 𝑞 1 𝑎 1 𝑏 1 𝑎 𝑏 𝑞 1 𝑞 𝑧 subscript 𝒟 𝑞 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑧 1 𝑎 1 𝑏 superscript 1 𝑞 2 q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑧 0 {\displaystyle{\displaystyle z(c-abqz)\mathcal{D}_{q}^{2}{{}_{2}\phi_{1}}\left% ({a,b\atop c};q,z\right)+\left(\frac{1-c}{1-q}+\frac{(1-a)(1-b)-(1-abq)}{1-q}z% \right)\mathcal{D}_{q}{{}_{2}\phi_{1}}\left({a,b\atop c};q,z\right)-\frac{(1-a% )(1-b)}{(1-q)^{2}}{{}_{2}\phi_{1}}\left({a,b\atop c};q,z\right)=0}}
z(c-abqz)\mathcal{D}_{q}^{2}\qgenhyperphi{2}{1}@@{a,b}{c}{q}{z}+\left(\frac{1-c}{1-q}+\frac{(1-a)(1-b)-(1-abq)}{1-q}z\right)\mathcal{D}_{q}\qgenhyperphi{2}{1}@@{a,b}{c}{q}{z}-\frac{(1-a)(1-b)}{(1-q)^{2}}\qgenhyperphi{2}{1}@@{a,b}{c}{q}{z} = 0		 

Error

z*(c - a*b*q*z)*(Subscript[D, q])^(2)*QHypergeometricPFQ[{a , b},{c},q,z]+(Divide[1 - c,1 - q]+Divide[(1 - a)*(1 - b)-(1 - a*b*q),1 - q]*z)*Subscript[D, q]*QHypergeometricPFQ[{a , b},{c},q,z]-Divide[(1 - a)*(1 - b),(1 - q)^(2)]*QHypergeometricPFQ[{a , b},{c},q,z] == 0
Missing Macro Error Failure -
Failed [300 / 300]
Result: Times[Complex[9.528684177437189, -1.3259618943233384], QHypergeometricPFQ[{-1.5, -1.5}
Test Values: {-1.5}, Complex[0.8660254037844387, 0.49999999999999994], Complex[0.8660254037844387, 0.49999999999999994]]], {Rule[a, -1.5], Rule[b, -1.5], Rule[c, -1.5], Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[D, q], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}


Result: Times[Complex[5.290063509461103, -21.657849302036027], QHypergeometricPFQ[{-1.5, -1.5}
Test Values: {-1.5}, Complex[0.8660254037844387, 0.49999999999999994], Complex[0.8660254037844387, 0.49999999999999994]]], {Rule[a, -1.5], Rule[b, -1.5], Rule[c, -1.5], Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[D, q], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}

... skip entries to safe data
17.6.E29 ϕ 1 2 ⁡ ( a , b c ; q , z ) = ( - 1 2 ⁢ π ⁢ i ) ⁢ ( a , b ; q ) ∞ ( q , c ; q ) ∞ ⁢ ∫ - i ⁢ ∞ i ⁢ ∞ ( q 1 + ζ , c ⁢ q ζ ; q ) ∞ ( a ⁢ q ζ , b ⁢ q ζ ; q ) ∞ ⁢ π ⁢ ( - z ) ζ sin ⁡ ( π ⁢ ζ ) ⁢ d ζ q-hypergeometric-rphis 2 1 𝑎 𝑏 𝑐 𝑞 𝑧 1 2 𝜋 𝑖 q-multiple-Pochhammer 𝑎 𝑏 𝑞 q-multiple-Pochhammer 𝑞 𝑐 𝑞 superscript subscript 𝑖 𝑖 q-multiple-Pochhammer superscript 𝑞 1 𝜁 𝑐 superscript 𝑞 𝜁 𝑞 q-multiple-Pochhammer 𝑎 superscript 𝑞 𝜁 𝑏 superscript 𝑞 𝜁 𝑞 𝜋 superscript 𝑧 𝜁 𝜋 𝜁 𝜁 {\displaystyle{\displaystyle{{}_{2}\phi_{1}}\left({a,b\atop c};q,z\right)=% \left(\frac{-1}{2\pi i}\right)\frac{\left(a,b;q\right)_{\infty}}{\left(q,c;q% \right)_{\infty}}\int_{-i\infty}^{i\infty}\frac{\left(q^{1+\zeta},cq^{\zeta};q% \right)_{\infty}}{\left(aq^{\zeta},bq^{\zeta};q\right)_{\infty}}\frac{\pi(-z)^% {\zeta}}{\sin\left(\pi\zeta\right)}\mathrm{d}\zeta}}
\qgenhyperphi{2}{1}@@{a,b}{c}{q}{z} = \left(\frac{-1}{2\pi i}\right)\frac{\qmultiPochhammersym{a,b}{q}{\infty}}{\qmultiPochhammersym{q,c}{q}{\infty}}\int_{-i\infty}^{i\infty}\frac{\qmultiPochhammersym{q^{1+\zeta},cq^{\zeta}}{q}{\infty}}{\qmultiPochhammersym{aq^{\zeta},bq^{\zeta}}{q}{\infty}}\frac{\pi(-z)^{\zeta}}{\sin@{\pi\zeta}}\diff{\zeta}		 

Error

QHypergeometricPFQ[{a , b},{c},q,z] == (Divide[- 1,2*Pi*I])*Divide[Product[QPochhammer[Part[{a , b},i],q,Infinity],{i,1,Length[{a , b}]}],Product[QPochhammer[Part[{q , c},i],q,Infinity],{i,1,Length[{q , c}]}]]*Integrate[Divide[Product[QPochhammer[Part[{(q)^(1 + \[Zeta]), c*(q)^\[Zeta]},i],q,Infinity],{i,1,Length[{(q)^(1 + \[Zeta]), c*(q)^\[Zeta]}]}],Product[QPochhammer[Part[{a*(q)^\[Zeta], b*(q)^\[Zeta]},i],q,Infinity],{i,1,Length[{a*(q)^\[Zeta], b*(q)^\[Zeta]}]}]]*Divide[Pi*(- z)^\[Zeta],Sin[Pi*\[Zeta]]], {\[Zeta], - I*Infinity, I*Infinity}, GenerateConditions->None]
Missing Macro Error Failure - Skipped - Because timed out
Retrieved from "https://lct.wmflabs.org/w/index.php?title=17.6&oldid=58325"