pub fn fft2<Field: FieldForFFT<2>>(a_coef: &[Field], omega: Field) -> Vec<Field>
Expand description

Compute the 2-radix FFT of a_coef in the Zp field defined by prime.

omega must be a n-th principal root of unity, where n is the length of a_coef as well as a power of 2. The result will contain the same number of elements.