Struct MultiplicativeOperation 

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

$\times$

Fields

_marker: PhantomData<fn() -> T>

Trait Implementations

impl<T> Invertible for MultiplicativeOperation<T>

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

fn inverse(x: &Self::T) -> Self::T

$a$ where $a \circ x = e$

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

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

impl<T> Magma for MultiplicativeOperation<T>

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

type T = T

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<T> Unital for MultiplicativeOperation<T>

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

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)

impl<T> Associative for MultiplicativeOperation<T>

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

impl<T> Commutative for MultiplicativeOperation<T>

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