Trait ark_ff::fields::FftField[−][src]

pub trait FftField: Field {
    type FftParams: FftParameters;
    fn two_adic_root_of_unity() -> Self;

    fn large_subgroup_root_of_unity() -> Option<Self>;

    fn multiplicative_generator() -> Self;

    fn get_root_of_unity(n: usize) -> Option<Self> { ... }
}
Expand description

The interface for fields that are able to be used in FFTs.

Associated Types

Required methods

Returns the 2^s root of unity.

Returns the 2^s * small_subgroup_base^small_subgroup_base_adicity root of unity if a small subgroup is defined.

Returns the multiplicative generator of char() - 1 order.

Provided methods

Returns the root of unity of order n, if one exists. If no small multiplicative subgroup is defined, this is the 2-adic root of unity of order n (for n a power of 2). If a small multiplicative subgroup is defined, this is the root of unity of order n for the larger subgroup generated by FftParams::LARGE_SUBGROUP_ROOT_OF_UNITY (for n = 2^i * FftParams::SMALL_SUBGROUP_BASE^j for some i, j).

Implementors