pub fn fft3<Field: FieldForFFT<3>>(a_coef: &[Field], omega: Field) -> Vec<Field>
Expand description
Compute the 3-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 3.
The result will contain the same number of elements.