Trait lambdaworks_math::field::extensions::cubic::HasCubicNonResidue
source · pub trait HasCubicNonResidue {
type BaseField: IsField;
// Required method
fn residue() -> FieldElement<Self::BaseField>;
}Expand description
Trait to fix a cubic non residue.
Used to construct a cubic extension field by adding
a square root of residue().
Required Associated Types§
Required Methods§
sourcefn residue() -> FieldElement<Self::BaseField>
fn residue() -> FieldElement<Self::BaseField>
This function must return an element that is not a cube in Fp, that is, a cubic non-residue.