checkFieldLaws
checkFieldLaws<
T>(field,samples):LawViolation<T>[]
Defined in: laws.ts:88
Checks the field axioms: the ring axioms, multiplicative commutativity, and invertibility of every non-zero element.
Type Parameters
Section titled “Type Parameters”T
The carrier set.
Parameters
Section titled “Parameters”Field<T>
Field 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.