Smol (p.smol.0.0.1.doc.smol.Smol)

Sourcemodule Algebra : sig ... end

Sourcemodule Literal : sig ... end

Sourcemodule Matrix : sig ... end

Sourcemodule Monomial : sig ... end

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

Sourcemodule Polynomial : sig ... end

Sourcemodule Vector : sig ... end