package smol
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
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 ... 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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page