Struct LinearOperation

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

$(a, b) \circ (c, d) = \lambda x. c \times (a \times x + b) + d$

Trait Implementations

impl<T> Invertible for LinearOperation<T>

where T: Clone + Zero + One + Add<Output = T> + Sub<Output = T> + Neg<Output = T> + 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 LinearOperation<T>

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

type T = (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 LinearOperation<T>

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

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<T> Associative for LinearOperation<T>

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