Struct ProdMod

pub struct ProdMod<T: ZZ>(/* private fields */);

mod m上の乗法

Implementations

impl<T: ZZ> ProdMod<T>

pub fn new(m: T) -> Self

ProdMod<T>を作る。

Trait Implementations

impl<T: ZZ> BinaryOp for ProdMod<T>

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

二項演算

fn op_assign_r(&self, a: &mut Self::Element, b: Self::Element)

where Self::Element: Clone,

二項演算$\circ$で(右側から)代入操作($a \leftarrow a \circ b$)をする。

fn op_assign_l(&self, a: &mut Self::Element, b: Self::Element)

where Self::Element: Clone,

二項演算$\circ$で(左側から)代入操作($a \leftarrow b \circ a$)をする。

impl<T: Clone + ZZ> Clone for ProdMod<T>

fn clone(&self) -> ProdMod<T>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug + ZZ> Debug for ProdMod<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: Default + ZZ> Default for ProdMod<T>

fn default() -> ProdMod<T>

Returns the “default value” for a type.

impl<T: ZZ> Identity for ProdMod<T>

fn id(&self) -> Self::Element

単位元

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

where Self::Element: PartialEq,

単位元の判定

impl<T: FF> Inverse for ProdMod<T>

where T::Element: FFElem,

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

逆元

impl<T: ZZ> Set for ProdMod<T>

type Element = <T as ZZ>::Element

集合の元

impl<T: ZZ> Associative for ProdMod<T>

impl<T: ZZ> Commutative for ProdMod<T>

impl<T: Copy + ZZ> Copy for ProdMod<T>

impl<T: ZZ> Multiplicative for ProdMod<T>