Struct AddMulOperation 

pub struct AddMulOperation<T>
where
    T: Clone + Zero + One + Add<Output = T> + Mul<Output = T>,
{
    _marker: PhantomData<fn() -> T>,
}

$+,\times$

Fields

_marker: PhantomData<fn() -> T>

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 is_zero(x: &Self::T) -> bool

where Self::T: PartialEq,

checks if the element is zero

fn one() -> Self::T

multiplicative identity: $1$

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

where Self::T: PartialEq,

checks if the element is one

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)