HasTwoAdicBinomialExtension

Trait HasTwoAdicBinomialExtension 

Source
pub trait HasTwoAdicBinomialExtension<const D: usize>: BinomiallyExtendable<D> {
    const EXT_TWO_ADICITY: usize;

    // Required method
    fn ext_two_adic_generator(bits: usize) -> [Self; D];
}
Expand description

Trait for binomial extensions that support a two-adic subgroup generator.

Required Associated Constants§

Source

const EXT_TWO_ADICITY: usize

Two-adicity of the multiplicative group of the extension field.

This is the number of times 2 divides the order of the field minus 1.

Required Methods§

Source

fn ext_two_adic_generator(bits: usize) -> [Self; D]

Returns a two-adic generator for the extension field.

This is used to generate the 2^bits-th roots of unity in the extension field. Behavior is undefined if bits > EXT_TWO_ADICITY.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§

Source§

impl<F, const D: usize> HasTwoAdicBinomialExtension<D> for Complex<F>

Source§

const EXT_TWO_ADICITY: usize = F::COMPLEX_EXT_TWO_ADICITY