On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package smol
On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Parameters
Signature
The type of polynomials. They map monomials to their coefficients, which we make sure is not zero. The type of polynomials is parametrized by the type of their coefficients.
module Make_Semiring (K : Algebra.Semiring_S) : sig ... endPolynomials with coefficients in a semiring, which forms a semiring
module Make_Ring (K : Algebra.Ring_S) : sig ... endPolynomials with coefficients in a ring, which forms a ring. We also define partial euclidian division and gcd
On This Page