-- Do not edit! Automatically created with doctest-extract from private/Numeric/BLAS/Rank1/Fourier.hs
{-# LINE 21 "private/Numeric/BLAS/Rank1/Fourier.hs" #-}

{-# OPTIONS_GHC -XTypeFamilies #-}
module DocTest.Float.Numeric.BLAS.Rank1.Fourier where

import qualified Test.DocTest.Driver as DocTest

{-# LINE 23 "private/Numeric/BLAS/Rank1/Fourier.hs" #-}
import     Numeric.BLAS.Rank1.Fourier
import     Test.Numeric.FFTW.Extra.Utility
import     DocTest.Float.Numeric.FFTW.Extra.Rank1.Convolution (complex_)
import     Numeric.FFTW.Extra.Utility (padCyclic)
import     qualified Numeric.FFTW.Rank1 as Rank1

import     qualified Data.Array.Comfort.Storable as Array
import     qualified Data.Array.Comfort.Shape as Shape

import     qualified Test.QuickCheck as QC

test :: DocTest.T ()
test = do
 DocTest.printPrefix "Numeric.BLAS.Rank1.Fourier:37: "
{-# LINE 37 "private/Numeric/BLAS/Rank1/Fourier.hs" #-}
 DocTest.property(
{-# LINE 37 "private/Numeric/BLAS/Rank1/Fourier.hs" #-}
        
   QC.forAll (genCyclic complex_) $ \x sign ->
   let n = Shape.size $ Array.shape x in
   QC.forAll (chooseLogarithmic n) $ \m ->
   let spectrumShape = Shape.ZeroBased m in

   takeFourier sign spectrumShape x
   =~=
   takeShape spectrumShape (Rank1.fourier sign x)
  )
 DocTest.printPrefix "Numeric.BLAS.Rank1.Fourier:69: "
{-# LINE 69 "private/Numeric/BLAS/Rank1/Fourier.hs" #-}
 DocTest.property(
{-# LINE 69 "private/Numeric/BLAS/Rank1/Fourier.hs" #-}
        
   QC.forAll genVectorShape $ \shape sign ->
   let n = Shape.zeroBasedSize shape in
   QC.forAll (chooseLogarithmic n) $ \m ->
   QC.forAll (genVectorForShape complex_ (Shape.ZeroBased m)) $ \x ->

   extendFourier sign n x
   =~=
   Rank1.fourier sign (padCyclic n x)
  )