haar_lib::algebra::semiring

Trait Ring

Source 
pub trait Ring: Semiring {
    // Required method
    fn neg(&self, a: Self::Element) -> Self::Element;

    // Provided method
    fn sub(&self, a: Self::Element, b: Self::Element) -> Self::Element { ... }
}
Expand description

環

Required Methods§

Source

fn neg(&self, a: Self::Element) -> Self::Element

加法の逆元 $-a$

Provided Methods§

Source

fn sub(&self, a: Self::Element, b: Self::Element) -> Self::Element

$a \oplus (-b)$

Implementors§