Trait maths_traits::algebra::module_like::FiniteModule

pub trait FiniteModule<K>: RingModule<K> + FiniteBasis<K> where
    K: UnitalRing, { }

A ring module with a finite dimension

Implementors

impl<_G: RingModule<K> + FiniteBasis<K>, K> FiniteModule<K> for _G where
    K: UnitalRing, 

Loading content...