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 | ||