checkEuclideanLaws
checkEuclideanLaws<
T>(domain,samples):LawViolation<T>[]
Defined in: laws.ts:202
Checks the Euclidean division property: a = q · b + r with r strictly
smaller than b under the degree function.
Type Parameters
Section titled “Type Parameters”T
The carrier set.
Parameters
Section titled “Parameters”domain
Section titled “domain”Euclidean domain evidence for T.
samples
Section titled “samples”readonly T[]
Values to substitute into the axioms.
Returns
Section titled “Returns”LawViolation<T>[]
Every violation found, empty when the axioms hold.