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.