Bibasic Telescope
Short Description
Bibasic Telescope is a Mathematica implementation of a generalization of
Gosper's algorithm to indefinite bibasic hypergeometric summation.
The package has been developed by
Axel Riese,
a Ph.D. student of the
RISC Combinatorics group.
Registration and Legal Notices
The source code for this package is password protected. To get the password
send an email to
Peter Paule.
It will be given for free to all researchers and non-commercial users.
Copyright © 1999–2008 The RISC Combinatorics Group, Austria — all rights reserved.
Commercial use of the software is prohibited without prior written permission.
A Note on Encoded Files
This package contains one or more Mathematica input files which are encoded. Those files
cannot be read or modified directly as plain text, but can be loaded into
Mathematica just like any normal input file (i.e., with
<<"file" or
Get["file"]).
There is no need (and also no way) to decode them by using additional software
or a special key.
If loading an encoded file causes a syntax error, open it with a
text editor and remove any blank lines at the beginning (for some
reason your Mac could have inserted them silently...).
The Package
The
Bibasic Telescope package consists of the Mathematica input file
In addition some examples can be found in the Mathematica notebook accompanying
the author's
qZeil implementation
Important Upgrade Information
Beginning with version 2.2 the main function is called
pqTelescope
instead of qTelescope.
Screenshot
Click
here for an automatic proof
of Gosper's indefinite bibasic sum.
Literature
Information on the installation and use of the package (together with its
theoretical background) can be found in the paper
A. Riese,
A Generalization of Gosper's Algorithm to Bibasic Hypergeometric Summation,
Electronic Journal of Combinatorics,
3 (1996), #R19.
[pdf]
Versions and Bugs
The current version of the package is 2.24 last updated on December 11, 2003.
Please report any bugs and comments to
Ralf Hemmecke.