haar_lib/algebra/
trivial.rs

1//! 自明な群
2pub use crate::algebra::traits::*;
3use crate::impl_algebra;
4
5/// 自明な群
6#[derive(Clone, Copy, Default, Debug, PartialEq, Eq)]
7pub struct Trivial;
8
9impl_algebra!(Trivial; op: |_, _| Self; id: Self; inv: |_| Self; assoc; commu; idem;);