Module Polynomial

module Polynomial: sig .. end
Polynomials and Grobner bases.

module type Univariate = sig .. end
Signature of univariate polynmials
module Uvp: 
functor (R : Linear.Ring) -> Univariate with type scalar = R.t
Univariate polynomials over a given ring
module QQX: sig .. end
Univariate polynomials with rational coefficients
module Monomial: sig .. end
Monomials
module Mvp: sig .. end
Multi-variate polynomials
module Rewrite: sig .. end
Rewrite systems for multi-variate polynomials.