@@ -1,83 +1,83 @@ -\documentstyle[11pt,reduce]{article} -\title{{\tt ghyper}, a package for simplification of \\ -generalized hypergeometric functions} -\date{} -\author{Victor S. Adamchik\\ - Wolfram Research Inc. \\ - former address : \\ - Byelorussian University, Minsk, Byelorussia\\ -\\ -\\ - Present \REDUCE{} form by \\ - Winfried Neun \\ - ZIB Berlin \\ - Email: {\tt Neun@sc.ZIB-Berlin.de}} -\begin{document} -\maketitle - -This note describes the {\tt ghyper} package of \REDUCE{}, which is able -to do simplification of several cases of generalized hypergeometric functions. -The simplifications are performed towards polynomials, elementary or -special functions or simpler hypergeometric functions. -Therefore this package should be used together with the \REDUCE{} -special function package. - -\section{Introduction} - -The (generalized) hypergeometric functions - -\begin{displaymath} -_pF_q \left( {{a_1, \ldots , a_p} \atop {b_1, \ldots ,b_q}} \Bigg\vert z \right) -\end{displaymath} - -are defined in textbooks on special functions, e.g. in -\cite{Prudnikov:90}. Many well-known functions belong to this class, -e.g. exponentials, logarithms, trigonometric functions and Bessel functions. -In \cite{Graham:89} an introduction into the analysis of sums, basic -identities and applications can be found. - -Several hundreds of particular values can be found in \cite{Prudnikov:90}. - -\section{\REDUCE{} operator {\tt hypergeometric}} - -The operator {\tt hypergeometric} expects 3 arguments, namely the -list of upper parameters (which may be empty), the list of lower -parameters (which may be empty too), and the argument, e.g: - -\begin{verbatim} - -hypergeometric ({},{},z); - - Z -E - -hypergeometric ({1/2,1},{3/2},-x^2); - - ATAN(X) ---------- - X -\end{verbatim} - -\section{Enlarging the {\tt hypergeometric} operator} - -Since hundreds of particular cases for the generalized hypergeometric -functions can be found in the literature, one cannot expect that all -cases are known to the {\tt hypergeometric} operator. -Nevertheless the set of special cases can be augmented by adding -rules to the \REDUCE{} system, e.g. - -\begin{verbatim} -let {hypergeometric({1/2,1/2},{3/2},-(~x)^2) => asinh(x)/x}; -\end{verbatim} - -\begin{thebibliography}{9} - -\bibitem{Prudnikov:90} A.~P.~Prudnikov, Yu.~A.~Brychkov, O.~I.~Marichev, -{\em Integrals and Series, Volume 3: More special functions}, -Gordon and Breach Science Publishers (1990). - -\bibitem{Graham:89} R.~L.~Graham, D.~E.~Knuth, O.~Patashnik, -{\em Concrete Mathematics}, Addison-Wesley Publishing Company (1989). - -\end{thebibliography} -\end{document} +\documentstyle[11pt,reduce]{article} +\title{{\tt ghyper}, a package for simplification of \\ +generalized hypergeometric functions} +\date{} +\author{Victor S. Adamchik\\ + Wolfram Research Inc. \\ + former address : \\ + Byelorussian University, Minsk, Byelorussia\\ +\\ +\\ + Present \REDUCE{} form by \\ + Winfried Neun \\ + ZIB Berlin \\ + Email: {\tt Neun@sc.ZIB-Berlin.de}} +\begin{document} +\maketitle + +This note describes the {\tt ghyper} package of \REDUCE{}, which is able +to do simplification of several cases of generalized hypergeometric functions. +The simplifications are performed towards polynomials, elementary or +special functions or simpler hypergeometric functions. +Therefore this package should be used together with the \REDUCE{} +special function package. + +\section{Introduction} + +The (generalized) hypergeometric functions + +\begin{displaymath} +_pF_q \left( {{a_1, \ldots , a_p} \atop {b_1, \ldots ,b_q}} \Bigg\vert z \right) +\end{displaymath} + +are defined in textbooks on special functions, e.g. in +\cite{Prudnikov:90}. Many well-known functions belong to this class, +e.g. exponentials, logarithms, trigonometric functions and Bessel functions. +In \cite{Graham:89} an introduction into the analysis of sums, basic +identities and applications can be found. + +Several hundreds of particular values can be found in \cite{Prudnikov:90}. + +\section{\REDUCE{} operator {\tt hypergeometric}} + +The operator {\tt hypergeometric} expects 3 arguments, namely the +list of upper parameters (which may be empty), the list of lower +parameters (which may be empty too), and the argument, e.g: + +\begin{verbatim} + +hypergeometric ({},{},z); + + Z +E + +hypergeometric ({1/2,1},{3/2},-x^2); + + ATAN(X) +--------- + X +\end{verbatim} + +\section{Enlarging the {\tt hypergeometric} operator} + +Since hundreds of particular cases for the generalized hypergeometric +functions can be found in the literature, one cannot expect that all +cases are known to the {\tt hypergeometric} operator. +Nevertheless the set of special cases can be augmented by adding +rules to the \REDUCE{} system, e.g. + +\begin{verbatim} +let {hypergeometric({1/2,1/2},{3/2},-(~x)^2) => asinh(x)/x}; +\end{verbatim} + +\begin{thebibliography}{9} + +\bibitem{Prudnikov:90} A.~P.~Prudnikov, Yu.~A.~Brychkov, O.~I.~Marichev, +{\em Integrals and Series, Volume 3: More special functions}, +Gordon and Breach Science Publishers (1990). + +\bibitem{Graham:89} R.~L.~Graham, D.~E.~Knuth, O.~Patashnik, +{\em Concrete Mathematics}, Addison-Wesley Publishing Company (1989). + +\end{thebibliography} +\end{document}