Trait nekolib::traits::binop::Field

source ·
pub trait Field: Ringwhere
    Self::Multiplicative: PartialRecip,{
    // Provided method
    fn recip(&self, x: Self::Set) -> Self::Set { ... }
}
Expand description

体。

環 $(R, \circ, \ast, 0, 1)$ であり、$(R \setminus \{0\}, \ast, 1)$ は群をなす。

Provided Methods§

source

fn recip(&self, x: Self::Set) -> Self::Set

乗法 $\ast$ における関する $x$ の逆元 $x^{-1}$ を返す。

Implementors§