@hackage / monoid-semiring

The monoid semiring M ->0 S and its generalized Cauchy product

Latest0.1.0.0

About

Metadata

  • Last updated , by Nicolas_FP_PARIS
  • License BSD-3-Clause
  • Categories Mathematics
  • Maintained by: untruth.51-room@icloud.com

  • Lottery factor: 1

Links

Installation

Readme

Finitely supported functions from a monoid M to a semiring S, multiplied by convolution (f*g)(s) = sum over uv=s of f(u).g(v). Polynomials, formal languages, tropical algebra are instances.