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".

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