ZkFold.Base.Algebra.Basic.DFT
genericDft :: forall a. Ring a => Integer -> a -> Vector a -> Vector a Source #
Generif FFT algorithm. Can be both direct and inverse depending on wn (root of unity or its inverse) supplied. Does not apply scaling when it's inverse. Requires the vector to be of length 2^n.
wn
n