Skip to main content

Group

nekolib::traits

Trait Group 

Source 
pub trait Group: Monoid + Recip { }
Expand description

群。

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

Implementors§

Source§

impl<G: Monoid + Recip> Group for G