Module nekolib::traits::multiplicative

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

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

Traits

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