summaryrefslogtreecommitdiff
path: root/packages/base/src/Numeric
diff options
context:
space:
mode:
authorJustin Le <justin@jle.im>2016-06-01 00:53:27 -0700
committerJustin Le <justin@jle.im>2016-06-01 00:53:27 -0700
commit28da346162c7b7b20c4b231ee1796f164789e555 (patch)
tree4dae8b540bc6d043e88b325463c84b33fffcba44 /packages/base/src/Numeric
parent9aade51bd0bb6339cfa8aca014bd96f801d9b19e (diff)
added constraint for meanCov that there is at least one input vector
Diffstat (limited to 'packages/base/src/Numeric')
-rw-r--r--packages/base/src/Numeric/LinearAlgebra/Static.hs2
1 files changed, 1 insertions, 1 deletions
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) =
517 (zip (LA.toList mins) (LA.toList maxs)) 517 (zip (LA.toList mins) (LA.toList maxs))
518 518
519meanCov 519meanCov
520 :: forall m n . (KnownNat m, KnownNat n) 520 :: forall m n . (KnownNat m, KnownNat n, 1 <= m)
521 => L m n 521 => L m n
522 -> (R n, Sym n) 522 -> (R n, Sym n)
523meanCov (extract -> vs) = mkR *** (Sym . mkL . LA.unSym) $ LA.meanCov vs 523meanCov (extract -> vs) = mkR *** (Sym . mkL . LA.unSym) $ LA.meanCov vs