package polynomial

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type natural_with_infinity =

module type UNIVARIATE = sig ... end

Univariate polynomials

module MakeUnivariate (R : Ff_sig.PRIME) : UNIVARIATE with type scalar = R.t

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