cp_library_rs/algebraic_structure/
abel.rs

1//! ## アーベル群（可換群）
2
3use crate::algebraic_structure::{commutative::CommutativeMonoid, group::Group, operation::*};
4
5/// アーベル群
6///
7/// 可換な群
8pub trait Abel: CommutativeMonoid + Group {}
9
10// 実装
11impl Abel for Add<isize> {}
12impl Abel for Add<usize> {}
13impl Abel for Xor {}