Trait Coef 

pub trait Coef: Clone {
    const MAX_MOD: Mod;

    // Required methods
    fn from_big(value: &BigInt, m: Mod) -> Self;
    fn from_i64(v: i64, m: Mod) -> Self;
    fn zero() -> Self;
    fn is_zero(&self) -> bool;
    fn assign_zero(&mut self);
    fn add_assign(&mut self, other: &Self, m: Mod);
    fn mul_assign(&mut self, other: &Self, m: Mod);
}

A coefficient representation that can be used to perform variable substitution.

Required Associated Constants

const MAX_MOD: Mod

Required Methods

fn from_big(value: &BigInt, m: Mod) -> Self

fn from_i64(v: i64, m: Mod) -> Self

fn zero() -> Self

fn is_zero(&self) -> bool

fn assign_zero(&mut self)

fn add_assign(&mut self, other: &Self, m: Mod)

fn mul_assign(&mut self, other: &Self, m: Mod)

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 Coef for u64

const MAX_MOD: Mod

fn from_big(value: &BigInt, m: Mod) -> Self

fn from_i64(v: i64, m: Mod) -> Self

fn zero() -> Self

fn is_zero(&self) -> bool

fn assign_zero(&mut self)

fn add_assign(&mut self, other: &Self, m: Mod)

fn mul_assign(&mut self, other: &Self, m: Mod)

impl Coef for u128

const MAX_MOD: Mod

fn from_big(value: &BigInt, m: Mod) -> Self

fn from_i64(v: i64, m: Mod) -> Self

fn zero() -> Self

fn is_zero(&self) -> bool

fn assign_zero(&mut self)

fn add_assign(&mut self, other: &Self, m: Mod)

fn mul_assign(&mut self, other: &Self, m: Mod)

Implementors

impl<const W: usize> Coef for ArrayCoef<W>

const MAX_MOD: Mod