Enum Mersenne61 

pub enum Mersenne61 {}

Implementations

impl Mersenne61

pub const MOD: u64

Trait Implementations

impl Associative for Mersenne61

impl Commutative for Mersenne61

impl Magma for Mersenne61

type T = u64

type of operands: $T$

fn operate(x: &Self::T, y: &Self::T) -> Self::T

binary operaion: $\circ$

fn reverse_operate(x: &Self::T, y: &Self::T) -> Self::T

fn operate_assign(x: &mut Self::T, y: &Self::T)

impl SemiRing for Mersenne61

type T = u64

type Additive = Mersenne61Add

type Multiplicative = Mersenne61

fn zero() -> Self::T

additive identity: $0$

fn is_zero(x: &Self::T) -> bool

where Self::T: PartialEq,

fn one() -> Self::T

multiplicative identity: $1$

fn is_one(x: &Self::T) -> bool

where Self::T: PartialEq,

fn add(x: &Self::T, y: &Self::T) -> Self::T

additive operaion: $+$

fn mul(x: &Self::T, y: &Self::T) -> Self::T

multiplicative operaion: $+$

fn try_matrix_product( _a: &[Vec<Self::T>], _b: &[Vec<Self::T>], ) -> Option<Vec<Vec<Self::T>>>

fn dot_product(x: &[Self::T], y: &[Self::T]) -> Self::T

fn add_scaled_assign(x: &mut [Self::T], y: &[Self::T], a: &Self::T)

fn add_assign(x: &mut Self::T, y: &Self::T)

fn mul_assign(x: &mut Self::T, y: &Self::T)

impl Unital for Mersenne61

fn unit() -> Self::T

identity element: $e$

fn is_unit(x: &Self::T) -> bool

where Self::T: PartialEq,

fn set_unit(x: &mut Self::T)