This is an old revision of the document!
Semiring
Definition
| $X$ |
| $\langle X,+,* \rangle \in \mathrm{SemiRing}(X)$ |
| $\langle X,+ \rangle \in \mathrm{AbelianMonoid}(X)$ |
| $a,b,c\in X$ |
| $(a*b)*c=a*(b*c)$ |
| $a*(b+c)=(a*b)+(a*c)$ |
| $(b+c)*a=(b*a)+(c*a)$ |
Discussion
Reference
Wikipedia: Semiring
Context
Requirements
