Module PolynomialSource

Sourcetype natural_with_infinity =
  1. | Natural of int
  2. | Infinity
    (*

    General module signature for a ring (A, +, *, 0_A, 1_A)

    *)
Sourcemodule type UNIVARIATE = sig ... end

Univariate polynomials

Make(Fp) builds a module of type T where the coefficients are in the prime field Fp