Trait Field 

pub trait Field:
    Copy
    + Default
    + Debug
    + PartialEq {
    type Int: PrimInt + Default + Debug + From<u8> + Into<u128> + Into<Self::Long> + Truncate<u128>;
    type Long: PrimInt + From<Self::Int>;
    type LongLong: PrimInt;

    const Q: Self::Int;
    const QL: Self::Long;
    const QLL: Self::LongLong;
    const BARRETT_SHIFT: usize;
    const BARRETT_MULTIPLIER: Self::LongLong;

    // Required methods
    fn small_reduce(x: Self::Int) -> Self::Int;
    fn barrett_reduce(x: Self::Long) -> Self::Int;
}

Finite field with efficient modular reduction for lattice-based cryptography.

Required Associated Constants

const Q: Self::Int

Field modulus.

const QL: Self::Long

Field modulus as Self::Long.

const QLL: Self::LongLong

Field modulus as Self::LongLong.

const BARRETT_SHIFT: usize

Bit shift used in Barrett reduction.

const BARRETT_MULTIPLIER: Self::LongLong

Precomputed multiplier for Barrett reduction.

Required Associated Types

type Int: PrimInt + Default + Debug + From<u8> + Into<u128> + Into<Self::Long> + Truncate<u128>

Base integer type used to represent field elements

type Long: PrimInt + From<Self::Int>

Double-width integer type used for intermediate computations.

type LongLong: PrimInt

Quadruple-width integer type used for Barrett reduction.

Required Methods

fn small_reduce(x: Self::Int) -> Self::Int

Reduce a value that’s already close to the modulus range.

fn barrett_reduce(x: Self::Long) -> Self::Int

Reduce a wider value to a field element using Barrett reduction.

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