EuclideanSemiring<T> Concept

Definition

Line 363 of System.Base/Concept.cm

Refinement

Type Parameters

T

Constraints

T operator%(T, T)
T operator/(T, T)

Axioms

axiom quotientAndRemainder(T a, T b)
{
    b != 0 => a == a / b * b + a % b;
}