diff --git a/Data/Packed/Static/Matrix.hs b/Data/Packed/Static/Matrix.hs index d640e12..ea6f29e 100644 --- a/Data/Packed/Static/Matrix.hs +++ b/Data/Packed/Static/Matrix.hs @@ -84,7 +84,6 @@ instance ShapedContainer Matrix where unsafeReshape = Matrix . unMatrix ------ Shaping --- TODO: turn IntegerT constraint into PositiveT constraint refineMat :: forall m n t a. Matrix (m,n) t -> (forall m' n'. (PositiveT m', PositiveT n') => Matrix (m', n') t -> a) -> a refineMat m k = fromJust.fromJust $ reifyPositiveD (toInteger $ rows m) (\r -> reifyPositiveD (toInteger $ cols m) (\c -> diff --git a/Numeric/LinearAlgebra/Static/Algorithms.hs b/Numeric/LinearAlgebra/Static/Algorithms.hs index 685181c..b661d48 100644 --- a/Numeric/LinearAlgebra/Static/Algorithms.hs +++ b/Numeric/LinearAlgebra/Static/Algorithms.hs @@ -54,7 +54,6 @@ rcond :: (H.Field t) => Matrix (m,n) t -> Double rcond = H.rcond . unMatrix --------- SVD --- | The vector's length is the minimum of m and n. svd :: (H.Field t) => Matrix (m,n) t -> (Matrix (m,m) t, Vector (Min m n) Double, Matrix (n,n) t) svd = svdBody