groebner
- library for Gröbner
basesdimension
- the
dimension of the affine variety generated by polynomialsgbasis
-
computation of a reduced Gröbner basisnormalf
-
complete reduction modulo a polynomial idealspoly
- the
S-polynomial of two polynomials