Semiring
Describes a context that represents mathematical commutative semiring. It means that it provides operations like +
, *
, power
, and some other that satisfy axioms of semiring like a + b == b + a
or a * (b * c) == (a * b) * c
.
Usual structures like integers or real numbers satisfy the axioms (one says that they form commutative rings), so you don't need to worry about fully understanding the concept of commutative ring. It won't be true only the moment you introduce such structures as a semiring of matrices 2⨯2 with usual operations you learn on any course of linear algebra.
Obviously, the Semiring interface extends the Equality interface because otherwise there is no understanding of the mathematical operations.
Inheritors
Types
Registry key for Semiring interface in KoneContextRegistry.