Trait maths_traits::algebra::module_like::VectorSpace

pub trait VectorSpace<K>: RingModule<K> + Div<K, Output = Self> + DivAssign<K> where
    K: Field, { }

An abelian additive group with a distributive scalar multiplication with a field

Implementors

impl<_G: RingModule<K> + Div<K, Output = Self> + DivAssign<K>, K> VectorSpace<K> for _G where
    K: Field, 

Loading content...