HYP and HYPQ
The Mathematica package HYP
HYP is a package, written in Mathematica, for the manipulation and
identification of binomial and hypergeometric series and identities.
This package provides tools for
- (A) manipulating factorial expressions
- (B) transforming binomial sums into hypergeometric
notation
- (C) summing hypergeometric series
- (D) transforming hypergeometric series
- (E) applying contiguous relations
- (F) doing formal limits of hypergeometric
expressions
- (G) transforming hypergeometric expressions
into TeX-code
- (H) Using the Gosper and Zeilberger algorithms
(For item (H) you need Peter Paule
and Markus
Schorn's Mathematica
implementation of the Gosper and Zeilberger algorithms which are
available directly via
the WEB or via e-mail request to peter.paule@risc.uni-linz.ac.at.
You will also want to get
Marko
Petkovsek's (Marko.Petkovsek@mat.uni-lj.si)
Mathematica program Hyper which
finds all "hypergeometric term" solutions of a linear recurrence with
polynomial coefficients.)
The package comes with complete documentation, a tutorial, and an installation guide.
They should work with any version of
Mathematica, except that Gosper's and Zeilberger's
algorithms require Version 2.0 at least.
Retrieve the files directly on WWW:
The complete package (700 K) in tarred, gzipped, uuencoded form,
or, separately,
- hyp.m, the basic input
- contig.m, the input for contiguous relations
- summatio.m, the input for summations in form of rules
- summatio.mgl, the input for summations in form of equations
- transfor.m, the input for transformations in form
of rules
- transfor.mgl, the input for transformations in form
of equations
- transfor.mli, the input for lists of transformations
- output, a file that makes a nicer screen output
- read.me, the installation guide
- hypm.tex, the AmS-TeX file for the documentation (412 K)
- hypm.dvi, the dvi-file for the documentation (534 K)
- hypm.ps.gz, the gzipped postscript-file for the documentation
(185 K)
- hyp_hypq.tex, the AmS-TeX file for a
tutorial
- hyp_hypq.dvi, the dvi-file for a tutorial
- hyp_hypq.ps.gz, the gzipped
postsript-file for a tutorial (40 K)
- "HYP and HYPQ",
a short article that appeared in J. Symbol. Comput. 20 (1995),
737-744.
Temporary Warning and Apology: This is sort of a "beta version".
I had to put this here immediately
because there is a strange bug (concerning
protection/unprotection) in Mathematica 3.0 which caused the old
(tested) version not to work any more. Read the file read.chg
for the differences between the beta version and the old version.
Unfortunately, at this point, the manual and the the package do not
complement each other completely.
If you want to be informed about updates of these packages, have comments,
suggestions, problems,...
send an e-mail to:
kratt@pap.univie.ac.at
There is also a ``q-analogue", the package
HYPQ which allows you to manipulate and
identify basic hypergeometric series.
Christian Krattenthaler's
home page.
The Mathematica package HYPQ
HYPQ is a package, written in Mathematica, for the manipulation and
identification of q-binomial and basic hypergeometric series and identities.
This package provides tools for
- (A) manipulating q-factorial expressions
- (B) transforming q-binomial sums into
basic hypergeometric notation
- (C) summing basic hypergeometric series
- (D) transforming basic hypergeometric series
- (E) applying contiguous relations
- (F) doing formal limits of basic hypergeometric
expressions
- (G) transforming basic hypergeometric expressions
into TeX-code
- (H) Using the q-Gosper and q-Zeilberger algorithms (to come shortly)
(For item (H) you need Peter Paule
and Axel
Riese's Mathematica
implementation of the q-Gosper and q-Zeilberger algorithms which are
(soon) available directly via
the WEB or via e-mail request to peter.paule@risc.uni-linz.ac.at.
You will also want to get
Marko
Petkovsek's (Marko.Petkovsek@mat.uni-lj.si)
Mathematica program q-Hyper which
finds all "q-hypergeometric term" solutions of a q-difference
equation with rational coefficients.)
The package comes with complete documentation, a tutorial, and an installation guide.
They should work with any version of
Mathematica, except that the q-Gosper and q-Zeilberger
algorithms require Version 2.0 at least.
Retrieve the files directly on WWW:
The complete package (900 K) in tarred, gzipped, uudecoded form,
or, separately,
- hyp.q, the basic input
- contig.q, the input for contiguous relations
- summatio.q, the input for summations in form of rules
- summatio.qgl, the input for summations in form of equations
- transfor.q, the input for transformations in form
of rules
- transfor.qgl, the input for transformations in form
of equations
- transfor.qli, the input for lists of transformations
- output, a file that makes a nicer screen output
- read.me, the installation guide
- hypq.tex, the AmS-TeX file for the documentation (536 K)
- hypq.dvi, the dvi-file for the documentation (704 K)
- hypq.ps.gz, the gzipped postscript-file for the documentation
(250 K)
- hyp_hypq.tex, the AmS-TeX file for a tutorial
- hyp_hypq.dvi, the dvi-file for a tutorial
- hyp_hypq.ps.gz, the gzipped postscript-file
for a tutorial (40 K)
- "HYP and HYPQ",
a short article that appeared in J. Symbol. Comput. 20 (1995),
737-744.
Temporary Warning and Apology: This is sort of a "beta version".
I had to put this here immediately
because there is a strange bug (concerning
protection/unprotection) in Mathematica 3.0 which caused the old
(tested) version not to work any more. Read the file read.chg
for the differences between the beta version and the old version.
Unfortunately, at this point, the manual and the the package do not
complement each other completely.
If you want to be informed about updates of these packages, have comments,
suggestions, problems,... send an e-mail to:
kratt@pap.univie.ac.at
There is also the package
HYP which allows you to manipulate and
identify ordinary hypergeometric series.
Christian Krattenthaler's
home page.