CORRPS

A Mathematica package implementing a complete reduction for RΠΣ-rings

Authors

Jakob Obrovsky, Yiman Gao

Software URL

Go to Website

Overview

CORRPS is a Mathematica package which implements a complete reduction for RΠΣ-rings. For a given RΠΣ-tower and an element in this tower, it computes a remainder w.r.t. a complete reduction for this tower. The package also contains functions for creative telescoping and parametric telescoping, which use complete reduction internally. More documentation and details for installation can be found on Github.

Licence

CORRPS is distributed under GPL (GNU General Public License) version 3 or later. See the COPYING file inside the repository.

Repository

The git repository is at Github: https://github.com/jobrovsk/corrps

Bugs

Please report any bugs or other suggestions to Jakob Obrovsky.