Skip to main content

Module multiplicative

Module multiplicative 

Source
Expand description

乗法に関するトレイトたちです。

これを実装したクラスは OpMul によって積を求められます。 区間和を求めるデータ構造などに使います。

Traits§

MulAssoc
乗法が結合法則を満たすことを示す。
MulComm
乗法が交換法則を満たすことを示す。
MulRecip
乗法の逆元を定義する。
One
乗法の単位元 $1$ を定義する。