Namespace MathAssertions

Classes

LinearAlgebra

Linear-algebra invariants over Matrix4x4 and Vector3: matrix symmetry, orthogonality, identity, determinant, trace, invertibility, plus vector-pair orthogonality and parallelism and the AreLinearlyIndependent(ReadOnlySpan<Vector3>, double) triple-product check for sets of up to three vectors in R^3.

MathTolerance

Tolerance-comparison helpers for floating-point primitives and selected System.Numerics types. NaN-aware, infinity-aware, allocation-free. Callable from any test framework or production code.

NumberTheory

Exact integer-arithmetic predicates over long: divisibility, primality, greatest common divisor and least common multiple, coprimality, power-of-base check, perfect square, modular congruence. All checks are exact (no floating-point tolerance); the methods throw ArgumentOutOfRangeException for the inputs where the underlying mathematical operation is undefined (zero divisor, base <= 1, modulus <= 0).

Sequences

Sequence-property checks for ReadOnlySpan<T> of double: monotonicity, sortedness, boundedness, arithmetic and geometric progression, convergence, and length predicates. NaN-aware where it applies, allocation-free where it can be, callable from any test framework or production code.

Statistics

Statistical-property checks for ReadOnlySpan<T> of double: mean, variance, standard deviation, sum, median, percentile, and sigma-bound checks against the sample's own mean. Numerically stable single-pass mean and variance via Welford's online algorithm.