Numeric.LinearAlgebra.Tests

Some tests.

Documentation

qCheck :: Testable prop => Int -> prop -> IO ()

runTests

Arguments

:: Int

maximum dimension

-> IO ()

apply a test to successive elements of a vector, evaluates to true iff test passes for all pairs successive_ :: Storable a => (a -> a -> Bool) -> Vector a -> Bool

operate on successive elements of a vector and return the resulting vector, whose length 1 less than that of the input successive :: (Storable a, Storable b) => (a -> a -> b) -> Vector a -> Vector b

All tests must pass with a maximum dimension of about 20 (some tests may fail with bigger sizes due to precision loss).

runBenchmarks :: IO ()

Performance measurements.