diff options
author | Alberto Ruiz <aruiz@um.es> | 2015-06-17 13:02:40 +0200 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2015-06-17 13:02:40 +0200 |
commit | 61d90ff66af8bfe53ef8cdda8dfe1e70463c213c (patch) | |
tree | 79ca6e2024731708a4378ff691b5317d8da11d11 /packages/base/src/Internal/Modular.hs | |
parent | e7d2916f78b5c140738fc4f4f95c9b13c1768293 (diff) |
gemmm
Diffstat (limited to 'packages/base/src/Internal/Modular.hs')
-rw-r--r-- | packages/base/src/Internal/Modular.hs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/packages/base/src/Internal/Modular.hs b/packages/base/src/Internal/Modular.hs index 6c6d5c5..d158111 100644 --- a/packages/base/src/Internal/Modular.hs +++ b/packages/base/src/Internal/Modular.hs | |||
@@ -131,6 +131,9 @@ instance KnownNat m => Element (Mod m I) | |||
131 | rowOp c a i1 i2 j1 j2 x = rowOpAux (c_rowOpMI m') c (unMod a) i1 i2 j1 j2 (f2iM x) | 131 | rowOp c a i1 i2 j1 j2 x = rowOpAux (c_rowOpMI m') c (unMod a) i1 i2 j1 j2 (f2iM x) |
132 | where | 132 | where |
133 | m' = fromIntegral . natVal $ (undefined :: Proxy m) | 133 | m' = fromIntegral . natVal $ (undefined :: Proxy m) |
134 | gemm u p a b c = gemmg (c_gemmMI m') (f2i u) p (f2iM a) (f2iM b) (f2iM c) | ||
135 | where | ||
136 | m' = fromIntegral . natVal $ (undefined :: Proxy m) | ||
134 | 137 | ||
135 | instance KnownNat m => Element (Mod m Z) | 138 | instance KnownNat m => Element (Mod m Z) |
136 | where | 139 | where |
@@ -146,6 +149,9 @@ instance KnownNat m => Element (Mod m Z) | |||
146 | rowOp c a i1 i2 j1 j2 x = rowOpAux (c_rowOpML m') c (unMod a) i1 i2 j1 j2 (f2iM x) | 149 | rowOp c a i1 i2 j1 j2 x = rowOpAux (c_rowOpML m') c (unMod a) i1 i2 j1 j2 (f2iM x) |
147 | where | 150 | where |
148 | m' = fromIntegral . natVal $ (undefined :: Proxy m) | 151 | m' = fromIntegral . natVal $ (undefined :: Proxy m) |
152 | gemm u p a b c = gemmg (c_gemmML m') (f2i u) p (f2iM a) (f2iM b) (f2iM c) | ||
153 | where | ||
154 | m' = fromIntegral . natVal $ (undefined :: Proxy m) | ||
149 | 155 | ||
150 | 156 | ||
151 | instance forall m . KnownNat m => Container Vector (Mod m I) | 157 | instance forall m . KnownNat m => Container Vector (Mod m I) |