diff options
author | Justin Le <justin@jle.im> | 2016-06-01 00:53:27 -0700 |
---|---|---|
committer | Justin Le <justin@jle.im> | 2016-06-01 00:53:27 -0700 |
commit | 28da346162c7b7b20c4b231ee1796f164789e555 (patch) | |
tree | 4dae8b540bc6d043e88b325463c84b33fffcba44 /packages/base/src | |
parent | 9aade51bd0bb6339cfa8aca014bd96f801d9b19e (diff) |
added constraint for meanCov that there is at least one input vector
Diffstat (limited to 'packages/base/src')
-rw-r--r-- | packages/base/src/Numeric/LinearAlgebra/Static.hs | 2 |
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 | ||
519 | meanCov | 519 | meanCov |
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) |
523 | meanCov (extract -> vs) = mkR *** (Sym . mkL . LA.unSym) $ LA.meanCov vs | 523 | meanCov (extract -> vs) = mkR *** (Sym . mkL . LA.unSym) $ LA.meanCov vs |