Field

fp::field

Trait Field 

Source 
pub trait Field: FieldInternal + Sized {
    type Characteristic: Prime;

    // Required methods
    fn characteristic(self) -> Self::Characteristic;
    fn degree(self) -> u32;
    fn zero(self) -> FieldElement<Self>;
    fn one(self) -> FieldElement<Self>;
    fn arb_element(self) -> impl Strategy<Value = FieldElement<Self>>;

    // Provided method
    fn q(self) -> u32 { ... }
}

Required Associated Types§

Source

type Characteristic: Prime

Required Methods§

Source

fn characteristic(self) -> Self::Characteristic

Source

fn degree(self) -> u32

Source

fn zero(self) -> FieldElement<Self>

Source

fn one(self) -> FieldElement<Self>

Source

fn arb_element(self) -> impl Strategy<Value = FieldElement<Self>>

Provided Methods§

Source

fn q(self) -> u32

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§