Trait AlgebraExt 

pub(crate) trait AlgebraExt: Sized {
    // Required methods
    fn mod_plus_minus<M: Unsigned>(&self) -> Self;
    fn infinity_norm(&self) -> <BaseField as Field>::Int;
    fn power2round(&self) -> (Self, Self);
    fn high_bits<TwoGamma2: Unsigned>(&self) -> Self;
    fn low_bits<TwoGamma2: Unsigned>(&self) -> Self;
}

Required Methods

fn mod_plus_minus<M: Unsigned>(&self) -> Self

fn infinity_norm(&self) -> <BaseField as Field>::Int

fn power2round(&self) -> (Self, Self)

fn high_bits<TwoGamma2: Unsigned>(&self) -> Self

fn low_bits<TwoGamma2: Unsigned>(&self) -> Self

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.

Implementations on Foreign Types

impl AlgebraExt for Elem<BaseField>

fn mod_plus_minus<M: Unsigned>(&self) -> Self

fn infinity_norm(&self) -> u32

fn power2round(&self) -> (Self, Self)

fn high_bits<TwoGamma2: Unsigned>(&self) -> Self

fn low_bits<TwoGamma2: Unsigned>(&self) -> Self

impl AlgebraExt for Polynomial<BaseField>

fn mod_plus_minus<M: Unsigned>(&self) -> Self

fn infinity_norm(&self) -> u32

fn power2round(&self) -> (Self, Self)

fn high_bits<TwoGamma2: Unsigned>(&self) -> Self

fn low_bits<TwoGamma2: Unsigned>(&self) -> Self

impl<K: ArraySize> AlgebraExt for Vector<BaseField, K>

fn mod_plus_minus<M: Unsigned>(&self) -> Self

fn infinity_norm(&self) -> u32

fn power2round(&self) -> (Self, Self)

fn high_bits<TwoGamma2: Unsigned>(&self) -> Self

fn low_bits<TwoGamma2: Unsigned>(&self) -> Self

Implementors