Trait nekolib::traits::binop::Group

source ·
pub trait Group: Monoid + Recip { }
Expand description

群。

モノイド $(M, \circ, e)$ であり、逆元を持つ。

Implementors§

source§

impl<G: Monoid + Recip> Group for G