From c9af0b0b468eee25edc60a20419cff0dba0a379a Mon Sep 17 00:00:00 2001 From: Alberto Ruiz Date: Sat, 20 Feb 2010 13:16:14 +0000 Subject: fixed nullspace prop --- lib/Numeric/GSL/ODE.hs | 2 +- lib/Numeric/LinearAlgebra/Tests/Properties.hs | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) (limited to 'lib') diff --git a/lib/Numeric/GSL/ODE.hs b/lib/Numeric/GSL/ODE.hs index 7c711b7..9d890fc 100644 --- a/lib/Numeric/GSL/ODE.hs +++ b/lib/Numeric/GSL/ODE.hs @@ -108,4 +108,4 @@ checkdim2 n m checkTimes ts | dim ts > 1 && all (>0) (zipWith subtract ts' (tail ts')) = ts | otherwise = error "odeSolve requires increasing times" - where ts' = toList ts \ No newline at end of file + where ts' = toList ts diff --git a/lib/Numeric/LinearAlgebra/Tests/Properties.hs b/lib/Numeric/LinearAlgebra/Tests/Properties.hs index 42c6ce2..93175f2 100644 --- a/lib/Numeric/LinearAlgebra/Tests/Properties.hs +++ b/lib/Numeric/LinearAlgebra/Tests/Properties.hs @@ -119,7 +119,8 @@ detProp m = s d1 |~| s d2 (q,r) = qr m s x = fromList [x] -nullspaceProp m = null nl `trivial` (null nl || m <> n |~| zeros (r,c)) +nullspaceProp m = null nl `trivial` (null nl || m <> n |~| zeros (r,c) + && orthonormal (fromColumns nl)) where nl = nullspacePrec 1 m n = fromColumns nl r = rows m -- cgit v1.2.3