Factorization Example Checks

Shared IO assertions used by the Cholesky and QR examples. Numerical error reductions use the public tensor operations directly.

def NN.Examples.Factorization.errorTolerance : Float

Shared tolerance for reconstruction-error assertions.

def NN.Examples.Factorization.assertBelow (name : String) (error : Float) (tolerance : Float := errorTolerance) : IO Unit

Fail unless err is below tolerance.

def NN.Examples.Factorization.assertAtLeast (name : String) (error : Float) (threshold : Float := 0.5) : IO Unit

Fail unless err is at least threshold.

def NN.Examples.Factorization.assertNotBelow (name : String) (error : Float) (tolerance : Float := errorTolerance) : IO Unit

Fail when a reconstruction unexpectedly succeeds.