diff options
| author | Alberto Ruiz <aruiz@um.es> | 2015-06-30 12:04:21 +0200 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2015-06-30 12:04:21 +0200 |
| commit | b9329d636d19f6a26da1cf1fd7e8d7cbd0b04cce (patch) | |
| tree | c0beb22b3b394ed9d18a6a98d5cf1ca6d4ea8960 /packages/base/src/Internal/Modular.hs | |
| parent | 9c05df0cd663bafaf0b69eafee53fce45569dc95 (diff) | |
support slice in multiply
Diffstat (limited to 'packages/base/src/Internal/Modular.hs')
| -rw-r--r-- | packages/base/src/Internal/Modular.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/packages/base/src/Internal/Modular.hs b/packages/base/src/Internal/Modular.hs index 54d9cb8..8fa2747 100644 --- a/packages/base/src/Internal/Modular.hs +++ b/packages/base/src/Internal/Modular.hs | |||
| @@ -137,7 +137,7 @@ instance KnownNat m => Element (Mod m I) | |||
| 137 | rowOp c a i1 i2 j1 j2 x = rowOpAux (c_rowOpMI m') c (unMod a) i1 i2 j1 j2 (f2iM x) | 137 | rowOp c a i1 i2 j1 j2 x = rowOpAux (c_rowOpMI m') c (unMod a) i1 i2 j1 j2 (f2iM x) |
| 138 | where | 138 | where |
| 139 | m' = fromIntegral . natVal $ (undefined :: Proxy m) | 139 | m' = fromIntegral . natVal $ (undefined :: Proxy m) |
| 140 | gemm u p a b c = gemmg (c_gemmMI m') (f2i u) p (f2iM a) (f2iM b) (f2iM c) | 140 | gemm u a b c = gemmg (c_gemmMI m') (f2i u) (f2iM a) (f2iM b) (f2iM c) |
| 141 | where | 141 | where |
| 142 | m' = fromIntegral . natVal $ (undefined :: Proxy m) | 142 | m' = fromIntegral . natVal $ (undefined :: Proxy m) |
| 143 | 143 | ||
| @@ -154,7 +154,7 @@ instance KnownNat m => Element (Mod m Z) | |||
| 154 | rowOp c a i1 i2 j1 j2 x = rowOpAux (c_rowOpML m') c (unMod a) i1 i2 j1 j2 (f2iM x) | 154 | rowOp c a i1 i2 j1 j2 x = rowOpAux (c_rowOpML m') c (unMod a) i1 i2 j1 j2 (f2iM x) |
| 155 | where | 155 | where |
| 156 | m' = fromIntegral . natVal $ (undefined :: Proxy m) | 156 | m' = fromIntegral . natVal $ (undefined :: Proxy m) |
| 157 | gemm u p a b c = gemmg (c_gemmML m') (f2i u) p (f2iM a) (f2iM b) (f2iM c) | 157 | gemm u a b c = gemmg (c_gemmML m') (f2i u) (f2iM a) (f2iM b) (f2iM c) |
| 158 | where | 158 | where |
| 159 | m' = fromIntegral . natVal $ (undefined :: Proxy m) | 159 | m' = fromIntegral . natVal $ (undefined :: Proxy m) |
| 160 | 160 | ||