diff options
| author | Alberto Ruiz <aruiz@um.es> | 2015-07-21 11:11:49 +0200 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2015-07-21 11:11:49 +0200 |
| commit | 792864d3ec95d198a751591256c302aed11d8392 (patch) | |
| tree | 4e030abf4458d4038586f740d1c95c83eb32354c /packages/tests/src/Numeric/LinearAlgebra/Tests/Properties.hs | |
| parent | 39f2bbe937ccbf786af0a326e7aa065890ee331e (diff) | |
change names: Herm, unSym, mTm, and rnf instances
Diffstat (limited to 'packages/tests/src/Numeric/LinearAlgebra/Tests/Properties.hs')
| -rw-r--r-- | packages/tests/src/Numeric/LinearAlgebra/Tests/Properties.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/packages/tests/src/Numeric/LinearAlgebra/Tests/Properties.hs b/packages/tests/src/Numeric/LinearAlgebra/Tests/Properties.hs index 2ac3588..720b7bd 100644 --- a/packages/tests/src/Numeric/LinearAlgebra/Tests/Properties.hs +++ b/packages/tests/src/Numeric/LinearAlgebra/Tests/Properties.hs | |||
| @@ -263,7 +263,7 @@ multProp2 p (a,b) = (tr (a <> b)) :~p~: (tr b <> tr a) | |||
| 263 | 263 | ||
| 264 | linearSolveProp f m = f m m |~| ident (rows m) | 264 | linearSolveProp f m = f m m |~| ident (rows m) |
| 265 | 265 | ||
| 266 | linearSolvePropH f m = f m (her m) |~| ident (rows (her m)) | 266 | linearSolvePropH f m = f m (unSym m) |~| ident (rows (unSym m)) |
| 267 | 267 | ||
| 268 | linearSolveProp2 f (a,x) = not wc `trivial` (not wc || a <> f a b |~| b) | 268 | linearSolveProp2 f (a,x) = not wc `trivial` (not wc || a <> f a b |~| b) |
| 269 | where q = min (rows a) (cols a) | 269 | where q = min (rows a) (cols a) |