Struct AddMulOperation

pub struct AddMulOperation<T>
where
    T: Clone + Zero + One + Add<Output = T> + Mul<Output = T>,
{ /* private fields */ }

$+,\times$

Trait Implementations

impl<T> SemiRing for AddMulOperation<T>

where T: Clone + Zero + One + Add<Output = T> + Mul<Output = T>,

type T = T

type Additive = AdditiveOperation<T>

type Multiplicative = MultiplicativeOperation<T>

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)