patches/accelerate-arithmetic/0001-remove-test-using-removed-realBandedGramian.patch

   1 From 64cd06549f19ad447f18a45d872b59b2b2db9135 Mon Sep 17 00:00:00 2001
   2 From: Julien Moutinho <julm+gargantext@sourcephile.fr>
   3 Date: Wed, 28 Jun 2023 23:07:32 +0200
   4 Subject: [PATCH] remove test using removed `realBandedGramian`
   5
   6 ---
   7  test/Test.hs                                         | 1 -
   8  test/Test/Data/Array/Accelerate/Arithmetic/Sparse.hs | 7 -------
   9  2 files changed, 8 deletions(-)
  10
  11 diff --git a/test/Test.hs b/test/Test.hs
  12 index ebc140f..ea736ee 100644
  13 --- a/test/Test.hs
  14 +++ b/test/Test.hs
  15 @@ -10,7 +10,6 @@ import Test.QuickCheck (quickCheck)
  16  test :: IO ()
  17  test = mapM_ (\(msg,act) -> putStr (msg++": ") >> act) $
  18     ("sparseMatrix", quickCheck (\(Mod.Blind x) -> Sparse.multiplication x)) :
  19 -   ("bandedGramian", quickCheck (\(Mod.Blind x) -> Sparse.bandedGramian x)) :
  20     ("flattenMatrix", quickCheck (\(Mod.Blind x) -> LinAlg.flattenMatrix x)) :
  21     ("restoreMatrix", quickCheck (\(Mod.Blind x) -> LinAlg.restoreMatrix x)) :
  22     ("flattenRestoreMatrix", quickCheck (\(Mod.Blind x) -> LinAlg.flattenRestoreMatrix x)) :
  23 diff --git a/test/Test/Data/Array/Accelerate/Arithmetic/Sparse.hs b/test/Test/Data/Array/Accelerate/Arithmetic/Sparse.hs
  24 index da497dd..15e7e51 100644
  25 --- a/test/Test/Data/Array/Accelerate/Arithmetic/Sparse.hs
  26 +++ b/test/Test/Data/Array/Accelerate/Arithmetic/Sparse.hs
  27 @@ -73,10 +73,3 @@ instance (QC.Arbitrary a, A.Elt a) => QC.Arbitrary (BandGramian a) where
  28        return $
  29           BandGramian (A.lift width)
  30              (Sparse.Rows (A.lift cols) (A.use m))
  31 -
  32 -
  33 -bandedGramian :: BandGramian Word32 -> Bool
  34 -bandedGramian (BandGramian width m) =
  35 -   Sparse.multiplyColumnsRows (Sparse.transposeRows m) m
  36 -   =!=
  37 -   BandMatrix.flattenSymmetric (Sparse.realBandedGramian width m)
  38 --
  39 2.40.1
  40