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;
}