Trait ComplexExtendable

pub trait ComplexExtendable: Field {
    const CIRCLE_TWO_ADICITY: usize;
    const COMPLEX_GENERATOR: Complex<Self>;

    // Required method
    fn circle_two_adic_generator(bits: usize) -> Complex<Self>;
}

A field for which p = 3 (mod 4). Equivalently, -1 is not a square, so the complex extension can be defined F[i] = F[X]/(X^2+1).

Required Associated Constants

const CIRCLE_TWO_ADICITY: usize

The two-adicity of p+1, the order of the circle group.

const COMPLEX_GENERATOR: Complex<Self>

Required Methods

fn circle_two_adic_generator(bits: usize) -> Complex<Self>

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