package smol

  1. Overview
  2. Docs
module Algebra : sig ... end
module Literal : sig ... end
module Matrix : sig ... end
module Monomial : sig ... end

Monomials are sets of literals with non-negative integer exponents. They form a monoid with respect to their multiplication.

module Polynomial : sig ... end
module Vector : sig ... end