API - NumericalTest
Testing utilities for verifying floating-point rounding behavior.
BallArithmetic.NumericalTest.rounding_test — Function
rounding_test(n, k)Let u=fill(2^(-53), k-1) and let A be the matrix [I u; 0 2^(-53)]
This test checks the result of A*A' in different rounding modes, running BLAS on n threads