Module nekolib::traits::additive

source ·
Expand description

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

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

Traits

  • AddAssoc
    加法が結合法則を満たすことを示す。
  • AddComm
    加法が交換法則を満たすことを示す。
  • Zero
    加法の単位元 $0$ を定義する。