package polynomial

  1. Overview
  2. Docs
package polynomial
Legend:
Library
Module
Module type
Parameter
Class
Class type
type natural_with_infinity =
  1. | Natural of int
  2. | Infinity
    (*

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

    *)
module type UNIVARIATE = sig ... end

Univariate polynomials

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