module Polynomial: sig
.. end
Polynomials and Grobner bases.
module type Univariate = sig
.. end
Signature of univariate polynmials
module Uvp:
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.