pub trait HasComplexBinomialExtension<const D: usize>: ComplexExtendable {
const W: Complex<Self>;
const DTH_ROOT: Complex<Self>;
const EXT_GENERATOR: [Complex<Self>; D];
}
Expand description
The complex extension of this field has a binomial extension.
This exists if the polynomial ring F[i][X]
has an irreducible polynomial X^d-W
allowing us to define the binomial extension field F[i][X]/(X^d-W)
.
Required Associated Constants§
const W: Complex<Self>
const DTH_ROOT: Complex<Self>
const EXT_GENERATOR: [Complex<Self>; D]
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.