Trait nekolib::traits::PartialRecip

pub trait PartialRecip: Magma {
    // Required method
    fn partial_recip(&self, x: Self::Set) -> Option<Self::Set>;
}

逆元を持つ要素が存在する。

二項演算 $\circ: M \times M \to M$ が、一部の要素を除いて逆元を持つことを示す。

体の乗法においては $0$ を除いて逆元を持つことが要請されるため必要かなと思った。 もっといい設計はある気がする。

Required Methods

fn partial_recip(&self, x: Self::Set) -> Option<Self::Set>

Implementors

impl<T> PartialRecip for OpAdd<T>where T: Add<Output = T> + Eq + Sized + Neg<Output = T>,

impl<T> PartialRecip for OpMul<T>where T: Mul<Output = T> + Eq + Sized + MulRecip<Output = T>,