Struct ProdMatrix

pub struct ProdMatrix<R> {
    pub semiring: R,
    pub n: usize,
}

行列の乗法

Fields

semiring: R

行列の要素の環

n: usize

行列の大きさ

Implementations

impl<R> ProdMatrix<R>

pub fn new(semiring: R, n: usize) -> Self

ProdMatrixを返す。

Trait Implementations

impl<R: Semiring + Clone + PartialEq> BinaryOp for ProdMatrix<R>

where R::Element: Copy + PartialEq,

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<R: Clone> Clone for ProdMatrix<R>

fn clone(&self) -> ProdMatrix<R>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<R: Debug> Debug for ProdMatrix<R>

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

Formats the value using the given formatter.

impl<R: Hash> Hash for ProdMatrix<R>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<R: Semiring + Clone + PartialEq> Identity for ProdMatrix<R>

where R::Element: Copy + PartialEq,

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

単位元

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

where Self::Element: PartialEq,

単位元の判定

impl<R: PartialEq> PartialEq for ProdMatrix<R>

fn eq(&self, other: &ProdMatrix<R>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<R: Semiring + Clone + PartialEq> Set for ProdMatrix<R>

where R::Element: Copy + PartialEq,

type Element = MatrixOnSemiring<R>

集合の元

impl<R: Semiring + Clone + PartialEq> Associative for ProdMatrix<R>

where R::Element: Copy + PartialEq,

impl<R: Copy> Copy for ProdMatrix<R>

impl<R: Eq> Eq for ProdMatrix<R>

impl<R: Semiring + Clone + PartialEq> Multiplicative for ProdMatrix<R>

where R::Element: Copy + PartialEq,

impl<R> StructuralPartialEq for ProdMatrix<R>