Semiring<T> Concept
Definition
Line 351 of System.Base/Concept.cm
Refinement
Type Parameters
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;
}