Type Alias Complex

pub type Complex<AF> = BinomialExtensionField<AF, 2>;

Aliased Type

struct Complex<AF> { /* private fields */ }

Implementations

impl<AF: AbstractField> Complex<AF>

Convenience methods for complex extensions

pub const fn new(real: AF, imag: AF) -> Self

pub const fn new_real(real: AF) -> Self

pub const fn new_imag(imag: AF) -> Self

pub fn real(&self) -> AF

pub fn imag(&self) -> AF

pub fn conjugate(&self) -> Self

pub fn norm(&self) -> AF

pub fn to_array(&self) -> [AF; 2]

pub fn rotate<Ext: AbstractExtensionField<AF>>( &self, rhs: Complex<Ext>, ) -> Complex<Ext>

Trait Implementations

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

where F: HasComplexBinomialExtension<D>,

const W: Self = _

const DTH_ROOT: Self = _

const EXT_GENERATOR: [Self; D] = F::EXT_GENERATOR

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

where F: HasTwoAdicComplexBinomialExtension<D>,

const EXT_TWO_ADICITY: usize = F::COMPLEX_EXT_TWO_ADICITY

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

Assumes the multiplicative group size has at least bits powers of two, otherwise the behavior is undefined.