Parametric Gröbner Bases


PGB is a software package for computing parametric Gröbner bases and related objects in several domains. It is implemented in the computer algebra system Risa/Asir by Katsusuke Nabeshima. The following objects can be computed with this package:
  • Comprehensive Gröbner bases (CGB) and comprehensive Gröbner systems (CGS) in commutative polynomial rings
  • CGB and CGS in rings of differential operators
  • CGB and CGS for modules
  • Related objects: syzygies, parametric syzygies, GB for modules, GB in polynomial rings over a polynomial ring, etc.