Enum Gf2_63

pub enum Gf2_63 {}

Implementations

impl Gf2_63

pub const MOD: u64 = 9_223_372_036_854_775_808u64

Trait Implementations

impl Magma for Gf2_63

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 Gf2_63

type T = u64

type Additive = BitXorOperation<u64>

type Multiplicative = Gf2_63

fn zero() -> Self::T

additive identity: $0$

fn one() -> Self::T

multiplicative identity: $1$

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 add_assign(x: &mut Self::T, y: &Self::T)

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

impl Unital for Gf2_63

fn unit() -> Self::T

identity element: $e$

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

where <Self as Magma>::T: PartialEq,

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

impl Associative for Gf2_63

impl Commutative for Gf2_63