Trait maths_traits::algebra::module_like::RingModule

pub trait RingModule<K>: AddAbelianGroup + Mul<K, Output = Self> + MulAssign<K> where
    K: UnitalRing, { }

An abelian additive group with a distributive scalar multiplication with a unital ring

Implementors

impl<_G: AddAbelianGroup + Mul<K, Output = Self> + MulAssign<K>, K> RingModule<K> for _G where
    K: UnitalRing, 

Loading content...