Trait Field

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

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

体

Required Methods

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

乗法の逆元 $a^{-1}$

Provided Methods

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

$a \otimes b^{-1}$

Implementors

impl<T: FF> Field for AddMulMod<T>

where T::Element: FFElem,