/** Pochhammer symbols **/

/*K: Poc; Pochhammer symbols */
/*A: John Gottschalk */
/*S: University of Western Australia */
/*D: September 1984 */

/* This contains assignments for reducing pochhammer symbols */
/*P: XGammaV is automatically loaded. */

If[~P[_XLoadonce[Loaded]],<XLoadonce]
Loadonce[XGammaVB]

Poc[$a_=Numbp[$a],$b_=Numbp[$b]]  :: Gamma[$a+$b]/Gamma[$a]
Poc[$x,0]                         :: B[1]
Poc[0,$x_=~Natp[1-$x]&Numbp[$x]]  :: B[0]
Poc[0,$n_=Natp[-$n]]              :: B[(-1)^$n/Gamma[1-$n]]
Poc[$x,$n_=Natp[$n] & Numbp[$n]]  :: Prod[B[$x+#%i],{#%i,0,$n-1}]
Poc[$x,$n_=Natp[-$n] & Numbp[$n]] :: 1/Prod[B[$x+#%i],{#%i,$n,-1}]

SPoc : Poc[$a,$b] -> Gamma[$a+$b]/Gamma[$a]

_XPocVB[Loaded] : 1

