From 64cd06549f19ad447f18a45d872b59b2b2db9135 Mon Sep 17 00:00:00 2001 From: Julien Moutinho Date: Wed, 28 Jun 2023 23:07:32 +0200 Subject: [PATCH] remove test using removed `realBandedGramian` --- test/Test.hs | 1 - test/Test/Data/Array/Accelerate/Arithmetic/Sparse.hs | 7 ------- 2 files changed, 8 deletions(-) diff --git a/test/Test.hs b/test/Test.hs index ebc140f..ea736ee 100644 --- a/test/Test.hs +++ b/test/Test.hs @@ -10,7 +10,6 @@ import Test.QuickCheck (quickCheck) test :: IO () test = mapM_ (\(msg,act) -> putStr (msg++": ") >> act) $ ("sparseMatrix", quickCheck (\(Mod.Blind x) -> Sparse.multiplication x)) : - ("bandedGramian", quickCheck (\(Mod.Blind x) -> Sparse.bandedGramian x)) : ("flattenMatrix", quickCheck (\(Mod.Blind x) -> LinAlg.flattenMatrix x)) : ("restoreMatrix", quickCheck (\(Mod.Blind x) -> LinAlg.restoreMatrix x)) : ("flattenRestoreMatrix", quickCheck (\(Mod.Blind x) -> LinAlg.flattenRestoreMatrix x)) : diff --git a/test/Test/Data/Array/Accelerate/Arithmetic/Sparse.hs b/test/Test/Data/Array/Accelerate/Arithmetic/Sparse.hs index da497dd..15e7e51 100644 --- a/test/Test/Data/Array/Accelerate/Arithmetic/Sparse.hs +++ b/test/Test/Data/Array/Accelerate/Arithmetic/Sparse.hs @@ -73,10 +73,3 @@ instance (QC.Arbitrary a, A.Elt a) => QC.Arbitrary (BandGramian a) where return $ BandGramian (A.lift width) (Sparse.Rows (A.lift cols) (A.use m)) - - -bandedGramian :: BandGramian Word32 -> Bool -bandedGramian (BandGramian width m) = - Sparse.multiplyColumnsRows (Sparse.transposeRows m) m - =!= - BandMatrix.flattenSymmetric (Sparse.realBandedGramian width m) -- 2.40.1