This project implements the Suzuki-Sato algorithm for computing Gröbner systems and comprehensive/parametric Gröbner bases. For an introduction to its use, see the documentation. For a mathematical introduction to parametric Gröbner bases, see my masters project.
Suppose you have a set of polynomial equations
Sometimes, these equations has parameters, which are not known ahead of time. This throws a wrench in the usual Gröbner basis machinery. However, this package can give you a Gröbner system. A Gröbner system is a set of Gröbner bases, and information telling you which Gröbner basis works for which choices of parameters. This enables you to answer the same kinds of questions as above using the multivariate pseudo-division algorithm, which is also implemented in this package.
Let
This package also implements pseudo-division. Pseudo-division is akin to normal multivariate division, except we allow scaling the polynomial. For example, pseudo-reducing