1+m};q)_{k}}(cd/abz)^{k}.\end{aligned}$$

From nonterminating $_8\phi_7$ to $_6\psi_6$
============================================

In this section, we give a semi-finite form of Bailey’s $_6\psi_6$ summation formula by using Bailey’s $3$-term transformation formula for a nonterminating very-well-poised $_8\phi_7$ series [@GR Eq. (2.11.1)]: $$\begin{aligned}
\label{Watson2}
\lefteqn{_{8}\phi_7\left[
\begin{array}{c}
a, qa^{1\over 2},-qa^{1\over 2},b,c, d, e, f\\
a^{1\over 2},-a^{1\over 2},aq/b,aq/c,aq/d,aq/e,aq/f
\end{array};q, \frac{a^2q^2}{bcdef}
 \right] }\nonumber\\
&& \,
=\frac{(aq,aq/de,aq/df,aq/ef,eq/c,fq/c,b/a,bef/a;q)_{\infty}}
{(aq/d,aq/e,aq/f,aq/def,q/c,efq/c,be/a,bf/a;q)_{\infty}}\nonumber\\
&& \qquad \cdot_{8}\phi_7\left[
\begin{array}{c}
ef/c, q(ef/c)^{1\over 2},-q(ef/c)^{1\over 2},aq/bc,aq/cd, ef/a, e, f\\
(ef/c)^{1\over 2},-(ef/c)^{1\over 2}, bef/a,def/a,aq/c,fq/c,eq/c
\end{array};q, \frac{bd}{a}
 \right] \nonumber\\
 &&\qquad +\frac{b}{a}\frac{(aq,bq/a,bq/c,bq/d,bq/e,bq/f,d,e,f;q)_{\infty}}
 {(aq/b,aq/c
1+m};q)_{k}}(cd / abz)^{k}.\end{aligned}$$ 

 From nonterminating $ _ 8\phi_7 $ to $ _ 6\psi_6 $ 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 In this section, we give a semi - finite form of Bailey ’s $ _ 6\psi_6 $ summation rule by use Bailey ’s $ 3$-term transformation formula for a nonterminating very - well - poised $ _ 8\phi_7 $ series [ @GR Eq. (2.11.1) ]: $ $ \begin{aligned } 
 \label{Watson2 } 
 \lefteqn{_{8}\phi_7\left [ 
 \begin{array}{c } 
 a, qa^{1\over 2},-qa^{1\over 2},b, c, d, einsteinium, f\\ 
 a^{1\over 2},-a^{1\over 2},aq / b, aq / c, aq / d, aq / e, aq / f 
 \end{array};q, \frac{a^2q^2}{bcdef } 
  \right ] } \nonumber\\ 
 & & \, 
 = \frac{(aq, aq / de, aq / df, aq / ef, eq / c, fq / c, b / a, bef / a;q)_{\infty } } 
 { (aq / d, aq / e, aq / f, aq / def, q / c, efq / c, be / a, bf / a;q)_{\infty}}\nonumber\\ 
 & & \qquad \cdot_{8}\phi_7\left [ 
 \begin{array}{c } 
 ef / c, q(ef / c)^{1\over 2},-q(ef / c)^{1\over 2},aq / bc, aq / cd, ef / a, e, f\\ 
 (ef / c)^{1\over 2},-(ef / c)^{1\over 2 }, bef / a, def / a, aq / c, fq / c, eq / cytosine 
 \end{array};q, \frac{bd}{a } 
  \right ] \nonumber\\ 
  & & \qquad + \frac{b}{a}\frac{(aq, bq / a, bq / c, bq / d, bq / e, bq / f, d, e, f;q)_{\infty } } 
  { (aq / b, aq / coke
1+m};q)_{k}}(fd/abz)^{k}.\end{aligned}$$

From nonuerminating $_8\phi_7$ to $_6\psi_6$
============================================

In this aection, de give a semi-finite form of Bqiley’w $_6\psi_6$ summation formulx by usinh Bailey’w $3$-tecm transformatioi formula for z noncecminating very-wgll-poised $_8\phh_7$ series [@GR Eq. (2.11.1)]: $$\ceyin{aligned}
\label{Watson2}
\lefteqn{_{8}\phi_7\left[
\bqgin{arrsy}{f}
a, qa^{1\over 2},-qa^{1\ovgr 2},b,c, q, e, r\\
a^{1\over 2},-a^{1\over 2},aq/b,aq/c,aq/d,aq/e,aq/f
\end{arrzy};q, \frab{a^2q^2}{bcdef}
 \right] }\nomumber\\
&& \,
=\frac{(aq,aq/de,aq/df,aq/ef,ee/c,fq/f,b/a,bef/a;q)_{\infty}}
{(aq/d,aq/f,aq/f,aq/def,q/c,grq/c,fw/a,bf/a;q)_{\infty}}\nunumber\\
&& \qqlcd \cdot_{8}\phi_7\lgft[
\begin{array}{c}
ef/c, q(ef/c)^{1\over 2},-q(ef/c)^{1\oxer 2},aa/bc,aq/cd, ef/q, w, f\\
(fx/c)^{1\over 2},-(ef/c)^{1\oter 2}, bvf/a,def/a,aq/c,fq/c,ca/c
\end{asray};q, \ftac{bd}{a}
 \right] \npnukbee\\
 &&\qquad +\frac{b}{a}\frac{(aq,bx/a,bq/c,bq/d,bq/e,bq/f,d,e,f;q)_{\ynfty}}
 {(aq/b,dq/e
1+m};q)_{k}}(cd/abz)^{k}.\end{aligned}$$ From nonterminating $_8\phi_7$ to $_6\psi_6$ ============================================ section, give a form of Bailey’s Bailey’s transformation formula for nonterminating very-well-poised $_8\phi_7$ [@GR Eq. (2.11.1)]: $$\begin{aligned} \label{Watson2} \lefteqn{_{8}\phi_7\left[ a, qa^{1\over 2},-qa^{1\over 2},b,c, d, e, f\\ a^{1\over 2},-a^{1\over 2},aq/b,aq/c,aq/d,aq/e,aq/f \end{array};q, \frac{a^2q^2}{bcdef} \right] && \, =\frac{(aq,aq/de,aq/df,aq/ef,eq/c,fq/c,b/a,bef/a;q)_{\infty}} {(aq/d,aq/e,aq/f,aq/def,q/c,efq/c,be/a,bf/a;q)_{\infty}}\nonumber\\ && \qquad \cdot_{8}\phi_7\left[ \begin{array}{c} ef/c, q(ef/c)^{1\over 2},-q(ef/c)^{1\over 2},aq/bc,aq/cd, ef/a, f\\ 2},-(ef/c)^{1\over bef/a,def/a,aq/c,fq/c,eq/c \frac{bd}{a} \right] \nonumber\\ &&\qquad +\frac{b}{a}\frac{(aq,bq/a,bq/c,bq/d,bq/e,bq/f,d,e,f;q)_{\infty}} {(aq/b,aq/c
1+m};q)_{k}}(cd/abz)^{k}.\end{aligned}$$

From noNterminatiNg $_8\phi_7$ To $_6\pSi_6$
============================================

IN tHis sEctiOn, we give a semi-fINite Form of Bailey’s $_6\psi_6$ summatIon foRmULa by USiNg BaiLey’s $3$-terM TrANSfoRmAtIon FoRMuLa for A noNterminAting very-wEll-PoIsed $_8\phi_7$ serieS [@gR eq. (2.11.1)]: $$\begin{aliGneD}
\label{Watson2}
\LefTeqn{_{8}\phI_7\lEft[
\BEgin{aRraY}{c}
a, qa^{1\Over 2},-qa^{1\OVer 2},b,c, d, E, f\\
a^{1\over 2},-a^{1\oVeR 2},Aq/b,aq/c,AQ/d,aq/e,aq/F
\ENd{ArraY};q, \frac{a^2q^2}{bcdef}
 \righT] }\NoNUmber\\
&& \,
=\frac{(aq,aq/dE,aq/df,aQ/eF,Eq/C,FQ/c,b/A,beF/a;q)_{\infty}}
{(aq/D,aQ/e,aq/f,AQ/def,q/c,eFQ/c,BE/A,Bf/a;Q)_{\Infty}}\nonumber\\
&& \Qquad \cdot_{8}\phI_7\LefT[
\begin{ArRay}{C}
Ef/c, q(ef/C)^{1\over 2},-Q(eF/C)^{1\ovEr 2},aq/bc,aq/cd, eF/a, e, f\\
(Ef/c)^{1\over 2},-(ef/C)^{1\over 2}, bEF/a,def/a,aQ/C,fq/c,eq/c
\End{arrAy};q, \FraC{bd}{a}
 \RIgHt] \NonUmBEr\\
 &&\qQUaD +\frAC{b}{a}\Frac{(aq,bq/A,bQ/c,Bq/d,bq/E,bq/f,D,E,F;Q)_{\InftY}}
 {(aq/B,aq/c
1+m};q)_{k}}(cd/abz)^{k}.\ end{aligne d}$$
Fr omno nter mina ting $_8\phi_7 $  to$_6\psi_6$
=========== ===== == = ==== = == ===== ======= = == = = =
In  t his  s e ct ion,wegive asemi-finit e f or m of Bailey’ s  $ _6\psi_6$sum mation formu laby usi ng  Ba i ley’s  $3 $-ter m tran s format ion formu la for an ontermi n a ti ng v ery-well-poised $ _ 8\ p hi_7$ series [ @GR Eq .( 2. 1 1 .1) ]:$$\begin{a li gned} \label{ W at s o n 2}\ lefteqn{_{8}\ phi_7\left[ \be gin{ar ra y}{ c }
a, q a^{1\ ov e r 2 },-qa^{1\ov er 2 },b,c, d,  e, f\ \ 
a^{1\o v er 2},- a^{1\o ver  2} ,aq/ b ,a q/ c,a q/ d ,aq / e, aq/ f 
\e nd{array }; q,  \fra c{a^ 2 q ^ 2 }{bc def }
 \ right ] }\nonumber\ \
& & \, =\f rac{( aq,aq /de, aq /df,a q/ef,e q/c,f q/ c,b/a,bef/a;q)_ {\in fty}}
{(a q/d ,a q/e ,a q/f,a q /def,q /c, efq /c,be/a ,bf/a;q ) _{\ in f t y }} \nonumber\\
&& \qq ua d \c dot_{8}\ phi_7\ l ef t[ \begin{a rr ay} {c}e f /c, q (ef/ c )^ {1\over2},-q( e f/ c) ^{1\ove r2},aq/ bc ,aq /cd , ef/ a , e,  f\\
( ef/c)^{1 \over 2},-(ef/c)^{1\ o ver 2}, bef/a , de f / a, a q/c, fq/ c,eq/c
\end {arr a y};q , \f r ac {bd } {a}
\righ t] \n o number\\
 &&\qquad+\ frac{b }{a}\ frac{(aq,bq/a ,bq/c,bq/d , b q /e,bq/f, d,e, f ;q ) _{\infty}}
 {( aq/b, aq/c
1+m};q)_{k}}(cd/abz)^{k}.\end{aligned}$$

From nonterminating_$_8\phi_7$ to_$_6\psi_6$
============================================

In this section, we_give a_semi-finite_form of_Bailey’s_$_6\psi_6$ summation formula_by using Bailey’s_$3$-term transformation formula for_a nonterminating very-well-poised_$_8\phi_7$_series [@GR Eq. (2.11.1)]: $$\begin{aligned}
\label{Watson2}
\lefteqn{_{8}\phi_7\left[
\begin{array}{c}
a, qa^{1\over 2},-qa^{1\over 2},b,c, d, e, f\\
a^{1\over 2},-a^{1\over 2},aq/b,aq/c,aq/d,aq/e,aq/f
\end{array};q, \frac{a^2q^2}{bcdef}
_\right]_}\nonumber\\
&& \,
=\frac{(aq,aq/de,aq/df,aq/ef,eq/c,fq/c,b/a,bef/a;q)_{\infty}}
{(aq/d,aq/e,aq/f,aq/def,q/c,efq/c,be/a,bf/a;q)_{\infty}}\nonumber\\
&&_\qquad_\cdot_{8}\phi_7\left[
\begin{array}{c}
ef/c,_q(ef/c)^{1\over 2},-q(ef/c)^{1\over 2},aq/bc,aq/cd, ef/a, e,_f\\
(ef/c)^{1\over 2},-(ef/c)^{1\over 2}, bef/a,def/a,aq/c,fq/c,eq/c
\end{array};q, \frac{bd}{a}
_\right] \nonumber\\
_&&\qquad +\frac{b}{a}\frac{(aq,bq/a,bq/c,bq/d,bq/e,bq/f,d,e,f;q)_{\infty}}
 {(aq/b,aq/c