diff options
author | Alberto Ruiz <aruiz@um.es> | 2015-06-09 13:46:25 +0200 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2015-06-09 13:46:25 +0200 |
commit | 0396adb9f10f5b337e54d64fec365c9cb01e9745 (patch) | |
tree | 1922b2f8c9ab63d1732ddb16e60431e4dbe17ba3 /packages/base/src/Internal/Modular.hs | |
parent | 660e1eb875a3517c85285a9341e9e07e647e4e10 (diff) |
fix gaussElim, changelog
Diffstat (limited to 'packages/base/src/Internal/Modular.hs')
-rw-r--r-- | packages/base/src/Internal/Modular.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/packages/base/src/Internal/Modular.hs b/packages/base/src/Internal/Modular.hs index 6b34010..1289a21 100644 --- a/packages/base/src/Internal/Modular.hs +++ b/packages/base/src/Internal/Modular.hs | |||
@@ -137,7 +137,7 @@ instance forall m . KnownNat m => Container Vector (Mod m I) | |||
137 | scalar' x = fromList [x] | 137 | scalar' x = fromList [x] |
138 | konst' x = i2f . konst (unMod x) | 138 | konst' x = i2f . konst (unMod x) |
139 | build' n f = build n (fromIntegral . f) | 139 | build' n f = build n (fromIntegral . f) |
140 | cmap' = cmap | 140 | cmap' = mapVector |
141 | atIndex' x k = fromIntegral (atIndex (f2i x) k) | 141 | atIndex' x k = fromIntegral (atIndex (f2i x) k) |
142 | minIndex' = minIndex . f2i | 142 | minIndex' = minIndex . f2i |
143 | maxIndex' = maxIndex . f2i | 143 | maxIndex' = maxIndex . f2i |
@@ -177,7 +177,7 @@ instance forall m . KnownNat m => Container Vector (Mod m Z) | |||
177 | scalar' x = fromList [x] | 177 | scalar' x = fromList [x] |
178 | konst' x = i2f . konst (unMod x) | 178 | konst' x = i2f . konst (unMod x) |
179 | build' n f = build n (fromIntegral . f) | 179 | build' n f = build n (fromIntegral . f) |
180 | cmap' = cmap | 180 | cmap' = mapVector |
181 | atIndex' x k = fromIntegral (atIndex (f2i x) k) | 181 | atIndex' x k = fromIntegral (atIndex (f2i x) k) |
182 | minIndex' = minIndex . f2i | 182 | minIndex' = minIndex . f2i |
183 | maxIndex' = maxIndex . f2i | 183 | maxIndex' = maxIndex . f2i |
@@ -311,7 +311,7 @@ test = (ok, info) | |||
311 | 311 | ||
312 | print $ am <> gaussElim am bm - bm | 312 | print $ am <> gaussElim am bm - bm |
313 | print $ ad <> gaussElim ad bd - bd | 313 | print $ ad <> gaussElim ad bd - bd |
314 | 314 | ||
315 | print g | 315 | print g |
316 | print $ g <> g | 316 | print $ g <> g |
317 | print gm | 317 | print gm |