CORRPS

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

Authors

Jakob Obrovsky, Yiman Gao

Software URL

Go to Website
CORRPS (COmplete Reduction for RPiSigma-towers) is a Mathematica package which computes for an element in a given RΠΣ*-tower 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. The algorithms implemented in this package are described in the article
  • Y. Gao, J. Obrovsky, C. Schneider. Complete Reductions and Idempotent Representations for RΠΣ*-towers Technical report no. 26-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2026
If CORRPS is useful for your research, please consider citing this article.

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.