Semiring<T> Concept

Definition

Line 351 of System.Base/Concept.cm

Refinement

Type Parameters

T

Constraints

T is MultiplicativeMonoid

Axioms

axiom zeroIsNotOne()
{
    0 != 1;
}

axiom multiplyingByZeroYieldsZero(T a)
{
    0 * a == 0 && a * 0 == 0;
}

axiom distributivity(T a, T b, T c)
{
    a * (b + c) == a * b + a * c && (b + c) * a == b * a + c * a;
}