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