package smol

  1. Overview
  2. Docs

Parameters

Signature

type 'a p

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 ... end

Polynomials with coefficients in a semiring, which forms a semiring

module Make_Ring (K : Algebra.Ring_S) : sig ... end

Polynomials with coefficients in a ring, which forms a ring. We also define partial euclidian division and gcd