Expand description
代数的構造に関するトレイトたちです。
データ構造を実装する際に使うことを目的とします。
Traits§
- Associative
- 結合法則を満たす。
- Commutative
- 交換法則を満たす。
- Commutative
Group - 可換群。
- Commutative
Monoid - 可換モノイド。
- Commutative
Ring - 可換環。
- Distributive
- 分配法則を満たす。
- Field
- 体。
- Group
- 群。
- Identity
- 単位元を持つ。
- Magma
- マグマ。
- Monoid
- モノイド。
- Partial
Recip - 逆元を持つ要素が存在する。
- Recip
- 逆元が常に存在する。
- Ring
- 環。
- Semigroup
- 半群。