From 28da346162c7b7b20c4b231ee1796f164789e555 Mon Sep 17 00:00:00 2001 From: Justin Le Date: Wed, 1 Jun 2016 00:53:27 -0700 Subject: added constraint for meanCov that there is at least one input vector --- packages/base/src/Numeric/LinearAlgebra/Static.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'packages/base/src') diff --git a/packages/base/src/Numeric/LinearAlgebra/Static.hs b/packages/base/src/Numeric/LinearAlgebra/Static.hs index 296f8c7..fafbf81 100644 --- a/packages/base/src/Numeric/LinearAlgebra/Static.hs +++ b/packages/base/src/Numeric/LinearAlgebra/Static.hs @@ -517,7 +517,7 @@ uniformSample s (extract -> mins) (extract -> maxs) = (zip (LA.toList mins) (LA.toList maxs)) meanCov - :: forall m n . (KnownNat m, KnownNat n) + :: forall m n . (KnownNat m, KnownNat n, 1 <= m) => L m n -> (R n, Sym n) meanCov (extract -> vs) = mkR *** (Sym . mkL . LA.unSym) $ LA.meanCov vs -- cgit v1.2.3