A simple FFT module based on work by David P.H. Jørgensen and Kasper Abildtrup Hansen. Uses a Stockham radix-2 algorithm.


open import "lib/github.com/diku-dk/fft/fft"
module mk_fft: (R: real) -> {
include fft_1d with real = R.t
include fft_2d with real = R.t


module mk_fft

Given a module describing real numbers, produce a module for performing FFTs using Stockham's algorithm. Requires that the input is a power of two; otherwise an error is raised.