/** Generalized hypergeometric functions: elementary identities. **/

/*K: hypergeometric; generalized hypergeometric functions; Ghg; sums;
     summation; gauss; vandermonde; saalschutz; whipple; kummer; watson; dixon; 
     dougall */
/*A: John Gottschalk */
/*S: University of Western Australia */
/*D: September 1984 */
/*P: XWarning XGhgWR XGhgA3, XGhgCancel, XGhgS auotmaticaly loaded. */
 
/* The original file has been broken into three new files for greater
flexability, inparticular use with XGhg1 which will not work if the
cancelation theorems are loaded
	XGhgA3		Identities from Slater Appendix III
	XGhgCancel	Cancelation theormes
	XGhgS		Special cases for Ghg's
	XGhgWR		Warnings for Ghg's */

#_:    Comm
Ghg_:  Tier
SGhg_: Ldist
_Sum[Smp] : Inf

If[~P[_XLoadonce[Loaded]],<XLoadonce]
<<XGhgA3
<<XGhgS
<<XGhgCancel
<<XWarning
<<XGhgWR

/*W: Sum[Smp] is redefined to be Inf. 
     The identities may not be correct if one of the bottom parameters
     is a negative integer, even though the function may be well-behaved.
     The convergence of hypergeometric series should be checked using the
     file XCvgt before the identities here are used. */

/*R: [AS 15.1; Slater, Generalized Hypergeometric Functions,
     Cambridge University Press,1966] */

